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 (15348 MiB free)
memory of node 1: 16384 MiB (11084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389866-1568322618/watcher-4389866-1568322618 -o /tmp/evaluation-result-4389866-1568322618/solver-4389866-1568322618 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14143 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389866-1568322618.xml
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
solver pid=16008, runsolver pid=16005
Current StackSize limit: 8192 KiB
[startup+0.100209 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=27064472/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=28724 memory=5008 CPUtime=0.1 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 1471 0 0 0 10 0 0 0 20 0 1 0 408520251 29413376 1252 33554432000 4194304 6210612 140732976214416 140732976210952 139895962377189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 7181 1252 844 493 0 486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 5008 KiB
[startup+0.209592 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=27062240/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=30140 memory=6328 CPUtime=0.21 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 1809 0 0 0 21 0 0 0 20 0 1 0 408520251 30863360 1582 33554432000 4194304 6210612 140732976214416 140732976210952 5446115 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 7535 1582 845 493 0 840 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30140 KiB
Current children cumulated memory: 6328 KiB
[startup+0.309075 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=27059884/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=31412 memory=7712 CPUtime=0.31 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 2115 0 0 0 31 0 0 0 20 0 1 0 408520251 32165888 1928 33554432000 4194304 6210612 140732976214416 140732976210952 139895962377189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 7853 1928 845 493 0 1158 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31412 KiB
Current children cumulated memory: 7712 KiB
[startup+0.700341 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=27054676/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=36216 memory=12360 CPUtime=0.69 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 3296 0 0 0 69 0 0 0 20 0 1 0 408520251 37085184 3090 33554432000 4194304 6210612 140732976214416 140732976210952 139895962377189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 9054 3090 845 493 0 2359 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36216 KiB
Current children cumulated memory: 12360 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=27043020/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=46004 memory=22388 CPUtime=1.49 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 5772 0 0 0 149 0 0 0 20 0 1 0 408520251 47108096 5597 33554432000 4194304 6210612 140732976214416 140732976196584 5446104 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 11501 5597 845 493 0 4806 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46004 KiB
Current children cumulated memory: 22388 KiB
[startup+3.10946 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=26993048/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=66080 memory=42288 CPUtime=3.1 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 10803 0 0 0 309 1 0 0 20 0 1 0 408520251 67665920 10572 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 16520 10572 845 493 0 9825 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 66080 KiB
Current children cumulated memory: 42288 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=26917080/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=106232 memory=81748 CPUtime=6.29 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 20737 0 0 0 626 3 0 0 20 0 1 0 408520251 108781568 20437 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 26558 20437 845 493 0 19863 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 106232 KiB
Current children cumulated memory: 81748 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=26764056/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=187304 memory=161016 CPUtime=12.69 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 40604 0 0 0 1264 5 0 0 20 0 1 0 408520251 191799296 40254 33554432000 4194304 6210612 140732976214416 140732976196584 5446119 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 46826 40254 845 493 0 40131 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 187304 KiB
Current children cumulated memory: 161016 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16009
/proc/meminfo: memFree=26434600/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=343696 memory=319680 CPUtime=25.49 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 79322 0 0 0 2538 11 0 0 20 0 1 0 408520251 351944704 79920 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 85924 79920 845 493 0 79229 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 343696 KiB
Current children cumulated memory: 319680 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16011
/proc/meminfo: memFree=25774428/32770624 swapFree=66934728/67108860
[pid=16008] ppid=16005 vsize=665000 memory=637896 CPUtime=51.1 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 155849 0 0 0 5090 20 0 0 20 0 1 0 408520251 680960000 159474 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 166250 159474 845 493 0 159555 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 665000 KiB
Current children cumulated memory: 637896 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16023
/proc/meminfo: memFree=24480064/32770624 swapFree=66934744/67108860
[pid=16008] ppid=16005 vsize=1311544 memory=1271944 CPUtime=102.29 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 308233 0 0 0 10191 38 0 0 20 0 1 0 408520251 1343021056 317986 33554432000 4194304 6210612 140732976214416 140732976196584 5451435 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 327886 317986 845 493 0 321191 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1311544 KiB
Current children cumulated memory: 1271944 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16027
/proc/meminfo: memFree=22958380/32770624 swapFree=66934744/67108860
[pid=16008] ppid=16005 vsize=2058464 memory=2014780 CPUtime=162.29 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 486279 0 0 0 16167 62 0 0 20 0 1 0 408520251 2107867136 503695 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 514616 503695 845 493 0 507921 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2058464 KiB
Current children cumulated memory: 2014780 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16033
/proc/meminfo: memFree=21437144/32770624 swapFree=66934744/67108860
[pid=16008] ppid=16005 vsize=2823496 memory=2757260 CPUtime=222.3 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 664319 0 0 0 22142 88 0 0 20 0 1 0 408520251 2891259904 689315 33554432000 4194304 6210612 140732976214416 140732976196584 5452063 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 705874 689315 845 493 0 699179 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2823496 KiB
Current children cumulated memory: 2757260 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16037
/proc/meminfo: memFree=19917116/32770624 swapFree=66934744/67108860
[pid=16008] ppid=16005 vsize=3534568 memory=3500264 CPUtime=282.3 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 841966 0 0 0 28119 111 0 0 20 0 1 0 408520251 3619397632 875066 33554432000 4194304 6210612 140732976214416 140732976196584 5446119 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 883642 875066 845 493 0 876947 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 3534568 KiB
Current children cumulated memory: 3500264 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16041
/proc/meminfo: memFree=18394540/32770624 swapFree=66934744/67108860
[pid=16008] ppid=16005 vsize=4326848 memory=4244144 CPUtime=342.3 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 1020366 0 0 0 34094 136 0 0 20 0 1 0 408520251 4430692352 1061036 33554432000 4194304 6210612 140732976214416 140732976196584 5451340 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 1081712 1061036 845 493 0 1075017 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 4326848 KiB
Current children cumulated memory: 4244144 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16047
/proc/meminfo: memFree=16873304/32770624 swapFree=66934744/67108860
[pid=16008] ppid=16005 vsize=5038112 memory=4986780 CPUtime=402.31 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 1198003 0 0 0 40072 159 0 0 20 0 1 0 408520251 5159026688 1246695 33554432000 4194304 6210612 140732976214416 140732976196584 5453754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 1259528 1246695 845 493 0 1252833 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 5038112 KiB
Current children cumulated memory: 4986780 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 16051
/proc/meminfo: memFree=15351956/32770624 swapFree=66934744/67108860
[pid=16008] ppid=16005 vsize=5871784 memory=5729432 CPUtime=462.32 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 1376134 0 0 0 46048 184 0 0 20 0 1 0 408520251 6012706816 1432358 33554432000 4194304 6210612 140732976214416 140732976196584 139895963303371 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 1467946 1432358 845 493 0 1461251 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 5871784 KiB
Current children cumulated memory: 5729432 KiB
################
# More data... #
################
Current children cumulated vsize: 8000884 KiB
Current children cumulated memory: 7957984 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16077
/proc/meminfo: memFree=9268852/32770624 swapFree=66934752/67108860
[pid=16008] ppid=16005 vsize=8896052 memory=8698300 CPUtime=702.34 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 2086366 0 0 0 69938 296 0 0 20 0 1 0 408520251 9109557248 2174575 33554432000 4194304 6210612 140732976214416 140732976196584 139895963300711 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 2224013 2174575 845 493 0 2217318 0
Current children cumulated CPU time: 702.34 s
Current children cumulated vsize: 8896052 KiB
Current children cumulated memory: 8698300 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16083
/proc/meminfo: memFree=7749376/32770624 swapFree=66934752/67108860
[pid=16008] ppid=16005 vsize=9608696 memory=9439784 CPUtime=762.33 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 2263740 0 0 0 75905 328 0 0 20 0 1 0 408520251 9839304704 2359946 33554432000 4194304 6210612 140732976214416 140732976196584 5440960 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 2402174 2359946 845 493 0 2395479 0
Current children cumulated CPU time: 762.33 s
Current children cumulated vsize: 9608696 KiB
Current children cumulated memory: 9439784 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16087
/proc/meminfo: memFree=6229096/32770624 swapFree=66934752/67108860
[pid=16008] ppid=16005 vsize=10317008 memory=10184180 CPUtime=822.34 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 2441351 0 0 0 81875 359 0 0 20 0 1 0 408520251 10564616192 2546045 33554432000 4194304 6210612 140732976214416 140732976196584 5442951 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 2579252 2546045 845 493 0 2572557 0
Current children cumulated CPU time: 822.34 s
Current children cumulated vsize: 10317008 KiB
Current children cumulated memory: 10184180 KiB
[startup+882.3 s]
/proc/loadavg: 2.46 2.17 2.10 3/200 16156
/proc/meminfo: memFree=20762516/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=11024528 memory=10924352 CPUtime=882.33 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 2618451 0 0 0 87840 393 0 0 20 0 1 0 408520251 11289116672 2731088 33554432000 4194304 6210612 140732976214416 140732976196584 5012647 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 2756132 2731088 845 493 0 2749437 0
Current children cumulated CPU time: 882.33 s
Current children cumulated vsize: 11024528 KiB
Current children cumulated memory: 10924352 KiB
[startup+942.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/201 16226
/proc/meminfo: memFree=20016644/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=11732048 memory=11664836 CPUtime=942.31 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 2795675 0 0 0 93807 424 0 0 20 0 1 0 408520251 12013617152 2916209 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 2933012 2916209 845 493 0 2926317 0
Current children cumulated CPU time: 942.31 s
Current children cumulated vsize: 11732048 KiB
Current children cumulated memory: 11664836 KiB
[startup+1002.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/199 16231
/proc/meminfo: memFree=19275484/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=12439436 memory=12405712 CPUtime=1002.29 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 2972947 0 0 0 99771 458 0 0 20 0 1 0 408520251 12737982464 3101428 33554432000 4194304 6210612 140732976214416 140732976196584 139895963297680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3109859 3101428 845 493 0 3103164 0
Current children cumulated CPU time: 1002.29 s
Current children cumulated vsize: 12439436 KiB
Current children cumulated memory: 12405712 KiB
[startup+1062.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/200 16236
/proc/meminfo: memFree=18530628/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=13435188 memory=13149132 CPUtime=1062.27 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 3150839 0 0 0 105737 490 0 0 20 0 1 0 408520251 13757632512 3287283 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3358797 3287283 845 493 0 3352102 0
Current children cumulated CPU time: 1062.27 s
Current children cumulated vsize: 13435188 KiB
Current children cumulated memory: 13149132 KiB
[startup+1122.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/201 16242
/proc/meminfo: memFree=17788780/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=14142708 memory=13889532 CPUtime=1122.26 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 3327974 0 0 0 111704 522 0 0 20 0 1 0 408520251 14482132992 3472383 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3535677 3472383 845 493 0 3528982 0
Current children cumulated CPU time: 1122.26 s
Current children cumulated vsize: 14142708 KiB
Current children cumulated memory: 13889532 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 16247
/proc/meminfo: memFree=17047288/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=14850228 memory=14629844 CPUtime=1182.24 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 3505032 0 0 0 117669 555 0 0 20 0 1 0 408520251 15206633472 3657461 33554432000 4194304 6210612 140732976214416 140732976196584 5478214 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3712557 3657461 845 493 0 3705862 0
Current children cumulated CPU time: 1182.24 s
Current children cumulated vsize: 14850228 KiB
Current children cumulated memory: 14629844 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 16251
/proc/meminfo: memFree=16304448/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=15557880 memory=15372288 CPUtime=1242.23 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 3682203 0 0 0 123633 590 0 0 20 0 1 0 408520251 15931269120 3843072 33554432000 4194304 6210612 140732976214416 140732976196584 5452066 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3889470 3843072 845 493 0 3882775 0
Current children cumulated CPU time: 1242.23 s
Current children cumulated vsize: 15557880 KiB
Current children cumulated memory: 15372288 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1269 s]*
/proc/loadavg: 2.00 2.05 2.06 3/199 16255
/proc/meminfo: memFree=15969632/32770624 swapFree=66935260/67108860
[pid=16008] ppid=16005 vsize=15872700 memory=15701456 CPUtime=1268.94 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) R 16005 16008 14112 0 -1 4202496 3760994 0 0 0 126285 609 0 0 20 0 1 0 408520251 16253644800 3925364 33554432000 4194304 6210612 140732976214416 140732976196584 139895962377189 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3968175 3925364 845 493 0 3961480 0
Current children cumulated CPU time: 1268.94 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15701456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1271.86 s]
# the end of solver process 16008 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1263.14 s, system=6.971 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1270.4 s]
/proc/loadavg: 2.00 2.05 2.06 4/200 16256
/proc/meminfo: memFree=15453776/32770624 swapFree=66935264/67108860
[pid=16008] ppid=16005 vsize=15872700 memory=15701456 CPUtime=1269.16 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) S 16005 16008 14112 0 -1 512 3761000 0 0 0 126305 611 0 0 20 0 1 0 408520251 16253644800 3925364 33554432000 4194304 6210612 140732976214416 140732976196584 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 0 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3968175 3925364 845 493 0 3961480 0
Current children cumulated CPU time: 1269.16 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15701456 KiB
[startup+1270.8 s]
/proc/loadavg: 2.00 2.05 2.06 4/200 16256
/proc/meminfo: memFree=15453776/32770624 swapFree=66935264/67108860
[pid=16008] ppid=16005 vsize=15872700 memory=15701456 CPUtime=1269.23 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) S 16005 16008 14112 0 -1 512 3761000 0 0 0 126311 612 0 0 20 0 1 0 408520251 16253644800 3925364 33554432000 4194304 6210612 140732976214416 140732976196584 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3968175 3925364 845 493 0 3961480 0
Current children cumulated CPU time: 1269.23 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15701456 KiB
[startup+1271 s]*
/proc/loadavg: 2.00 2.05 2.06 3/200 16256
/proc/meminfo: memFree=14928024/32770624 swapFree=66935264/67108860
[pid=16008] ppid=16005 vsize=15872700 memory=15701456 CPUtime=1269.26 cores=0,2,4,6
/proc/16008/stat : 16008 (cosoco) S 16005 16008 14112 0 -1 512 3761000 0 0 0 126314 612 0 0 20 0 1 0 408520251 16253644800 3925364 33554432000 4194304 6210612 140732976214416 140732976196584 5188952 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8308220 8313664 40632320 140732976219147 140732976219249 140732976219249 140732976222158 0
/proc/16008/statm: 3968175 3925364 845 493 0 3961480 0
Current children cumulated CPU time: 1269.26 s
Current children cumulated vsize: 15872700 KiB
Current children cumulated memory: 15701456 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1271.86
CPU time (s): 1270.11
CPU user time (s): 1263.14
CPU system time (s): 6.971
CPU usage (%): 99.8626
Max. virtual memory (cumulated for all children) (KiB): 15872700
Max. memory (cumulated for all children) (KiB): 15701456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1263.14
system time used= 6.971
maximum resident set size= 15701592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761000
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= 126016
involuntary context switches= 1573
# summary of solver processes directly reported to runsolver:
# pid: 16008
# total CPU time (s): 1270.11
# total CPU user time (s): 1263.14
# total CPU system time (s): 6.971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47505 second user time and 8.91128 second system time
The end