runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 1
  memory of node 0: 3639 MiB (1661 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2003/industrial/maris/hanoi4u.cnf 

running on 1 cores: 3

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-310.el8.x86_64
solver pid=431518, runsolver pid=431517
Current StackSize limit: 8192 KiB


[startup+0.10084 s]*
/proc/loadavg: 0.38 0.08 0.03 5/455 431519
/proc/meminfo: memFree=1693176/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14192 CPUtime=0.09 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2393 0 0 0 9 0 0 0 20 0 1 0 232991494 42868736 3548 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3548 1525 2 0 2875 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14192 KiB

[startup+0.234844 s]*
/proc/loadavg: 0.38 0.08 0.03 5/455 431519
/proc/meminfo: memFree=1692420/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14192 CPUtime=0.2 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2394 0 0 0 20 0 0 0 20 0 1 0 232991494 42868736 3548 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3548 1525 2 0 2875 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14192 KiB

[startup+0.348847 s]*
/proc/loadavg: 0.38 0.08 0.03 6/455 431519
/proc/meminfo: memFree=1692168/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14192 CPUtime=0.28 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2394 0 0 0 28 0 0 0 20 0 1 0 232991494 42868736 3548 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3548 1525 2 0 2875 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14192 KiB

[startup+0.700844 s]
/proc/loadavg: 0.38 0.08 0.03 5/455 431519
/proc/meminfo: memFree=1691916/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14192 CPUtime=0.57 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2394 0 0 0 57 0 0 0 20 0 1 0 232991494 42868736 3548 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3548 1525 2 0 2875 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14192 KiB

[startup+1.50485 s]
/proc/loadavg: 0.67 0.15 0.05 5/455 431519
/proc/meminfo: memFree=1691980/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14192 CPUtime=1.34 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2394 0 0 0 134 0 0 0 20 0 1 0 232991494 42868736 3548 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3548 1525 2 0 2875 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14192 KiB

[startup+3.13784 s]
/proc/loadavg: 0.67 0.15 0.05 5/455 431519
/proc/meminfo: memFree=1691924/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14456 CPUtime=2.92 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2415 0 0 0 292 0 0 0 20 0 1 0 232991494 42868736 3614 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3614 1525 2 0 2875 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14456 KiB

[startup+6.30085 s]
/proc/loadavg: 0.94 0.21 0.07 5/455 431519
/proc/meminfo: memFree=1691672/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14456 CPUtime=5.99 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2449 0 0 0 599 0 0 0 20 0 1 0 232991494 42868736 3614 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3614 1525 2 0 2875 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14456 KiB

[startup+12.7008 s]
/proc/loadavg: 1.18 0.27 0.09 5/455 431520
/proc/meminfo: memFree=1691420/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14456 CPUtime=12.2 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2453 0 0 0 1220 0 0 0 20 0 1 0 232991494 42868736 3614 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3614 1525 2 0 2875 0
Current children cumulated CPU time: 12.2 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14456 KiB

[startup+25.5008 s]
/proc/loadavg: 1.69 0.41 0.14 5/455 431520
/proc/meminfo: memFree=1691220/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14456 CPUtime=24.61 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2455 0 0 0 2461 0 0 0 20 0 1 0 232991494 42868736 3614 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3614 1525 2 0 2875 0
Current children cumulated CPU time: 24.61 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14456 KiB

[startup+51.1408 s]
/proc/loadavg: 2.87 0.82 0.28 5/455 431528
/proc/meminfo: memFree=1689592/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14456 CPUtime=49.48 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2462 0 0 0 4948 0 0 0 20 0 1 0 232991494 42868736 3614 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3614 1525 2 0 2875 0
Current children cumulated CPU time: 49.48 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14456 KiB

[startup+102.308 s]
/proc/loadavg: 3.76 1.38 0.50 5/455 431537
/proc/meminfo: memFree=1688300/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14456 CPUtime=99.14 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2467 0 0 0 9914 0 0 0 20 0 1 0 232991494 42868736 3614 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3614 1525 2 0 2875 0
Current children cumulated CPU time: 99.14 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14456 KiB

[startup+162.301 s]
/proc/loadavg: 4.24 1.95 0.76 5/455 431547
/proc/meminfo: memFree=1687764/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=14720 CPUtime=157.35 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2485 0 0 0 15735 0 0 0 20 0 1 0 232991494 42868736 3680 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3680 1525 2 0 2875 0
Current children cumulated CPU time: 157.35 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 14720 KiB

[startup+222.306 s]
/proc/loadavg: 4.21 2.37 0.98 5/455 431558
/proc/meminfo: memFree=1682684/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=215.59 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2486 0 0 0 21559 0 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 215.59 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+282.301 s]
/proc/loadavg: 4.08 2.67 1.17 5/456 431568
/proc/meminfo: memFree=1682372/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=273.8 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2500 0 0 0 27380 0 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 273.8 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+342.301 s]
/proc/loadavg: 4.64 3.07 1.40 5/456 431577
/proc/meminfo: memFree=1682372/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=332.03 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2505 0 0 0 33203 0 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 332.03 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+402.301 s]
/proc/loadavg: 4.93 3.44 1.63 5/456 431587
/proc/meminfo: memFree=1681584/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=390.27 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2509 0 0 0 39026 1 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 390.27 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+462.301 s]
/proc/loadavg: 5.03 3.74 1.85 5/456 431596
/proc/meminfo: memFree=1680072/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=448.53 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2519 0 0 0 44852 1 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 448.53 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+522.301 s]
/proc/loadavg: 4.72 3.88 2.02 5/455 431606
/proc/meminfo: memFree=1680292/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=506.66 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2529 0 0 0 50665 1 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 506.66 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+582.301 s]
/proc/loadavg: 4.67 4.03 2.19 5/455 431622
/proc/meminfo: memFree=1680260/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=564.92 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2535 0 0 0 56491 1 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 564.92 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+642.301 s]
/proc/loadavg: 4.61 4.14 2.35 5/455 431631
/proc/meminfo: memFree=1680008/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15568 CPUtime=623.18 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2541 0 0 0 62317 1 0 0 20 0 1 0 232991494 42868736 3892 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3892 1525 2 0 2875 0
Current children cumulated CPU time: 623.18 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15568 KiB

[startup+702.301 s]
/proc/loadavg: 4.30 4.13 2.46 5/455 431640
/proc/meminfo: memFree=1679724/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=681.43 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2553 0 0 0 68142 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 681.43 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+762.301 s]
/proc/loadavg: 4.22 4.13 2.57 5/455 431650
/proc/meminfo: memFree=1678936/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=739.67 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2555 0 0 0 73966 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 739.67 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+822.301 s]
/proc/loadavg: 4.08 4.11 2.66 5/456 431660
/proc/meminfo: memFree=1678212/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=797.94 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2565 0 0 0 79793 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 797.94 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+882.302 s]
/proc/loadavg: 4.07 4.10 2.75 5/456 431671
/proc/meminfo: memFree=1677676/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=856.23 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2568 0 0 0 85622 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 856.23 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+942.301 s]
/proc/loadavg: 4.11 4.10 2.84 5/456 431680
/proc/meminfo: memFree=1677424/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=914.51 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2579 0 0 0 91450 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 914.51 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+1002.3 s]
/proc/loadavg: 4.10 4.09 2.92 5/456 431691
/proc/meminfo: memFree=1676636/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=972.79 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2588 0 0 0 97278 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 972.79 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+1062.3 s]
/proc/loadavg: 4.40 4.18 3.03 5/456 431700
/proc/meminfo: memFree=1676856/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=1031.08 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2597 0 0 0 103107 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 1031.08 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+1122.3 s]
/proc/loadavg: 4.57 4.26 3.13 5/456 431710
/proc/meminfo: memFree=1676856/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=15828 CPUtime=1089.37 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2602 0 0 0 108936 1 0 0 20 0 1 0 232991494 42868736 3957 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 3957 1525 2 0 2875 0
Current children cumulated CPU time: 1089.37 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 15828 KiB

[startup+1182.3 s]
/proc/loadavg: 4.59 4.33 3.23 5/454 431720
/proc/meminfo: memFree=1675752/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1147.67 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2612 0 0 0 114766 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1147.67 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1242.3 s]
/proc/loadavg: 4.22 4.27 3.28 5/456 431732
/proc/meminfo: memFree=1676508/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1206 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2614 0 0 0 120599 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1206 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1302.31 s]
/proc/loadavg: 4.08 4.22 3.33 5/456 431752
/proc/meminfo: memFree=1675944/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1264.29 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2628 0 0 0 126428 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1264.29 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1362.3 s]
/proc/loadavg: 4.27 4.25 3.40 5/456 431762
/proc/meminfo: memFree=1675912/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1322.61 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2636 0 0 0 132260 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1322.61 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1422.3 s]
/proc/loadavg: 4.10 4.20 3.44 5/456 431771
/proc/meminfo: memFree=1675660/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1380.94 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2642 0 0 0 138093 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1380.94 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1482.3 s]
/proc/loadavg: 4.07 4.18 3.48 5/456 431780
/proc/meminfo: memFree=1675880/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1439.2 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2645 0 0 0 143919 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1439.2 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1542.3 s]
/proc/loadavg: 4.21 4.19 3.53 5/453 431789
/proc/meminfo: memFree=1674620/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1497.51 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2660 0 0 0 149750 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1497.51 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1602.3 s]
/proc/loadavg: 4.43 4.25 3.59 5/455 431801
/proc/meminfo: memFree=1675124/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1555.84 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2662 0 0 0 155583 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1555.84 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1662.3 s]
/proc/loadavg: 4.50 4.31 3.66 5/455 431811
/proc/meminfo: memFree=1675064/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=41864 memory=16092 CPUtime=1614.16 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2670 0 0 0 161415 1 0 0 20 0 1 0 232991494 42868736 4023 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10466 4023 1525 2 0 2875 0
Current children cumulated CPU time: 1614.16 s
Current children cumulated vsize: 41864 KiB
Current children cumulated memory: 16092 KiB

[startup+1722.3 s]
/proc/loadavg: 4.37 4.31 3.70 5/456 431821
/proc/meminfo: memFree=1675036/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=42524 memory=16884 CPUtime=1672.49 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2812 0 0 0 167247 2 0 0 20 0 1 0 232991494 43544576 4221 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10631 4221 1525 2 0 3040 0
Current children cumulated CPU time: 1672.49 s
Current children cumulated vsize: 42524 KiB
Current children cumulated memory: 16884 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.25 3.73 5/455 431830
/proc/meminfo: memFree=1675060/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=42524 memory=16884 CPUtime=1730.8 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2828 0 0 0 173078 2 0 0 20 0 1 0 232991494 43544576 4221 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10631 4221 1525 2 0 3040 0
Current children cumulated CPU time: 1730.8 s
Current children cumulated vsize: 42524 KiB
Current children cumulated memory: 16884 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 3.72 4.16 3.70 2/431 431836
/proc/meminfo: memFree=1715212/3726824 swapFree=8388604/8388604
[pid=431518] ppid=431517 vsize=42524 memory=16884 CPUtime=1748.06 cores=3
/proc/431518/stat : 431518 (pigeonPurSampli) R 431517 431518 431511 0 -1 4194304 2828 0 0 0 174804 2 0 0 20 0 1 0 232991494 43544576 4221 18446744073709551615 94356779143168 94356779147280 140721793046544 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94356781247744 94356781248516 94356789022720 140721793053222 140721793053314 140721793053314 140721793056737 0
/proc/431518/statm: 10631 4221 1525 2 0 3040 0
Current children cumulated CPU time: 1748.06 s
Current children cumulated vsize: 42524 KiB
Current children cumulated memory: 16884 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.05 s]
# the end of solver process 431518 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1748.07 s, system=0.023753 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.05
CPU time (s): 1748.09
CPU user time (s): 1748.07
CPU system time (s): 0.023753
CPU usage (%): 97.1134
Max. virtual memory (cumulated for all children) (KiB): 42524
Max. memory (cumulated for all children) (KiB): 16884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.07
system time used= 0.023753
maximum resident set size= 16884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2830
page faults= 0
swaps= 0
block input operations= 416
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 82462


# summary of solver processes directly reported to runsolver:
#   pid: 431518
#   total CPU time (s): 1748.09
#   total CPU user time (s): 1748.07
#   total CPU system time (s): 0.023753

??? end of timestamper thread
runsolver used 16.9945 second user time and 23.3989 second system time

The end
