runsolver version 3.4.2 (svn: 4680) 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: 2
  memory of node 0: 63837 MiB (62923 MiB free)
  memory of node 1: 64465 MiB (63500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526341-1751633633/watcher-4526341-1751633633 -o /tmp/evaluation-result-4526341-1751633633/solver-4526341-1751633633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751630018-92779 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 113040540 HOME/instance-4526341-1751633633.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=93336, runsolver pid=93333
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 4.90 4.87 4.87 5/255 93338
/proc/meminfo: memFree=129457924/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=90920 memory=18080 CPUtime=0.16 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 3571 0 0 0 15 1 0 0 20 0 2 0 79041956 93102080 4520 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 22730 4520 672 633 0 5991 0
[pid=93336/tid=93338] ppid=93333 vsize=90920 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 434 0 0 0 5 0 0 0 20 0 2 0 79041956 93102080 4520 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 90920 KiB
Current children cumulated memory: 18080 KiB

[startup+0.214127 s]*
/proc/loadavg: 4.90 4.87 4.87 7/255 93338
/proc/meminfo: memFree=129450868/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=95644 memory=22688 CPUtime=0.27 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 4725 0 0 0 26 1 0 0 20 0 2 0 79041956 97939456 5672 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 23911 5672 672 633 0 7172 0
[pid=93336/tid=93338] ppid=93333 vsize=95644 memory=664958721904869660 CPUtime=0.05 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 434 0 0 0 5 0 0 0 20 0 2 0 79041956 97939456 5672 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 95644 KiB
Current children cumulated memory: 22688 KiB

[startup+0.314004 s]*
/proc/loadavg: 4.90 4.87 4.87 6/255 93338
/proc/meminfo: memFree=129443204/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=106560 memory=33824 CPUtime=0.37 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 7492 0 0 0 35 2 0 0 20 0 2 0 79041956 109117440 8456 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 26640 8456 672 633 0 9901 0
[pid=93336/tid=93338] ppid=93333 vsize=106560 memory=7970390040233589869 CPUtime=0.05 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 434 0 0 0 5 0 0 0 20 0 2 0 79041956 109117440 8456 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 106560 KiB
Current children cumulated memory: 33824 KiB

[startup+0.700341 s]
/proc/loadavg: 4.90 4.87 4.87 6/255 93338
/proc/meminfo: memFree=129435140/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=108912 memory=36148 CPUtime=0.83 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 12668 0 0 0 79 4 0 0 20 0 2 0 79041956 111525888 9037 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27228 9037 672 633 0 10489 0
[pid=93336/tid=93338] ppid=93333 vsize=108912 memory=18688 CPUtime=0.14 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 434 0 0 0 14 0 0 0 20 0 2 0 79041956 111525888 9037 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 108912 KiB
Current children cumulated memory: 36148 KiB

[startup+1.50034 s]
/proc/loadavg: 4.90 4.87 4.87 6/255 93338
/proc/meminfo: memFree=129435140/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111176 memory=38452 CPUtime=2.15 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 19826 0 0 0 209 6 0 0 20 0 2 0 79041956 113844224 9613 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27794 9613 672 633 0 11055 0
[pid=93336/tid=93338] ppid=93333 vsize=111176 memory=18688 CPUtime=0.66 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 690 0 0 0 66 0 0 0 20 0 2 0 79041956 113844224 9613 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 2.15 s
Current children cumulated vsize: 111176 KiB
Current children cumulated memory: 38452 KiB

[startup+3.10685 s]
/proc/loadavg: 4.90 4.87 4.87 7/255 93338
/proc/meminfo: memFree=129435196/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111336 memory=38440 CPUtime=4.9 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 30685 0 0 0 481 9 0 0 20 0 2 0 79041956 114008064 9610 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27834 9610 672 633 0 11095 0
[pid=93336/tid=93338] ppid=93333 vsize=111336 memory=38452 CPUtime=1.82 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 872 0 0 0 182 0 0 0 20 0 2 0 79041956 114008064 9610 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 111336 KiB
Current children cumulated memory: 38440 KiB

[startup+6.30034 s]
/proc/loadavg: 4.98 4.89 4.88 8/255 93338
/proc/meminfo: memFree=129435228/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111336 memory=38440 CPUtime=8.8 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 36534 0 0 0 870 10 0 0 20 0 2 0 79041956 114008064 9610 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27834 9610 672 633 0 11095 0
[pid=93336/tid=93338] ppid=93333 vsize=111336 memory=18688 CPUtime=2.55 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 878 0 0 0 255 0 0 0 20 0 2 0 79041956 114008064 9610 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 111336 KiB
Current children cumulated memory: 38440 KiB

[startup+12.7002 s]
/proc/loadavg: 5.07 4.91 4.88 7/255 93338
/proc/meminfo: memFree=129435008/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111600 memory=38696 CPUtime=17.64 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 49879 0 0 0 1751 13 0 0 20 0 2 0 79041956 114278400 9674 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27900 9674 672 633 0 11161 0
[pid=93336/tid=93338] ppid=93333 vsize=111600 memory=38696 CPUtime=5.04 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 1210 0 0 0 503 1 0 0 20 0 2 0 79041956 114278400 9674 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 17.64 s
Current children cumulated vsize: 111600 KiB
Current children cumulated memory: 38696 KiB

[startup+25.5002 s]
/proc/loadavg: 5.25 4.96 4.90 7/255 93338
/proc/meminfo: memFree=129430960/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111600 memory=38696 CPUtime=37.73 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 61440 0 0 0 3750 23 0 0 20 0 2 0 79041956 114278400 9674 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27900 9674 672 633 0 11161 0
[pid=93336/tid=93338] ppid=93333 vsize=111600 memory=38696 CPUtime=12.44 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 1921 0 0 0 1239 5 0 0 20 0 2 0 79041956 114278400 9674 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 37.73 s
Current children cumulated vsize: 111600 KiB
Current children cumulated memory: 38696 KiB

[startup+51.1138 s]
/proc/loadavg: 5.43 5.03 4.93 6/255 93339
/proc/meminfo: memFree=129430712/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111600 memory=38824 CPUtime=69.92 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 73027 0 0 0 6957 35 0 0 20 0 2 0 79041956 114278400 9706 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27900 9706 672 633 0 11161 0
[pid=93336/tid=93338] ppid=93333 vsize=111600 memory=18688 CPUtime=19.17 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 2387 0 0 0 1908 9 0 0 20 0 2 0 79041956 114278400 9706 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 69.92 s
Current children cumulated vsize: 111600 KiB
Current children cumulated memory: 38824 KiB

[startup+102.3 s]
/proc/loadavg: 5.88 5.18 4.98 8/255 93343
/proc/meminfo: memFree=129430780/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111280 memory=38596 CPUtime=146.21 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 680168 0 0 0 14431 190 0 0 20 0 2 0 79041956 113950720 9649 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27820 9649 672 633 0 11081 0
[pid=93336/tid=93338] ppid=93333 vsize=111280 memory=18688 CPUtime=44.67 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 3078 0 0 0 4444 23 0 0 20 0 2 0 79041956 113950720 9649 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 146.21 s
Current children cumulated vsize: 111280 KiB
Current children cumulated memory: 38596 KiB

[startup+162.3 s]
/proc/loadavg: 5.44 5.18 5.00 7/255 93345
/proc/meminfo: memFree=129430796/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111944 memory=39120 CPUtime=240.21 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 2067134 0 0 0 23520 501 0 0 20 0 2 0 79041956 114630656 9780 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27986 9780 672 633 0 11247 0
[pid=93336/tid=93338] ppid=93333 vsize=111944 memory=5632 CPUtime=79.16 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 3945 0 0 0 7871 45 0 0 20 0 2 0 79041956 114630656 9780 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 240.21 s
Current children cumulated vsize: 111944 KiB
Current children cumulated memory: 39120 KiB

[startup+222.3 s]
/proc/loadavg: 5.59 5.28 5.05 5/253 93347
/proc/meminfo: memFree=129406084/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111960 memory=39192 CPUtime=334.32 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 2797083 0 0 0 32737 695 0 0 20 0 2 0 79041956 114647040 9798 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27990 9798 672 633 0 11251 0
[pid=93336/tid=93338] ppid=93333 vsize=111960 memory=18688 CPUtime=113.73 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 4287 0 0 0 11308 65 0 0 20 0 2 0 79041956 114647040 9798 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 334.32 s
Current children cumulated vsize: 111960 KiB
Current children cumulated memory: 39192 KiB

[startup+282.3 s]
/proc/loadavg: 5.45 5.30 5.07 7/254 93354
/proc/meminfo: memFree=129398404/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111636 memory=38952 CPUtime=428.23 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 3758479 0 0 0 41894 929 0 0 20 0 2 0 79041956 114315264 9738 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27909 9738 672 633 0 11170 0
[pid=93336/tid=93338] ppid=93333 vsize=111636 memory=39208 CPUtime=148.13 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 4673 0 0 0 14727 86 0 0 20 0 2 0 79041956 114315264 9738 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 428.23 s
Current children cumulated vsize: 111636 KiB
Current children cumulated memory: 38952 KiB

################
# More data... #
################

/proc/meminfo: memFree=129432500/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112068 memory=39300 CPUtime=2591.75 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 25019631 0 0 0 253251 5924 0 0 20 0 2 0 79041956 114757632 9825 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28017 9825 672 633 0 11278 0
[pid=93336/tid=93338] ppid=93333 vsize=112068 memory=39292 CPUtime=942.35 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6558 0 0 0 93687 548 0 0 20 0 2 0 79041956 114757632 9825 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 2591.75 s
Current children cumulated vsize: 112068 KiB
Current children cumulated memory: 39300 KiB

[startup+1722.3 s]
/proc/loadavg: 5.43 5.67 5.61 7/253 93427
/proc/meminfo: memFree=129432516/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112128 memory=39364 CPUtime=2685.82 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 26066627 0 0 0 262420 6162 0 0 20 0 2 0 79041956 114819072 9841 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28032 9841 672 633 0 11293 0
[pid=93336/tid=93338] ppid=93333 vsize=112128 memory=39292 CPUtime=976.87 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6572 0 0 0 97116 571 0 0 20 0 2 0 79041956 114819072 9841 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 2685.82 s
Current children cumulated vsize: 112128 KiB
Current children cumulated memory: 39364 KiB

[startup+1782.3 s]
/proc/loadavg: 5.41 5.61 5.59 6/254 93430
/proc/meminfo: memFree=129432556/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112200 memory=39304 CPUtime=2779.94 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 27444632 0 0 0 271541 6453 0 0 20 0 2 0 79041956 114892800 9826 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28050 9826 672 633 0 11311 0
[pid=93336/tid=93338] ppid=93333 vsize=112200 memory=39304 CPUtime=1011.44 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 6575 0 0 0 100554 590 0 0 20 0 2 0 79041956 114892800 9826 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 2779.94 s
Current children cumulated vsize: 112200 KiB
Current children cumulated memory: 39304 KiB

[startup+1842.3 s]
/proc/loadavg: 5.57 5.62 5.60 6/254 93432
/proc/meminfo: memFree=129432580/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111728 memory=39044 CPUtime=2874.03 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 28442161 0 0 0 280722 6681 0 0 20 0 2 0 79041956 114409472 9761 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27932 9761 672 633 0 11193 0
[pid=93336/tid=93338] ppid=93333 vsize=111932 memory=39304 CPUtime=1046 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6687 0 0 0 103991 609 0 0 20 0 2 0 79041956 114618368 9761 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 2874.03 s
Current children cumulated vsize: 111728 KiB
Current children cumulated memory: 39044 KiB

[startup+1902.3 s]
/proc/loadavg: 5.69 5.65 5.61 7/255 93575
/proc/meminfo: memFree=129592000/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111560 memory=38948 CPUtime=2969.37 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 29674007 0 0 0 290012 6925 0 0 20 0 2 0 79041956 114237440 9737 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27890 9737 672 633 0 11151 0
[pid=93336/tid=93338] ppid=93333 vsize=111560 memory=39304 CPUtime=1081.76 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6831 0 0 0 107547 629 0 0 20 0 2 0 79041956 114237440 9737 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 2969.37 s
Current children cumulated vsize: 111560 KiB
Current children cumulated memory: 38948 KiB

[startup+1962.3 s]
/proc/loadavg: 6.01 5.76 5.65 7/255 93577
/proc/meminfo: memFree=129591012/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111528 memory=38916 CPUtime=3066.79 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 31028857 0 0 0 299515 7164 0 0 20 0 2 0 79041956 114204672 9729 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27882 9729 672 633 0 11143 0
[pid=93336/tid=93338] ppid=93333 vsize=111528 memory=16596 CPUtime=1119.57 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) S 93333 93336 92769 0 -1 4194368 6896 0 0 0 111311 646 0 0 20 0 2 0 79041956 114204672 9729 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 3066.79 s
Current children cumulated vsize: 111528 KiB
Current children cumulated memory: 38916 KiB

[startup+2022.3 s]
/proc/loadavg: 6.43 5.91 5.71 8/255 93579
/proc/meminfo: memFree=129591532/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112096 memory=39388 CPUtime=3164.31 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 32240996 0 0 0 309051 7380 0 0 20 0 2 0 79041956 114786304 9847 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28024 9847 672 633 0 11285 0
[pid=93336/tid=93338] ppid=93333 vsize=112096 memory=38988 CPUtime=1157.51 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6896 0 0 0 115088 663 0 0 20 0 2 0 79041956 114786304 9847 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 3164.31 s
Current children cumulated vsize: 112096 KiB
Current children cumulated memory: 39388 KiB

[startup+2082.3 s]
/proc/loadavg: 6.34 5.99 5.75 6/254 93585
/proc/meminfo: memFree=129587716/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112076 memory=39372 CPUtime=3262.02 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 33294049 0 0 0 318620 7582 0 0 20 0 2 0 79041956 114765824 9843 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28019 9843 672 633 0 11280 0
[pid=93336/tid=93338] ppid=93333 vsize=112076 memory=38828 CPUtime=1195.6 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6899 0 0 0 118879 681 0 0 20 0 2 0 79041956 114765824 9843 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 3262.02 s
Current children cumulated vsize: 112076 KiB
Current children cumulated memory: 39372 KiB

[startup+2142.3 s]
/proc/loadavg: 6.35 6.05 5.79 8/254 93587
/proc/meminfo: memFree=129587984/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112068 memory=39372 CPUtime=3359.33 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 34688175 0 0 0 328107 7826 0 0 20 0 2 0 79041956 114757632 9843 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28017 9843 672 633 0 11278 0
[pid=93336/tid=93338] ppid=93333 vsize=112068 memory=38828 CPUtime=1233.31 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6899 0 0 0 122634 697 0 0 20 0 2 0 79041956 114757632 9843 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 3359.33 s
Current children cumulated vsize: 112068 KiB
Current children cumulated memory: 39372 KiB

[startup+2202.3 s]
/proc/loadavg: 6.54 6.16 5.85 8/253 93589
/proc/meminfo: memFree=129588756/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112060 memory=39364 CPUtime=3456.72 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 36048878 0 0 0 337599 8073 0 0 20 0 2 0 79041956 114749440 9841 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28015 9841 672 633 0 11276 0
[pid=93336/tid=93338] ppid=93333 vsize=112060 memory=38828 CPUtime=1271.12 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6899 0 0 0 126396 716 0 0 20 0 2 0 79041956 114749440 9841 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 3456.72 s
Current children cumulated vsize: 112060 KiB
Current children cumulated memory: 39364 KiB

[startup+2262.3 s]
/proc/loadavg: 6.33 6.16 5.87 7/253 93591
/proc/meminfo: memFree=129591120/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=112068 memory=39372 CPUtime=3554.18 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 37367155 0 0 0 347109 8309 0 0 20 0 2 0 79041956 114757632 9843 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 28017 9843 672 633 0 11278 0
[pid=93336/tid=93338] ppid=93333 vsize=112068 memory=38928 CPUtime=1308.97 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6903 0 0 0 130164 733 0 0 20 0 2 0 79041956 114757632 9843 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 3554.18 s
Current children cumulated vsize: 112068 KiB
Current children cumulated memory: 39372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2290.6 s]
/proc/loadavg: 6.48 6.21 5.89 8/253 93591
/proc/meminfo: memFree=129591128/131382120 swapFree=33010416/33010684
[pid=93336] ppid=93333 vsize=111552 memory=38940 CPUtime=3600.15 cores=0,2
/proc/93336/stat : 93336 (pb_competition_) R 93333 93336 92769 0 -1 4194304 37959653 0 0 0 351597 8418 0 0 20 0 2 0 79041956 114229248 9735 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
/proc/93336/statm: 27888 9735 672 633 0 11149 0
[pid=93336/tid=93338] ppid=93333 vsize=111552 memory=39196 CPUtime=1326.82 cores=0,2
/proc/93336/task/93338/stat : 93338 (pb_competition_) R 93333 93336 92769 0 -1 4194368 6903 0 0 0 131941 741 0 0 20 0 2 0 79041956 114229248 9735 18446744073709551615 4198400 6788177 140721230470656 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14499840 140721230477656 140721230477782 140721230477782 140721230483386 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 111552 KiB
Current children cumulated memory: 38940 KiB

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

[startup+2290.62 s]
# the end of solver process 93336 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3516 s, system=84.189 s

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

Child status: 0

Real time (s): 2290.62
CPU time (s): 3600.18
CPU user time (s): 3516
CPU system time (s): 84.189
CPU usage (%): 157.171
Max. virtual memory (cumulated for all children) (KiB): 112224
Max. memory (cumulated for all children) (KiB): 39492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3516
system time used= 84.189
maximum resident set size= 39504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37960433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 675943
involuntary context switches= 30618


# summary of solver processes directly reported to runsolver:
#   pid: 93336
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3516
#   total CPU system time (s): 84.189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47501 second user time and 12.4683 second system time

The end