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 (15090 MiB free)
memory of node 1: 16384 MiB (15380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391736-1568305700/watcher-4391736-1568305700 -o /tmp/evaluation-result-4391736-1568305700/solver-4391736-1568305700 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568305658-21707 --watchdog 2560 nacre_mini_release HOME/instance-4391736-1568305700.xml -complete -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=21920, runsolver pid=21917
[startup+0.100149 s]*
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31196248/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=33224 memory=9504 CPUtime=0.1 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 2845 0 0 0 10 0 0 0 20 0 1 0 406841487 34021376 2376 33554432000 4194304 4935366 140728736243696 140728736240696 139810795359205 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 8306 2376 611 181 0 1923 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33224 KiB
Current children cumulated memory: 9504 KiB
[startup+0.209841 s]*
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31195504/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=34016 memory=10296 CPUtime=0.21 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 3036 0 0 0 21 0 0 0 20 0 1 0 406841487 34832384 2574 33554432000 4194304 4935366 140728736243696 140728736240696 4483861 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 8504 2574 611 181 0 2121 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34016 KiB
Current children cumulated memory: 10296 KiB
[startup+0.309417 s]*
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31195264/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=34148 memory=10296 CPUtime=0.31 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 3074 0 0 0 31 0 0 0 20 0 1 0 406841487 34967552 2574 33554432000 4194304 4935366 140728736243696 140728736240696 139810795359205 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 8537 2574 611 181 0 2154 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34148 KiB
Current children cumulated memory: 10296 KiB
[startup+0.70028 s]
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31193568/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=35600 memory=11880 CPUtime=0.69 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 3443 0 0 0 69 0 0 0 20 0 1 0 406841487 36454400 2970 33554432000 4194304 4935366 140728736243696 140728736240696 4382288 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 8900 2970 611 181 0 2517 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35600 KiB
Current children cumulated memory: 11880 KiB
[startup+1.50029 s]
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31193152/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=36260 memory=12408 CPUtime=1.49 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 3588 0 0 0 149 0 0 0 20 0 1 0 406841487 37130240 3102 33554432000 4194304 4935366 140728736243696 140728736240840 139810795368388 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9065 3102 611 181 0 2682 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36260 KiB
Current children cumulated memory: 12408 KiB
[startup+3.1096 s]
/proc/loadavg: 1.15 1.61 1.87 3/200 21921
/proc/meminfo: memFree=31190996/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=36656 memory=12912 CPUtime=3.1 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 5954 0 0 0 310 0 0 0 20 0 1 0 406841487 37535744 3228 33554432000 4194304 4935366 140728736243696 140728736241128 139810796285351 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9164 3228 611 181 0 2781 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36656 KiB
Current children cumulated memory: 12912 KiB
[startup+6.30027 s]
/proc/loadavg: 1.06 1.58 1.86 3/200 21921
/proc/meminfo: memFree=31189808/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=36788 memory=12980 CPUtime=6.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 8361 0 0 0 629 0 0 0 20 0 1 0 406841487 37670912 3245 33554432000 4194304 4935366 140728736243696 140728736240744 4382321 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9197 3245 611 181 0 2814 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 36788 KiB
Current children cumulated memory: 12980 KiB
[startup+12.7003 s]
/proc/loadavg: 1.13 1.59 1.86 3/200 21921
/proc/meminfo: memFree=31189808/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=36920 memory=13128 CPUtime=12.69 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 10808 0 0 0 1269 0 0 0 20 0 1 0 406841487 37806080 3282 33554432000 4194304 4935366 140728736243696 140728736241128 4383061 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9230 3282 611 181 0 2847 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 36920 KiB
Current children cumulated memory: 13128 KiB
[startup+25.5003 s]
/proc/loadavg: 1.33 1.61 1.86 3/200 21924
/proc/meminfo: memFree=31188384/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=37052 memory=13424 CPUtime=25.48 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 15758 0 0 0 2548 0 0 0 20 0 1 0 406841487 37941248 3356 33554432000 4194304 4935366 140728736243696 140728736240840 4383234 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9263 3356 611 181 0 2880 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 37052 KiB
Current children cumulated memory: 13424 KiB
[startup+51.1094 s]
/proc/loadavg: 1.42 1.61 1.86 3/200 21924
/proc/meminfo: memFree=31185792/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=38108 memory=14424 CPUtime=51.1 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 18582 0 0 0 5109 1 0 0 20 0 1 0 406841487 39022592 3606 33554432000 4194304 4935366 140728736243696 140728736241032 4383051 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9527 3606 611 181 0 3144 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 38108 KiB
Current children cumulated memory: 14424 KiB
[startup+102.3 s]
/proc/loadavg: 1.75 1.67 1.87 3/200 21928
/proc/meminfo: memFree=31182532/32770624 swapFree=66933156/67108860
[pid=21920] ppid=21917 vsize=38636 memory=14964 CPUtime=102.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 21605 0 0 0 10228 1 0 0 20 0 1 0 406841487 39563264 3741 33554432000 4194304 4935366 140728736243696 140728736240744 4382252 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9659 3741 611 181 0 3276 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 38636 KiB
Current children cumulated memory: 14964 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.73 1.87 3/202 21943
/proc/meminfo: memFree=31176632/32770624 swapFree=66933164/67108860
[pid=21920] ppid=21917 vsize=38768 memory=15072 CPUtime=162.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 22168 0 0 0 16228 1 0 0 20 0 1 0 406841487 39698432 3768 33554432000 4194304 4935366 140728736243696 140728736240744 4484112 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9692 3768 611 181 0 3309 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 38768 KiB
Current children cumulated memory: 15072 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.78 1.88 3/202 21947
/proc/meminfo: memFree=31175576/32770624 swapFree=66933164/67108860
[pid=21920] ppid=21917 vsize=38900 memory=15164 CPUtime=222.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 22739 0 0 0 22228 1 0 0 20 0 1 0 406841487 39833600 3791 33554432000 4194304 4935366 140728736243696 140728736240840 4383037 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9725 3791 611 181 0 3342 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 15164 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.83 1.89 3/201 21951
/proc/meminfo: memFree=31171548/32770624 swapFree=66933164/67108860
[pid=21920] ppid=21917 vsize=38900 memory=15212 CPUtime=282.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 23064 0 0 0 28228 1 0 0 20 0 1 0 406841487 39833600 3803 33554432000 4194304 4935366 140728736243696 140728736240840 139810795356780 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9725 3803 611 181 0 3342 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 15212 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.86 1.89 3/201 21957
/proc/meminfo: memFree=31170616/32770624 swapFree=66933164/67108860
[pid=21920] ppid=21917 vsize=38900 memory=15216 CPUtime=342.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 23388 0 0 0 34228 1 0 0 20 0 1 0 406841487 39833600 3804 33554432000 4194304 4935366 140728736243696 140728736240840 4211168 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9725 3804 611 181 0 3342 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 15216 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.89 1.90 3/201 21961
/proc/meminfo: memFree=31169700/32770624 swapFree=66933164/67108860
[pid=21920] ppid=21917 vsize=39032 memory=15244 CPUtime=402.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 23994 0 0 0 40228 1 0 0 20 0 1 0 406841487 39968768 3811 33554432000 4194304 4935366 140728736243696 140728736240840 139810795351735 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9758 3811 611 181 0 3375 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 15244 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.91 3/199 21965
/proc/meminfo: memFree=31168432/32770624 swapFree=66933164/67108860
[pid=21920] ppid=21917 vsize=39032 memory=15344 CPUtime=462.29 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 24606 0 0 0 46228 1 0 0 20 0 1 0 406841487 39968768 3836 33554432000 4194304 4935366 140728736243696 140728736240840 139810801652528 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9758 3836 611 181 0 3375 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 15344 KiB
################
# More data... #
################
/proc/21920/statm: 9791 3867 611 181 0 3408 0
Current children cumulated CPU time: 1602.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15468 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 22076
/proc/meminfo: memFree=31154048/32770624 swapFree=66933180/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15472 CPUtime=1662.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 33373 0 0 0 166230 2 0 0 20 0 1 0 406841487 40103936 3868 33554432000 4194304 4935366 140728736243696 140728736241128 139810795368380 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3868 611 181 0 3408 0
Current children cumulated CPU time: 1662.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15472 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/199 22080
/proc/meminfo: memFree=31153952/32770624 swapFree=66933180/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15476 CPUtime=1722.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 34008 0 0 0 172230 2 0 0 20 0 1 0 406841487 40103936 3869 33554432000 4194304 4935366 140728736243696 140728736241128 139810796282710 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3869 611 181 0 3408 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15476 KiB
[startup+1782.3 s]
/proc/loadavg: 2.25 2.08 1.99 3/199 22086
/proc/meminfo: memFree=31152744/32770624 swapFree=66933180/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15476 CPUtime=1782.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 34641 0 0 0 178230 2 0 0 20 0 1 0 406841487 40103936 3869 33554432000 4194304 4935366 140728736243696 140728736241128 4383583 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3869 611 181 0 3408 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15476 KiB
[startup+1842.3 s]
/proc/loadavg: 2.48 2.19 2.04 3/199 22091
/proc/meminfo: memFree=31153240/32770624 swapFree=66933184/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15476 CPUtime=1842.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 35279 0 0 0 184230 2 0 0 20 0 1 0 406841487 40103936 3869 33554432000 4194304 4935366 140728736243696 140728736241128 4483817 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3869 611 181 0 3408 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15476 KiB
[startup+1902.3 s]
/proc/loadavg: 2.18 2.16 2.04 3/199 22095
/proc/meminfo: memFree=31153504/32770624 swapFree=66933184/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15480 CPUtime=1902.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 35614 0 0 0 190230 2 0 0 20 0 1 0 406841487 40103936 3870 33554432000 4194304 4935366 140728736243696 140728736241128 4315077 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3870 611 181 0 3408 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15480 KiB
[startup+1962.3 s]
/proc/loadavg: 2.06 2.13 2.04 3/200 22109
/proc/meminfo: memFree=31152548/32770624 swapFree=66933196/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15480 CPUtime=1962.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 35943 0 0 0 196230 2 0 0 20 0 1 0 406841487 40103936 3870 33554432000 4194304 4935366 140728736243696 140728736241128 4483712 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3870 611 181 0 3408 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15480 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.10 2.04 3/201 22136
/proc/meminfo: memFree=31152824/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15480 CPUtime=2022.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 36271 0 0 0 202230 2 0 0 20 0 1 0 406841487 40103936 3870 33554432000 4194304 4935366 140728736243696 140728736241128 4483817 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3870 611 181 0 3408 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15480 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.09 2.04 3/201 22140
/proc/meminfo: memFree=31152564/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15480 CPUtime=2082.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 36597 0 0 0 208230 2 0 0 20 0 1 0 406841487 40103936 3870 33554432000 4194304 4935366 140728736243696 140728736241128 139810796282710 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3870 611 181 0 3408 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15480 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.07 2.04 3/201 22146
/proc/meminfo: memFree=31151104/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15480 CPUtime=2142.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 37228 0 0 0 214230 2 0 0 20 0 1 0 406841487 40103936 3870 33554432000 4194304 4935366 140728736243696 140728736241128 139810795356746 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3870 611 181 0 3408 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15480 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/201 22150
/proc/meminfo: memFree=31151248/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15480 CPUtime=2202.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 37558 0 0 0 220230 2 0 0 20 0 1 0 406841487 40103936 3870 33554432000 4194304 4935366 140728736243696 140728736241128 139810795356715 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3870 611 181 0 3408 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15480 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.06 2.04 3/200 22154
/proc/meminfo: memFree=31151292/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15480 CPUtime=2262.33 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 38195 0 0 0 226231 2 0 0 20 0 1 0 406841487 40103936 3870 33554432000 4194304 4935366 140728736243696 140728736241128 4383981 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3870 611 181 0 3408 0
Current children cumulated CPU time: 2262.33 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15480 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/199 22160
/proc/meminfo: memFree=31151188/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15484 CPUtime=2322.32 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 38829 0 0 0 232230 2 0 0 20 0 1 0 406841487 40103936 3871 33554432000 4194304 4935366 140728736243696 140728736241128 139810795351859 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3871 611 181 0 3408 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15484 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/199 22164
/proc/meminfo: memFree=31151224/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15484 CPUtime=2382.33 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 39098 0 0 0 238231 2 0 0 20 0 1 0 406841487 40103936 3871 33554432000 4194304 4935366 140728736243696 140728736241128 139810801533280 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3871 611 181 0 3408 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.04 2.04 6/202 22195
/proc/meminfo: memFree=31333668/32770624 swapFree=66933216/67108860
[pid=21920] ppid=21917 vsize=39164 memory=15484 CPUtime=2400.04 cores=0,2,4,6
/proc/21920/stat : 21920 (nacre_mini_rele) R 21917 21920 19999 0 -1 4202496 39477 0 0 0 240001 3 0 0 20 0 1 0 406841487 40103936 3871 33554432000 4194304 4935366 140728736243696 140728736241128 139810796279715 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 20824064 140728736248827 140728736248933 140728736248933 140728736251842 0
/proc/21920/statm: 9791 3871 611 181 0 3408 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 39164 KiB
Current children cumulated memory: 15484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 21920 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.02 s, system=0.033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.01
CPU time (s): 2400.05
CPU user time (s): 2400.02
CPU system time (s): 0.033
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 39164
Max. memory (cumulated for all children) (KiB): 15484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.033
maximum resident set size= 15528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39518
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= 10
involuntary context switches= 707
# summary of solver processes directly reported to runsolver:
# pid: 21920
# total CPU time (s): 2400.05
# total CPU user time (s): 2400.02
# total CPU system time (s): 0.033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.99137 second user time and 16.0982 second system time
The end