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: 63708 MiB (62016 MiB free)
  memory of node 1: 64465 MiB (62330 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486357-1751283062/watcher-4486357-1751283062 -o /tmp/evaluation-result-4486357-1751283062/solver-4486357-1751283062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751279092-38750 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4486357-1751283062.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39627, runsolver pid=39624
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 39628
/proc/meminfo: memFree=127330808/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=56412 memory=18284 CPUtime=0.09 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 2554 0 0 0 9 0 0 0 20 0 1 0 43984624 57765888 4571 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 14103 4571 1696 2271 0 8741 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56412 KiB
Current children cumulated memory: 18284 KiB

[startup+0.205415 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 39628
/proc/meminfo: memFree=127325264/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=61548 memory=25368 CPUtime=0.19 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 3860 0 0 0 19 0 0 0 20 0 1 0 43984624 63025152 6342 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 15387 6342 1696 2271 0 10025 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61548 KiB
Current children cumulated memory: 25368 KiB

[startup+0.305312 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 39628
/proc/meminfo: memFree=127291368/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=101928 memory=64376 CPUtime=0.29 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 12544 0 0 0 27 2 0 0 20 0 1 0 43984624 104374272 16094 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 25482 16094 1824 2271 0 20120 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 101928 KiB
Current children cumulated memory: 64376 KiB

[startup+0.700113 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 39628
/proc/meminfo: memFree=127275112/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=97888 memory=60720 CPUtime=0.68 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 12923 0 0 0 66 2 0 0 20 0 1 0 43984624 100237312 15180 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 24472 15180 1888 2271 0 19110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97888 KiB
Current children cumulated memory: 60720 KiB

[startup+1.50012 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 39628
/proc/meminfo: memFree=127275764/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=236172 memory=196528 CPUtime=1.48 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 45526 0 0 0 140 8 0 0 20 0 1 0 43984624 241840128 49132 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 59043 49132 3328 2271 0 53681 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 236172 KiB
Current children cumulated memory: 196528 KiB

[startup+3.10522 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 39628
/proc/meminfo: memFree=127018644/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=424848 memory=348740 CPUtime=3.07 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 61037 0 0 0 295 12 0 0 20 0 1 0 43984624 435044352 87185 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 106212 87185 3392 2271 0 100850 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 424848 KiB
Current children cumulated memory: 348740 KiB

[startup+6.30013 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 39628
/proc/meminfo: memFree=126906420/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=545448 memory=465828 CPUtime=6.26 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 85516 0 0 0 610 16 0 0 20 0 1 0 43984624 558538752 116457 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 136362 116457 3424 2271 0 131000 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 545448 KiB
Current children cumulated memory: 465828 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 39628
/proc/meminfo: memFree=126900492/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=549488 memory=467748 CPUtime=12.64 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 86000 0 0 0 1248 16 0 0 20 0 1 0 43984624 562675712 116937 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 137372 116937 3424 2271 0 132010 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 549488 KiB
Current children cumulated memory: 467748 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 39629
/proc/meminfo: memFree=126921852/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=549488 memory=467876 CPUtime=25.41 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 86004 0 0 0 2525 16 0 0 20 0 1 0 43984624 562675712 116969 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 137372 116969 3424 2271 0 132010 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 549488 KiB
Current children cumulated memory: 467876 KiB

[startup+51.1053 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 39629
/proc/meminfo: memFree=127053716/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=566208 memory=483724 CPUtime=50.95 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 88980 0 0 0 5078 17 0 0 20 0 1 0 43984624 579796992 120931 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 141552 120931 3424 2271 0 136190 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 566208 KiB
Current children cumulated memory: 483724 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 39631
/proc/meminfo: memFree=127042336/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=581568 memory=489336 CPUtime=102.02 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 89347 0 0 0 10184 18 0 0 20 0 1 0 43984624 595525632 122334 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145392 122334 3424 2271 0 140030 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 581568 KiB
Current children cumulated memory: 489336 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 39633
/proc/meminfo: memFree=127023256/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=602208 memory=499916 CPUtime=161.86 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 90931 0 0 0 16168 18 0 0 20 0 1 0 43984624 616660992 124979 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 150552 124979 3424 2271 0 145190 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 602208 KiB
Current children cumulated memory: 499916 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/262 39635
/proc/meminfo: memFree=127038828/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=624332 memory=506644 CPUtime=221.69 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 91626 0 0 0 22151 18 0 0 20 0 1 0 43984624 639315968 126661 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 156083 126661 3424 2271 0 150721 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 624332 KiB
Current children cumulated memory: 506644 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 39644
/proc/meminfo: memFree=127029360/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=624332 memory=507028 CPUtime=281.52 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 91719 0 0 0 28134 18 0 0 20 0 1 0 43984624 639315968 126757 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 156083 126757 3424 2271 0 150721 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 624332 KiB
Current children cumulated memory: 507028 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 39646
/proc/meminfo: memFree=127029952/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=624332 memory=507028 CPUtime=341.34 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 91719 0 0 0 34116 18 0 0 20 0 1 0 43984624 639315968 126757 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 156083 126757 3424 2271 0 150721 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 624332 KiB
Current children cumulated memory: 507028 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 39648
/proc/meminfo: memFree=127031252/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=624332 memory=507028 CPUtime=401.17 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 91730 0 0 0 40099 18 0 0 20 0 1 0 43984624 639315968 126757 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 156083 126757 3424 2271 0 150721 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 624332 KiB
Current children cumulated memory: 507028 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 39650
/proc/meminfo: memFree=127001980/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=674940 memory=559764 CPUtime=461 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 104978 0 0 0 46079 21 0 0 20 0 1 0 43984624 691138560 139941 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 168735 139941 3424 2271 0 163373 0

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

Current children cumulated memory: 489128 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 39778
/proc/meminfo: memFree=125236648/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=492200 CPUtime=2854.47 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107615 0 0 0 285158 289 0 0 20 0 1 0 43984624 597700608 123050 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 123050 3424 2271 0 140561 0
Current children cumulated CPU time: 2854.47 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 492200 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 39781
/proc/meminfo: memFree=125216304/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=517032 CPUtime=2914.31 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107632 0 0 0 291141 290 0 0 20 0 1 0 43984624 597700608 129258 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129258 3424 2271 0 140561 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 517032 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 39783
/proc/meminfo: memFree=125216376/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=2974.15 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107634 0 0 0 297122 293 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 39785
/proc/meminfo: memFree=125213896/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3033.99 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107634 0 0 0 303106 293 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 39787
/proc/meminfo: memFree=125215312/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3093.83 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107634 0 0 0 309086 297 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 39789
/proc/meminfo: memFree=125218204/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3153.68 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107634 0 0 0 315071 297 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 39791
/proc/meminfo: memFree=125219580/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3213.53 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 321056 297 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 39891
/proc/meminfo: memFree=127690252/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3273.37 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 327037 300 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3273.37 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 39892
/proc/meminfo: memFree=127537816/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3333.21 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 333021 300 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 39894
/proc/meminfo: memFree=127514748/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3393.06 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 339005 301 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.00 4.06 4.08 5/265 39986
/proc/meminfo: memFree=128234748/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3452.9 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 344988 302 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.06 4.08 5/266 39989
/proc/meminfo: memFree=128084196/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3512.74 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 350964 310 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.06 4.08 5/264 39992
/proc/meminfo: memFree=127919188/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3572.59 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 356949 310 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.10 4.07 4.08 5/264 39994
/proc/meminfo: memFree=127894944/131249996 swapFree=33010684/33010684
[pid=39627] ppid=39624 vsize=583692 memory=518056 CPUtime=3600.02 cores=1,3
/proc/39627/stat : 39627 (ExactPR-S) R 39624 39627 38738 0 -1 4194304 107659 0 0 0 359692 310 0 0 20 0 1 0 43984624 597700608 129514 18446744073709551615 93926231326720 93926240626757 140735558768272 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 93926242412864 93926242451944 93926263099392 140735558777217 140735558777354 140735558777354 140735558782956 0
/proc/39627/statm: 145923 129514 3424 2271 0 140561 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 583692 KiB
Current children cumulated memory: 518056 KiB

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

[startup+3609.81 s]
# the end of solver process 39627 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3596.93 s, system=3.10819 s

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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.03
CPU user time (s): 3596.93
CPU system time (s): 3.10819
CPU usage (%): 99.7292
Max. virtual memory (cumulated for all children) (KiB): 674940
Max. memory (cumulated for all children) (KiB): 559892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.93
system time used= 3.10819
maximum resident set size= 559892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107673
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= 162
involuntary context switches= 2038


# summary of solver processes directly reported to runsolver:
#   pid: 39627
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3596.93
#   total CPU system time (s): 3.10819

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18444 second user time and 14.2766 second system time

The end