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: 3630 MiB (1692 MiB free)
  node distances:
     10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/Velev/3pipe_3_ooo.cnf 

running on 1 cores: 2

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


[startup+0.105002 s]*
/proc/loadavg: 0.19 0.05 0.01 7/471 425807
/proc/meminfo: memFree=1707012/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=42376 memory=14640 CPUtime=0.08 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2527 0 0 0 7 1 0 0 20 0 1 0 233238312 43393024 3660 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 10594 3660 1496 2 0 3003 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 14640 KiB

[startup+0.232957 s]*
/proc/loadavg: 0.19 0.05 0.01 5/471 425807
/proc/meminfo: memFree=1694916/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=46216 memory=18728 CPUtime=0.18 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 3559 0 0 0 17 1 0 0 20 0 1 0 233238312 47325184 4682 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 11554 4682 1496 2 0 3963 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 18728 KiB

[startup+0.331957 s]*
/proc/loadavg: 0.19 0.05 0.01 6/471 425807
/proc/meminfo: memFree=1688616/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=46216 memory=18728 CPUtime=0.26 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 3561 0 0 0 25 1 0 0 20 0 1 0 233238312 47325184 4682 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 11554 4682 1496 2 0 3963 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 18728 KiB

[startup+0.703967 s]
/proc/loadavg: 0.19 0.05 0.01 6/471 425807
/proc/meminfo: memFree=1686096/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=46216 memory=18728 CPUtime=0.56 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 3562 0 0 0 55 1 0 0 20 0 1 0 233238312 47325184 4682 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 11554 4682 1496 2 0 3963 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 18728 KiB

[startup+1.50096 s]
/proc/loadavg: 0.19 0.05 0.01 7/471 425807
/proc/meminfo: memFree=1685912/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=46216 memory=18728 CPUtime=1.32 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 3562 0 0 0 131 1 0 0 20 0 1 0 233238312 47325184 4682 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 11554 4682 1496 2 0 3963 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 18728 KiB

[startup+3.13396 s]
/proc/loadavg: 0.19 0.05 0.01 6/471 425807
/proc/meminfo: memFree=1685576/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=46216 memory=18728 CPUtime=2.88 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 3562 0 0 0 287 1 0 0 20 0 1 0 233238312 47325184 4682 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 11554 4682 1496 2 0 3963 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 18728 KiB

[startup+6.30096 s]
/proc/loadavg: 0.50 0.11 0.03 6/471 425807
/proc/meminfo: memFree=1685512/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=46216 memory=18728 CPUtime=5.95 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 3570 0 0 0 594 1 0 0 20 0 1 0 233238312 47325184 4682 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 11554 4682 1496 2 0 3963 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 18728 KiB

[startup+12.701 s]
/proc/loadavg: 0.78 0.18 0.06 6/471 425815
/proc/meminfo: memFree=1683992/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=46216 memory=19256 CPUtime=12.13 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 3698 0 0 0 1212 1 0 0 20 0 1 0 233238312 47325184 4814 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 11554 4814 1496 2 0 3963 0
Current children cumulated CPU time: 12.13 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 19256 KiB

[startup+25.501 s]
/proc/loadavg: 1.49 0.36 0.12 6/471 425815
/proc/meminfo: memFree=1681952/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48200 memory=21368 CPUtime=24.51 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4225 0 0 0 2449 2 0 0 20 0 1 0 233238312 49356800 5342 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12050 5342 1496 2 0 4459 0
Current children cumulated CPU time: 24.51 s
Current children cumulated vsize: 48200 KiB
Current children cumulated memory: 21368 KiB

[startup+51.136 s]
/proc/loadavg: 2.35 0.66 0.22 6/470 425815
/proc/meminfo: memFree=1679180/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48200 memory=21632 CPUtime=49.27 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4235 0 0 0 4925 2 0 0 20 0 1 0 233238312 49356800 5408 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12050 5408 1496 2 0 4459 0
Current children cumulated CPU time: 49.27 s
Current children cumulated vsize: 48200 KiB
Current children cumulated memory: 21632 KiB

[startup+102.301 s]
/proc/loadavg: 3.29 1.18 0.42 6/470 425824
/proc/meminfo: memFree=1674140/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48340 memory=21632 CPUtime=98.7 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4256 0 0 0 9868 2 0 0 20 0 1 0 233238312 49500160 5408 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12085 5408 1496 2 0 4494 0
Current children cumulated CPU time: 98.7 s
Current children cumulated vsize: 48340 KiB
Current children cumulated memory: 21632 KiB

[startup+162.301 s]
/proc/loadavg: 3.74 1.69 0.65 6/470 425835
/proc/meminfo: memFree=1669572/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48340 memory=21632 CPUtime=156.72 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4279 0 0 0 15670 2 0 0 20 0 1 0 233238312 49500160 5408 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12085 5408 1496 2 0 4494 0
Current children cumulated CPU time: 156.72 s
Current children cumulated vsize: 48340 KiB
Current children cumulated memory: 21632 KiB

[startup+222.309 s]
/proc/loadavg: 4.14 2.18 0.88 6/470 425844
/proc/meminfo: memFree=1668264/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48476 memory=21896 CPUtime=214.78 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4304 0 0 0 21476 2 0 0 20 0 1 0 233238312 49639424 5474 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12119 5474 1496 2 0 4528 0
Current children cumulated CPU time: 214.78 s
Current children cumulated vsize: 48476 KiB
Current children cumulated memory: 21896 KiB

[startup+282.301 s]
/proc/loadavg: 4.45 2.62 1.12 6/472 425857
/proc/meminfo: memFree=1667476/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48624 memory=21896 CPUtime=272.73 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4327 0 0 0 27271 2 0 0 20 0 1 0 233238312 49790976 5474 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12156 5474 1496 2 0 4565 0
Current children cumulated CPU time: 272.73 s
Current children cumulated vsize: 48624 KiB
Current children cumulated memory: 21896 KiB

[startup+342.301 s]
/proc/loadavg: 4.53 2.99 1.34 6/471 425866
/proc/meminfo: memFree=1666752/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48624 memory=21896 CPUtime=330.66 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4331 0 0 0 33064 2 0 0 20 0 1 0 233238312 49790976 5474 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12156 5474 1496 2 0 4565 0
Current children cumulated CPU time: 330.66 s
Current children cumulated vsize: 48624 KiB
Current children cumulated memory: 21896 KiB

[startup+402.301 s]
/proc/loadavg: 4.25 3.19 1.52 6/471 425876
/proc/meminfo: memFree=1665964/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48624 memory=21896 CPUtime=388.63 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4362 0 0 0 38861 2 0 0 20 0 1 0 233238312 49790976 5474 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12156 5474 1496 2 0 4565 0
Current children cumulated CPU time: 388.63 s
Current children cumulated vsize: 48624 KiB
Current children cumulated memory: 21896 KiB

[startup+462.301 s]
/proc/loadavg: 4.29 3.40 1.70 6/474 425898
/proc/meminfo: memFree=1664096/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48760 memory=22160 CPUtime=446.4 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4394 0 0 0 44638 2 0 0 20 0 1 0 233238312 49930240 5540 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12190 5540 1496 2 0 4599 0
Current children cumulated CPU time: 446.4 s
Current children cumulated vsize: 48760 KiB
Current children cumulated memory: 22160 KiB

[startup+522.301 s]
/proc/loadavg: 4.10 3.51 1.84 7/472 425910
/proc/meminfo: memFree=1664828/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48912 memory=22160 CPUtime=504.45 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4414 0 0 0 50443 2 0 0 20 0 1 0 233238312 50085888 5540 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12228 5540 1496 2 0 4637 0
Current children cumulated CPU time: 504.45 s
Current children cumulated vsize: 48912 KiB
Current children cumulated memory: 22160 KiB

[startup+582.301 s]
/proc/loadavg: 4.04 3.60 1.98 6/471 425924
/proc/meminfo: memFree=1662364/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=48912 memory=22160 CPUtime=562.48 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4426 0 0 0 56246 2 0 0 20 0 1 0 233238312 50085888 5540 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12228 5540 1496 2 0 4637 0
Current children cumulated CPU time: 562.48 s
Current children cumulated vsize: 48912 KiB
Current children cumulated memory: 22160 KiB

[startup+642.301 s]
/proc/loadavg: 4.06 3.69 2.11 6/470 425933
/proc/meminfo: memFree=1659584/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=49048 memory=23400 CPUtime=620.51 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4469 0 0 0 62048 3 0 0 20 0 1 0 233238312 50225152 5850 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12262 5850 1496 2 0 4671 0
Current children cumulated CPU time: 620.51 s
Current children cumulated vsize: 49048 KiB
Current children cumulated memory: 23400 KiB

[startup+702.301 s]
/proc/loadavg: 4.18 3.80 2.25 6/470 425942
/proc/meminfo: memFree=1659584/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=49196 memory=23400 CPUtime=678.6 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4485 0 0 0 67857 3 0 0 20 0 1 0 233238312 50376704 5850 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12299 5850 1496 2 0 4708 0
Current children cumulated CPU time: 678.6 s
Current children cumulated vsize: 49196 KiB
Current children cumulated memory: 23400 KiB

[startup+762.303 s]
/proc/loadavg: 4.60 3.99 2.42 6/471 425954
/proc/meminfo: memFree=1659804/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=49332 memory=23656 CPUtime=736.7 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4531 0 0 0 73667 3 0 0 20 0 1 0 233238312 50515968 5914 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12333 5914 1496 2 0 4742 0
Current children cumulated CPU time: 736.7 s
Current children cumulated vsize: 49332 KiB
Current children cumulated memory: 23656 KiB

[startup+822.301 s]
/proc/loadavg: 4.45 4.06 2.54 6/470 425964
/proc/meminfo: memFree=1659804/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=49484 memory=23656 CPUtime=794.81 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4551 0 0 0 79478 3 0 0 20 0 1 0 233238312 50671616 5914 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12371 5914 1496 2 0 4780 0
Current children cumulated CPU time: 794.81 s
Current children cumulated vsize: 49484 KiB
Current children cumulated memory: 23656 KiB

[startup+882.303 s]
/proc/loadavg: 4.26 4.08 2.65 7/470 425973
/proc/meminfo: memFree=1659520/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=49484 memory=23920 CPUtime=852.94 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 4566 0 0 0 85291 3 0 0 20 0 1 0 233238312 50671616 5980 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12371 5980 1496 2 0 4780 0
Current children cumulated CPU time: 852.94 s
Current children cumulated vsize: 49484 KiB
Current children cumulated memory: 23920 KiB

[startup+942.301 s]
/proc/loadavg: 4.09 4.06 2.74 6/470 425982
/proc/meminfo: memFree=1659236/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=49628 memory=24092 CPUtime=910.99 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 7029 0 0 0 91094 5 0 0 20 0 1 0 233238312 50819072 6023 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12407 6023 1496 2 0 4816 0
Current children cumulated CPU time: 910.99 s
Current children cumulated vsize: 49628 KiB
Current children cumulated memory: 24092 KiB

[startup+1002.31 s]
/proc/loadavg: 4.03 4.05 2.82 7/470 425992
/proc/meminfo: memFree=1658700/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=49884 memory=24092 CPUtime=969.05 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049601 0 0 0 95354 1551 0 0 20 0 1 0 233238312 51081216 6023 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12471 6023 1496 2 0 4880 0
Current children cumulated CPU time: 969.05 s
Current children cumulated vsize: 49884 KiB
Current children cumulated memory: 24092 KiB

[startup+1062.3 s]
/proc/loadavg: 4.08 4.06 2.90 6/470 426002
/proc/meminfo: memFree=1658448/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=50016 memory=24092 CPUtime=1027 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049628 0 0 0 101149 1551 0 0 20 0 1 0 233238312 51216384 6023 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12504 6023 1496 2 0 4913 0
Current children cumulated CPU time: 1027 s
Current children cumulated vsize: 50016 KiB
Current children cumulated memory: 24092 KiB

[startup+1122.3 s]
/proc/loadavg: 4.07 4.06 2.98 6/469 426012
/proc/meminfo: memFree=1658668/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=50016 memory=24092 CPUtime=1084.97 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049637 0 0 0 106946 1551 0 0 20 0 1 0 233238312 51216384 6023 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12504 6023 1496 2 0 4913 0
Current children cumulated CPU time: 1084.97 s
Current children cumulated vsize: 50016 KiB
Current children cumulated memory: 24092 KiB

[startup+1182.31 s]
/proc/loadavg: 4.14 4.08 3.05 6/469 426022
/proc/meminfo: memFree=1658164/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=50152 memory=24352 CPUtime=1142.92 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049669 0 0 0 112741 1551 0 0 20 0 1 0 233238312 51355648 6088 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12538 6088 1496 2 0 4947 0
Current children cumulated CPU time: 1142.92 s
Current children cumulated vsize: 50152 KiB
Current children cumulated memory: 24352 KiB

[startup+1242.3 s]
/proc/loadavg: 4.58 4.20 3.16 6/469 426031
/proc/meminfo: memFree=1657628/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=50432 memory=24352 CPUtime=1200.89 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049716 0 0 0 118538 1551 0 0 20 0 1 0 233238312 51642368 6088 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12608 6088 1496 2 0 5017 0
Current children cumulated CPU time: 1200.89 s
Current children cumulated vsize: 50432 KiB
Current children cumulated memory: 24352 KiB

[startup+1302.3 s]
/proc/loadavg: 4.58 4.27 3.25 6/469 426051
/proc/meminfo: memFree=1656588/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=51200 memory=25376 CPUtime=1258.87 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049958 0 0 0 124336 1551 0 0 20 0 1 0 233238312 52428800 6344 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12800 6344 1496 2 0 5209 0
Current children cumulated CPU time: 1258.87 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 25376 KiB

[startup+1362.3 s]
/proc/loadavg: 4.36 4.27 3.32 6/471 426065
/proc/meminfo: memFree=1655580/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=51200 memory=25376 CPUtime=1316.75 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049958 0 0 0 130124 1551 0 0 20 0 1 0 233238312 52428800 6344 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12800 6344 1496 2 0 5209 0
Current children cumulated CPU time: 1316.75 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 25376 KiB

[startup+1422.3 s]
/proc/loadavg: 4.35 4.28 3.39 6/471 426074
/proc/meminfo: memFree=1655548/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=51200 memory=25376 CPUtime=1374.57 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049958 0 0 0 135905 1552 0 0 20 0 1 0 233238312 52428800 6344 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12800 6344 1496 2 0 5209 0
Current children cumulated CPU time: 1374.57 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 25376 KiB

[startup+1482.3 s]
/proc/loadavg: 4.13 4.22 3.43 6/472 426085
/proc/meminfo: memFree=1655516/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=51200 memory=25376 CPUtime=1432.41 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049958 0 0 0 141689 1552 0 0 20 0 1 0 233238312 52428800 6344 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12800 6344 1496 2 0 5209 0
Current children cumulated CPU time: 1432.41 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 25376 KiB

[startup+1542.3 s]
/proc/loadavg: 4.09 4.20 3.47 6/472 426094
/proc/meminfo: memFree=1655516/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=51200 memory=25376 CPUtime=1490.24 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049958 0 0 0 147472 1552 0 0 20 0 1 0 233238312 52428800 6344 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12800 6344 1496 2 0 5209 0
Current children cumulated CPU time: 1490.24 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 25376 KiB

[startup+1602.31 s]
/proc/loadavg: 4.03 4.16 3.51 7/472 426104
/proc/meminfo: memFree=1655484/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=51200 memory=25376 CPUtime=1548.21 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049958 0 0 0 153269 1552 0 0 20 0 1 0 233238312 52428800 6344 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12800 6344 1496 2 0 5209 0
Current children cumulated CPU time: 1548.21 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 25376 KiB

[startup+1662.3 s]
/proc/loadavg: 4.51 4.25 3.58 6/470 426115
/proc/meminfo: memFree=1655168/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=51200 memory=25376 CPUtime=1606.06 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2049958 0 0 0 159054 1552 0 0 20 0 1 0 233238312 52428800 6344 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 12800 6344 1496 2 0 5209 0
Current children cumulated CPU time: 1606.06 s
Current children cumulated vsize: 51200 KiB
Current children cumulated memory: 25376 KiB

[startup+1722.3 s]
/proc/loadavg: 4.61 4.32 3.65 6/470 426124
/proc/meminfo: memFree=1648332/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=58984 memory=33144 CPUtime=1663.96 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2052297 0 0 0 164843 1553 0 0 20 0 1 0 233238312 60399616 8286 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 14746 8286 1496 2 0 7155 0
Current children cumulated CPU time: 1663.96 s
Current children cumulated vsize: 58984 KiB
Current children cumulated memory: 33144 KiB

[startup+1782.3 s]
/proc/loadavg: 4.66 4.38 3.71 6/469 426134
/proc/meminfo: memFree=1645276/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=61880 memory=36004 CPUtime=1721.98 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2053173 0 0 0 170644 1554 0 0 20 0 1 0 233238312 63365120 9001 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 15470 9001 1496 2 0 7879 0
Current children cumulated CPU time: 1721.98 s
Current children cumulated vsize: 61880 KiB
Current children cumulated memory: 36004 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 4.53 4.37 3.73 5/461 426136
/proc/meminfo: memFree=1675492/3717660 swapFree=8388604/8388604
[pid=425803] ppid=425800 vsize=62904 memory=37084 CPUtime=1739.14 cores=2
/proc/425803/stat : 425803 (pigeonPurSampli) R 425800 425803 425786 0 -1 4194304 2053631 0 0 0 172359 1555 0 0 20 0 1 0 233238312 64413696 9271 18446744073709551615 94708031905792 94708031909904 140725252127744 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 1 0 0 94708034010368 94708034011140 94708043284480 140725252129334 140725252129410 140725252129410 140725252132833 0
/proc/425803/statm: 15726 9271 1496 2 0 8135 0
Current children cumulated CPU time: 1739.14 s
Current children cumulated vsize: 62904 KiB
Current children cumulated memory: 37084 KiB

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

Detected pigeons:

[startup+1800.12 s]
# the end of solver process 425803 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1723.68 s, system=15.5586 s

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

Child status: 1
Real time (s): 1800.12
CPU time (s): 1739.24
CPU user time (s): 1723.68
CPU system time (s): 15.5586
CPU usage (%): 96.6182
Max. virtual memory (cumulated for all children) (KiB): 62904
Max. memory (cumulated for all children) (KiB): 37084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1723.68
system time used= 15.5586
maximum resident set size= 37084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2053633
page faults= 0
swaps= 0
block input operations= 1024
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 69230


# summary of solver processes directly reported to runsolver:
#   pid: 425803
#   total CPU time (s): 1739.24
#   total CPU user time (s): 1723.68
#   total CPU system time (s): 15.5586

??? end of timestamper thread
runsolver used 17.0346 second user time and 24.6136 second system time

The end
