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: 63665 MiB (60735 MiB free)
  memory of node 1: 64507 MiB (62397 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484701-1751279095/watcher-4484701-1751279095 -o /tmp/evaluation-result-4484701-1751279095/solver-4484701-1751279095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751279092-34367 --watchdog 3760 ./ExactPR-S --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4484701-1751279095.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=34514, runsolver pid=34511

[startup+0.100061 s]*
/proc/loadavg: 3.31 3.94 4.02 5/265 34515
/proc/meminfo: memFree=126088788/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=54768 memory=16424 CPUtime=0.08 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 2138 0 0 0 8 0 0 0 20 0 1 0 43589116 56082432 4106 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 13692 4106 1664 2271 0 8330 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54768 KiB
Current children cumulated memory: 16424 KiB

[startup+0.205314 s]*
/proc/loadavg: 3.31 3.94 4.02 5/265 34515
/proc/meminfo: memFree=126068880/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=59644 memory=25420 CPUtime=0.18 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 3429 0 0 0 18 0 0 0 20 0 1 0 43589116 61075456 6355 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 14911 6355 1664 2271 0 9549 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 59644 KiB
Current children cumulated memory: 25420 KiB

[startup+0.305506 s]*
/proc/loadavg: 3.31 3.94 4.02 5/265 34515
/proc/meminfo: memFree=125991508/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=116740 memory=81624 CPUtime=0.29 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 14584 0 0 0 26 3 0 0 20 0 1 0 43589116 119541760 20406 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 29185 20406 1760 2271 0 23823 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116740 KiB
Current children cumulated memory: 81624 KiB

[startup+0.700188 s]
/proc/loadavg: 3.31 3.94 4.02 5/265 34515
/proc/meminfo: memFree=125814100/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=167768 memory=123096 CPUtime=0.68 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 23657 0 0 0 63 5 0 0 20 0 1 0 43589116 171794432 30774 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 41942 30774 3168 2271 0 36580 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 167768 KiB
Current children cumulated memory: 123096 KiB

[startup+1.50018 s]
/proc/loadavg: 3.31 3.94 4.02 5/265 34515
/proc/meminfo: memFree=125536560/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=358392 memory=312664 CPUtime=1.47 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 70927 0 0 0 135 12 0 0 20 0 1 0 43589116 366993408 78166 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 89598 78166 3296 2271 0 84236 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 358392 KiB
Current children cumulated memory: 312664 KiB

[startup+3.10532 s]
/proc/loadavg: 3.37 3.94 4.02 5/265 34515
/proc/meminfo: memFree=125173940/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=701588 memory=625436 CPUtime=3.07 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 105290 0 0 0 286 21 0 0 20 0 1 0 43589116 718426112 156359 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 175397 156359 3360 2271 0 170035 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 701588 KiB
Current children cumulated memory: 625436 KiB

[startup+6.30013 s]
/proc/loadavg: 3.37 3.94 4.02 5/265 34515
/proc/meminfo: memFree=125040208/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=754180 memory=651984 CPUtime=6.26 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 110426 0 0 0 604 22 0 0 20 0 1 0 43589116 772280320 162996 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 188545 162996 3360 2271 0 183183 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 754180 KiB
Current children cumulated memory: 651984 KiB

[startup+12.7002 s]
/proc/loadavg: 3.46 3.95 4.02 5/265 34515
/proc/meminfo: memFree=124677056/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=815168 memory=663496 CPUtime=12.64 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 111750 0 0 0 1241 23 0 0 20 0 1 0 43589116 834732032 165874 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 203792 165874 3360 2271 0 198430 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 815168 KiB
Current children cumulated memory: 663496 KiB

[startup+25.5002 s]
/proc/loadavg: 3.55 3.95 4.02 5/265 34515
/proc/meminfo: memFree=124608764/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=920648 memory=663624 CPUtime=25.41 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 111793 0 0 0 2518 23 0 0 20 0 1 0 43589116 942743552 165906 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 230162 165906 3360 2271 0 224800 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 920648 KiB
Current children cumulated memory: 663624 KiB

[startup+51.1053 s]
/proc/loadavg: 3.78 3.97 4.02 5/265 34515
/proc/meminfo: memFree=124419316/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1100916 memory=813512 CPUtime=50.93 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 149275 0 0 0 5063 30 0 0 20 0 1 0 43589116 1127337984 203378 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 275229 203378 3360 2271 0 269867 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1100916 KiB
Current children cumulated memory: 813512 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 3.99 4.02 5/265 34517
/proc/meminfo: memFree=124281268/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1125400 memory=813640 CPUtime=101.97 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 149328 0 0 0 10166 31 0 0 20 0 1 0 43589116 1152409600 203410 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 281350 203410 3360 2271 0 275988 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1125400 KiB
Current children cumulated memory: 813640 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.01 4.02 5/266 34564
/proc/meminfo: memFree=124031104/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1204300 memory=861512 CPUtime=161.78 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 161328 0 0 0 16145 33 0 0 20 0 1 0 43589116 1233203200 215378 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 301075 215378 3360 2271 0 295713 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1204300 KiB
Current children cumulated memory: 861512 KiB

[startup+222.3 s]
/proc/loadavg: 4.42 4.12 4.06 5/266 34610
/proc/meminfo: memFree=125359612/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1204300 memory=862408 CPUtime=221.58 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 161567 0 0 0 22125 33 0 0 20 0 1 0 43589116 1233203200 215602 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 301075 215602 3360 2271 0 295713 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1204300 KiB
Current children cumulated memory: 862408 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.11 4.06 5/265 34612
/proc/meminfo: memFree=125107632/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1374820 memory=968532 CPUtime=281.39 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 187135 0 0 0 28102 37 0 0 20 0 1 0 43589116 1407815680 242133 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 343705 242133 3360 2271 0 338343 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1374820 KiB
Current children cumulated memory: 968532 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/263 34614
/proc/meminfo: memFree=124953172/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1423320 memory=1016324 CPUtime=341.2 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 197574 0 0 0 34081 39 0 0 20 0 1 0 43589116 1457479680 254081 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 355830 254081 3360 2271 0 350468 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 1423320 KiB
Current children cumulated memory: 1016324 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.07 5/263 34616
/proc/meminfo: memFree=124792516/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1492068 memory=1068536 CPUtime=401.02 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 206668 0 0 0 40061 41 0 0 20 0 1 0 43589116 1527877632 267134 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 373017 267134 3360 2271 0 367655 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 1492068 KiB
Current children cumulated memory: 1068536 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.06 5/263 34619
/proc/meminfo: memFree=124701396/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1507176 memory=1083788 CPUtime=460.82 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 206902 0 0 0 46041 41 0 0 20 0 1 0 43589116 1543348224 270947 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 376794 270947 3360 2271 0 371432 0
Current children cumulated CPU time: 460.82 s

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

Current children cumulated memory: 1275752 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 34745
/proc/meminfo: memFree=124147724/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1275752 CPUtime=2914.08 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265177 0 0 0 291229 179 0 0 20 0 1 0 43589116 1515884544 318938 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 318938 3360 2271 0 364727 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1275752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 34747
/proc/meminfo: memFree=124150508/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1275752 CPUtime=2973.9 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265178 0 0 0 297210 180 0 0 20 0 1 0 43589116 1515884544 318938 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 318938 3360 2271 0 364727 0
Current children cumulated CPU time: 2973.9 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1275752 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 34756
/proc/meminfo: memFree=124151464/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3033.72 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265224 0 0 0 303191 181 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3033.72 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3102.3 s]
/proc/loadavg: 4.36 4.16 4.12 5/263 34758
/proc/meminfo: memFree=124151376/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3093.54 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265367 0 0 0 309172 182 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3093.54 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 34761
/proc/meminfo: memFree=124151544/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3153.36 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265367 0 0 0 315153 183 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3153.36 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 34763
/proc/meminfo: memFree=124151204/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3213.18 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265368 0 0 0 321134 184 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3213.18 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 34765
/proc/meminfo: memFree=124151700/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3273 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265368 0 0 0 327115 185 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 34767
/proc/meminfo: memFree=124151840/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3332.83 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265511 0 0 0 333096 187 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3332.83 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 34769
/proc/meminfo: memFree=124151492/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3392.64 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265549 0 0 0 339077 187 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 34771
/proc/meminfo: memFree=124151124/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3452.46 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265551 0 0 0 345058 188 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/262 34773
/proc/meminfo: memFree=124151020/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3512.3 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265552 0 0 0 351040 190 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 34776
/proc/meminfo: memFree=124151164/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3572.12 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265639 0 0 0 357021 191 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 34829
/proc/meminfo: memFree=125694360/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3600.03 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265703 0 0 0 359812 191 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.13 s, system=1.91879 s

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

[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 34829
/proc/meminfo: memFree=125694360/131249996 swapFree=33010416/33010684
[pid=34514] ppid=34511 vsize=1480356 memory=1277800 CPUtime=3600.03 cores=1,3
/proc/34514/stat : 34514 (ExactPR-S) R 34511 34514 34355 0 -1 4194304 265703 0 0 0 359812 191 0 0 20 0 1 0 43589116 1515884544 319450 18446744073709551615 94861654851584 94861664151621 140733384502448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94861665937728 94861665976808 94861681795072 140733384505729 140733384505866 140733384505866 140733384511468 0
/proc/34514/statm: 370089 319450 3360 2271 0 364727 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1480356 KiB
Current children cumulated memory: 1277800 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.05
CPU user time (s): 3598.13
CPU system time (s): 1.91879
CPU usage (%): 99.7157
Max. virtual memory (cumulated for all children) (KiB): 1791704
Max. memory (cumulated for all children) (KiB): 1313452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.13
system time used= 1.91879
maximum resident set size= 1313452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265719
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= 175
involuntary context switches= 3027


# summary of solver processes directly reported to runsolver:
#   pid: 34514
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.13
#   total CPU system time (s): 1.91879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67192 second user time and 15.2361 second system time

The end