runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (10364 MiB free)
memory of node 1: 16384 MiB (14713 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300180-1532795705/watcher-4300180-1532795705 -o /tmp/evaluation-result-4300180-1532795705/solver-4300180-1532795705 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532776103-29943 --watchdog 2580 nacre_mini_release HOME/instance-4300180-1532795705.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32295, runsolver pid=32292
[startup+0.100196 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25674692/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=32428 memory=8620 CPUtime=0.1 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 2625 0 0 0 10 0 0 0 20 0 1 0 97133620 33206272 2155 33554432000 4194304 4933779 140729959904064 140729959901064 139776179076069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 8107 2155 619 181 0 1724 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32428 KiB
Current children cumulated memory: 8620 KiB
[startup+0.209698 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25673576/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=33484 memory=9676 CPUtime=0.21 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 2894 0 0 0 21 0 0 0 20 0 1 0 97133620 34287616 2419 33554432000 4194304 4933779 140729959904064 140729959901064 139776179076069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 8371 2419 619 181 0 1988 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33484 KiB
Current children cumulated memory: 9676 KiB
[startup+0.309236 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25672832/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=34540 memory=10732 CPUtime=0.31 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3155 0 0 0 31 0 0 0 20 0 1 0 97133620 35368960 2683 33554432000 4194304 4933779 140729959904064 140729959901064 4393171 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 8635 2683 619 181 0 2252 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34540 KiB
Current children cumulated memory: 10732 KiB
[startup+0.700351 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25670964/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=37624 memory=13636 CPUtime=0.69 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3926 0 0 0 69 0 0 0 20 0 1 0 97133620 38526976 3409 33554432000 4194304 4933779 140729959904064 140729959901064 4472608 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 9406 3409 619 181 0 3023 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37624 KiB
Current children cumulated memory: 13636 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25666432/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=45588 memory=21556 CPUtime=1.49 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 5904 0 0 0 149 0 0 0 20 0 1 0 97133620 46682112 5389 33554432000 4194304 4933779 140729959904064 140729959901816 139776179076069 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 11397 5389 619 181 0 5014 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45588 KiB
Current children cumulated memory: 21556 KiB
[startup+3.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25643248/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=64732 memory=40576 CPUtime=3.1 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 16364 0 0 0 309 1 0 0 20 0 1 0 97133620 66285568 10144 33554432000 4194304 4933779 140729959904064 140729959901624 4393171 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 16183 10144 619 181 0 9800 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 64732 KiB
Current children cumulated memory: 40576 KiB
[startup+6.30038 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25623624/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=85284 memory=61312 CPUtime=6.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 32759 0 0 0 626 3 0 0 20 0 1 0 97133620 87330816 15328 33554432000 4194304 4933779 140729959904064 140729959901832 4388720 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 21321 15328 619 181 0 14938 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 85284 KiB
Current children cumulated memory: 61312 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25557284/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=150340 memory=126072 CPUtime=12.69 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 65720 0 0 0 1263 6 0 0 20 0 1 0 97133620 153948160 31518 33554432000 4194304 4933779 140729959904064 140729959901752 4437536 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 37585 31518 619 181 0 31202 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 150340 KiB
Current children cumulated memory: 126072 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32296
/proc/meminfo: memFree=25525828/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=177844 memory=153640 CPUtime=25.48 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 118411 0 0 0 2538 10 0 0 20 0 1 0 97133620 182112256 38410 33554432000 4194304 4933779 140729959904064 140729959901576 4475748 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 44461 38410 619 181 0 38078 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 177844 KiB
Current children cumulated memory: 153640 KiB
[startup+51.1095 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 32296
/proc/meminfo: memFree=25446840/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=255284 memory=231300 CPUtime=51.1 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 180508 0 0 0 5093 17 0 0 20 0 1 0 97133620 261410816 57825 33554432000 4194304 4933779 140729959904064 140729959901816 4437536 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 63821 57825 619 181 0 57438 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 255284 KiB
Current children cumulated memory: 231300 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 32297
/proc/meminfo: memFree=25371560/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=326344 memory=301096 CPUtime=102.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 247137 0 0 0 10205 24 0 0 20 0 1 0 97133620 334176256 75274 33554432000 4194304 4933779 140729959904064 140729959901752 4475748 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 81586 75274 619 181 0 75203 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 326344 KiB
Current children cumulated memory: 301096 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 32298
/proc/meminfo: memFree=25293148/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=399964 memory=374304 CPUtime=162.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 317034 0 0 0 16198 31 0 0 20 0 1 0 97133620 409563136 93576 33554432000 4194304 4933779 140729959904064 140729959901768 4437538 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 99991 93576 619 181 0 93608 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 399964 KiB
Current children cumulated memory: 374304 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32299
/proc/meminfo: memFree=25136276/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=554876 memory=529312 CPUtime=222.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 380234 0 0 0 22192 37 0 0 20 0 1 0 97133620 568193024 132328 33554432000 4194304 4933779 140729959904064 140729959901768 4335693 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 138719 132328 619 181 0 132336 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 554876 KiB
Current children cumulated memory: 529312 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32300
/proc/meminfo: memFree=24773448/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=904592 memory=879024 CPUtime=282.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 551788 0 0 0 28172 57 0 0 20 0 1 0 97133620 926302208 219756 33554432000 4194304 4933779 140729959904064 140729959901752 4393117 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 226148 219756 619 181 0 219765 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 904592 KiB
Current children cumulated memory: 879024 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32309
/proc/meminfo: memFree=24270128/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=1395416 memory=1370124 CPUtime=342.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 773336 0 0 0 34151 78 0 0 20 0 1 0 97133620 1428905984 342531 33554432000 4194304 4933779 140729959904064 140729959901768 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 348854 342531 619 181 0 342471 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 1395416 KiB
Current children cumulated memory: 1370124 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32310
/proc/meminfo: memFree=24124916/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=1531612 memory=1506340 CPUtime=402.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 899209 0 0 0 40141 88 0 0 20 0 1 0 97133620 1568370688 376585 33554432000 4194304 4933779 140729959904064 140729959901752 4388743 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 382903 376585 619 181 0 376520 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 1531612 KiB
Current children cumulated memory: 1506340 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32311
/proc/meminfo: memFree=24118744/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=1532596 memory=1507472 CPUtime=462.29 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 989522 0 0 0 46133 96 0 0 20 0 1 0 97133620 1569378304 376868 33554432000 4194304 4933779 140729959904064 140729959901752 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 383149 376868 619 181 0 376766 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 1532596 KiB
Current children cumulated memory: 1507472 KiB
################
# More data... #
################
/proc/32295/statm: 618252 611561 619 181 0 611869 0
Current children cumulated CPU time: 1722.01 s
Current children cumulated vsize: 2473008 KiB
Current children cumulated memory: 2446244 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32495
/proc/meminfo: memFree=24133084/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2473264 memory=2446884 CPUtime=1782.01 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3235352 0 0 0 177912 289 0 0 20 0 1 0 97133620 2532622336 611721 33554432000 4194304 4933779 140729959904064 140729959901752 4437445 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 618316 611721 619 181 0 611933 0
Current children cumulated CPU time: 1782.01 s
Current children cumulated vsize: 2473264 KiB
Current children cumulated memory: 2446884 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32496
/proc/meminfo: memFree=24129428/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2473524 memory=2447160 CPUtime=1842 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3261126 0 0 0 183908 292 0 0 20 0 1 0 97133620 2532888576 611790 33554432000 4194304 4933779 140729959904064 140729959901752 4393117 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 618381 611790 619 181 0 611998 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 2473524 KiB
Current children cumulated memory: 2447160 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32497
/proc/meminfo: memFree=24126112/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2473524 memory=2447244 CPUtime=1901.98 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3275602 0 0 0 189905 293 0 0 20 0 1 0 97133620 2532888576 611811 33554432000 4194304 4933779 140729959904064 140729959901752 4437558 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 618381 611811 619 181 0 611998 0
Current children cumulated CPU time: 1901.98 s
Current children cumulated vsize: 2473524 KiB
Current children cumulated memory: 2447244 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32498
/proc/meminfo: memFree=24122552/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2474376 memory=2447856 CPUtime=1961.97 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3288303 0 0 0 195902 295 0 0 20 0 1 0 97133620 2533761024 611964 33554432000 4194304 4933779 140729959904064 140729959901576 4393131 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 618594 611964 619 181 0 612211 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 2474376 KiB
Current children cumulated memory: 2447856 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32499
/proc/meminfo: memFree=24117868/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2475008 memory=2448472 CPUtime=2021.96 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3295428 0 0 0 201900 296 0 0 20 0 1 0 97133620 2534408192 612118 33554432000 4194304 4933779 140729959904064 140729959901752 4422688 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 618752 612118 619 181 0 612369 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 2475008 KiB
Current children cumulated memory: 2448472 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 32500
/proc/meminfo: memFree=24112200/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2475140 memory=2449884 CPUtime=2081.95 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3298356 0 0 0 207899 296 0 0 20 0 1 0 97133620 2534543360 612471 33554432000 4194304 4933779 140729959904064 140729959901752 139776179938306 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 618785 612471 619 181 0 612402 0
Current children cumulated CPU time: 2081.95 s
Current children cumulated vsize: 2475140 KiB
Current children cumulated memory: 2449884 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32509
/proc/meminfo: memFree=24109464/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2475272 memory=2449960 CPUtime=2141.95 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3300652 0 0 0 213899 296 0 0 20 0 1 0 97133620 2534678528 612490 33554432000 4194304 4933779 140729959904064 140729959901752 4393171 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 618818 612490 619 181 0 612435 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 2475272 KiB
Current children cumulated memory: 2449960 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32510
/proc/meminfo: memFree=24102300/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2479052 memory=2453788 CPUtime=2201.95 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3304217 0 0 0 219899 296 0 0 20 0 1 0 97133620 2538549248 613447 33554432000 4194304 4933779 140729959904064 140729959901816 4393117 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 619763 613447 619 181 0 613380 0
Current children cumulated CPU time: 2201.95 s
Current children cumulated vsize: 2479052 KiB
Current children cumulated memory: 2453788 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32511
/proc/meminfo: memFree=24072272/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2505052 memory=2479664 CPUtime=2261.96 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3316755 0 0 0 225898 298 0 0 20 0 1 0 97133620 2565173248 619916 33554432000 4194304 4933779 140729959904064 140729959901768 4437536 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 626263 619916 619 181 0 619880 0
Current children cumulated CPU time: 2261.96 s
Current children cumulated vsize: 2505052 KiB
Current children cumulated memory: 2479664 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 32512
/proc/meminfo: memFree=23972084/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2604744 memory=2579100 CPUtime=2321.96 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3352446 0 0 0 231893 303 0 0 20 0 1 0 97133620 2667257856 644775 33554432000 4194304 4933779 140729959904064 140729959901816 4393171 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 651186 644775 619 181 0 644803 0
Current children cumulated CPU time: 2321.96 s
Current children cumulated vsize: 2604744 KiB
Current children cumulated memory: 2579100 KiB
[startup+2382.3 s]
/proc/loadavg: 2.12 2.03 2.05 3/188 32513
/proc/meminfo: memFree=23698536/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2871828 memory=2846300 CPUtime=2381.95 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3442688 0 0 0 237880 315 0 0 20 0 1 0 97133620 2940751872 711575 33554432000 4194304 4933779 140729959904064 140729959901816 4475728 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 717957 711575 619 181 0 711574 0
Current children cumulated CPU time: 2381.95 s
Current children cumulated vsize: 2871828 KiB
Current children cumulated memory: 2846300 KiB
[startup+2442.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 32514
/proc/meminfo: memFree=23695208/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2872428 memory=2846780 CPUtime=2441.95 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3472965 0 0 0 243876 319 0 0 20 0 1 0 97133620 2941366272 711695 33554432000 4194304 4933779 140729959904064 140729959901752 4422760 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 718107 711695 619 181 0 711724 0
Current children cumulated CPU time: 2441.95 s
Current children cumulated vsize: 2872428 KiB
Current children cumulated memory: 2846780 KiB
[startup+2502.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/187 32515
/proc/meminfo: memFree=23691992/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2873500 memory=2847696 CPUtime=2501.95 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3509822 0 0 0 249872 323 0 0 20 0 1 0 97133620 2942464000 711924 33554432000 4194304 4933779 140729959904064 140729959901576 4437581 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 718375 711924 619 181 0 711992 0
Current children cumulated CPU time: 2501.95 s
Current children cumulated vsize: 2873500 KiB
Current children cumulated memory: 2847696 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.07 2.05 2.05 3/187 32515
/proc/meminfo: memFree=23691372/32770624 swapFree=67028328/67108860
[pid=32295] ppid=32292 vsize=2874140 memory=2848244 CPUtime=2519.66 cores=0,2,4,6
/proc/32295/stat : 32295 (nacre_mini_rele) R 32292 32295 29912 0 -1 4202496 3527798 0 0 0 251641 325 0 0 20 0 1 0 97133620 2943119360 712061 33554432000 4194304 4933779 140729959904064 140729959901576 4437547 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 17399808 140729959908504 140729959908604 140729959908604 140729959911362 0
/proc/32295/statm: 718535 712061 619 181 0 712152 0
Current children cumulated CPU time: 2519.66 s
Current children cumulated vsize: 2874140 KiB
Current children cumulated memory: 2848244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.05 s]
# the end of solver process 32295 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.42 s, system=3.29404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.05
CPU time (s): 2519.71
CPU user time (s): 2516.42
CPU system time (s): 3.29404
CPU usage (%): 99.9866
Max. virtual memory (cumulated for all children) (KiB): 2874140
Max. memory (cumulated for all children) (KiB): 2848244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.42
system time used= 3.29404
maximum resident set size= 2848300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3527850
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= 824
involuntary context switches= 1522
# summary of solver processes directly reported to runsolver:
# pid: 32295
# total CPU time (s): 2519.71
# total CPU user time (s): 2516.42
# total CPU system time (s): 3.29404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0356 second user time and 18.3273 second system time
The end