runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267562-1502542559/watcher-4267562-1502542559 -o /tmp/evaluation-result-4267562-1502542559/solver-4267562-1502542559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24508 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267562-1502542559.xml
pid=2249
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.05 2/185 2252
/proc/meminfo: memFree=30974472/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2252/stat : 2252 (runsolver) D 2249 2252 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101762280 24240128 106 18446744073709551615 4194304 4338465 140721228482832 140721228480472 140593191817943 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22278144 140721228488897 140721228489289 140721228489289 140721228492746 0
/proc/2252/statm: 5918 106 53 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 2.03 2.03 2.05 2/185 2252
/proc/meminfo: memFree=30974472/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=28576 CPUtime=0.01 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 1367 0 0 0 1 0 0 0 20 0 1 0 101762280 29261824 1170 18446744073709551615 4194304 5972588 140729446216128 140729446212776 140552618465904 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 7144 1170 711 435 0 507 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28576
[startup+0.200342 s]
/proc/loadavg: 2.03 2.03 2.05 2/185 2252
/proc/meminfo: memFree=30974472/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=31556 CPUtime=0.11 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 2153 0 0 0 11 0 0 0 20 0 1 0 101762280 32313344 1951 18446744073709551615 4194304 5972588 140729446216128 140729446212776 5338144 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 7889 1951 745 435 0 1252 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31556
[startup+0.300328 s]
/proc/loadavg: 2.03 2.03 2.05 2/185 2252
/proc/meminfo: memFree=30974472/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=34592 CPUtime=0.21 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 2926 0 0 0 21 0 0 0 20 0 1 0 101762280 35422208 2743 18446744073709551615 4194304 5972588 140729446216128 140729446212776 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 8648 2743 779 435 0 2011 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 34592
[startup+0.700279 s]
/proc/loadavg: 2.03 2.03 2.05 2/185 2252
/proc/meminfo: memFree=30974472/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=37364 CPUtime=0.61 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 3613 0 0 0 61 0 0 0 20 0 1 0 101762280 38260736 3403 18446744073709551615 4194304 5972588 140729446216128 140729446212776 5327769 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9341 3403 779 435 0 2704 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 37364
[startup+1.50029 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 2253
/proc/meminfo: memFree=30963572/32770624 swapFree=0/596092
[pid=2252] ppid=2249 vsize=38420 CPUtime=1.41 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 3883 0 0 0 141 0 0 0 20 0 1 0 101762280 39342080 3667 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5032455 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9605 3667 779 435 0 2968 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 38420
[startup+3.10027 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 2253
/proc/meminfo: memFree=30962828/32770624 swapFree=0/596092
[pid=2252] ppid=2249 vsize=38684 CPUtime=3.01 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 6455 0 0 0 301 0 0 0 20 0 1 0 101762280 39612416 3754 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9671 3754 779 435 0 3034 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 38684
[startup+6.30028 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 2253
/proc/meminfo: memFree=30962176/32770624 swapFree=0/596092
[pid=2252] ppid=2249 vsize=38948 CPUtime=6.21 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 9357 0 0 0 621 0 0 0 20 0 1 0 101762280 39882752 3836 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5338144 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9737 3836 779 435 0 3100 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 38948
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 2253
/proc/meminfo: memFree=30960928/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=38948 CPUtime=12.6 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 10166 0 0 0 1260 0 0 0 20 0 1 0 101762280 39882752 3841 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5046712 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9737 3841 779 435 0 3100 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 38948
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 2253
/proc/meminfo: memFree=30961316/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=39212 CPUtime=25.4 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 11937 0 0 0 2540 0 0 0 20 0 1 0 101762280 40153088 3909 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9803 3909 779 435 0 3166 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 39212
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 2253
/proc/meminfo: memFree=30961320/32770624 swapFree=0/596084
[pid=2252] ppid=2249 vsize=39212 CPUtime=51 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 13004 0 0 0 5100 0 0 0 20 0 1 0 101762280 40153088 3924 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5032450 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9803 3924 779 435 0 3166 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 39212
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 2255
/proc/meminfo: memFree=30961532/32770624 swapFree=0/596100
[pid=2252] ppid=2249 vsize=39476 CPUtime=102.2 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 14127 0 0 0 10220 0 0 0 20 0 1 0 101762280 40423424 3994 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5032431 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9869 3994 779 435 0 3232 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 39476
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 2257
/proc/meminfo: memFree=30961824/32770624 swapFree=0/596092
[pid=2252] ppid=2249 vsize=39612 CPUtime=162.2 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 14668 0 0 0 16220 0 0 0 20 0 1 0 101762280 40562688 3999 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5139274 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 3999 779 435 0 3266 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 39612
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 2259
/proc/meminfo: memFree=30961892/32770624 swapFree=0/596096
[pid=2252] ppid=2249 vsize=39612 CPUtime=222.21 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 15208 0 0 0 22221 0 0 0 20 0 1 0 101762280 40562688 4011 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5139274 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4011 779 435 0 3266 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 39612
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2261
/proc/meminfo: memFree=30961892/32770624 swapFree=0/596104
[pid=2252] ppid=2249 vsize=39612 CPUtime=282.21 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 15722 0 0 0 28221 0 0 0 20 0 1 0 101762280 40562688 4011 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5139264 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4011 779 435 0 3266 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 39612
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 2263
/proc/meminfo: memFree=30962132/32770624 swapFree=0/596116
[pid=2252] ppid=2249 vsize=39612 CPUtime=342.21 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 16236 0 0 0 34221 0 0 0 20 0 1 0 101762280 40562688 4011 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5046280 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4011 779 435 0 3266 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 39612
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2266
/proc/meminfo: memFree=30962364/32770624 swapFree=0/596132
[pid=2252] ppid=2249 vsize=39612 CPUtime=402.21 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 16763 0 0 0 40221 0 0 0 20 0 1 0 101762280 40562688 4011 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5032455 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4011 779 435 0 3266 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 39612
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2269
/proc/meminfo: memFree=30962476/32770624 swapFree=0/596140
[pid=2252] ppid=2249 vsize=39612 CPUtime=462.21 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 17298 0 0 0 46221 0 0 0 20 0 1 0 101762280 40562688 4011 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5328649 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4011 779 435 0 3266 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 39612
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 2285
/proc/meminfo: memFree=30957684/32770624 swapFree=0/596148
[pid=2252] ppid=2249 vsize=39612 CPUtime=522.22 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 17844 0 0 0 52221 1 0 0 20 0 1 0 101762280 40562688 4011 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5046613 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4011 779 435 0 3266 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 39612
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2287
/proc/meminfo: memFree=30960420/32770624 swapFree=0/596148
[pid=2252] ppid=2249 vsize=39612 CPUtime=582.22 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 18396 0 0 0 58221 1 0 0 20 0 1 0 101762280 40562688 4022 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5046712 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4022 779 435 0 3266 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 39612
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 2453
/proc/meminfo: memFree=30927596/32770624 swapFree=0/596356
[pid=2252] ppid=2249 vsize=39612 CPUtime=1602.25 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 27352 0 0 0 160224 1 0 0 20 0 1 0 101762280 40562688 4023 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5046292 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9903 4023 779 435 0 3266 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 39612
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/186 2455
/proc/meminfo: memFree=30927356/32770624 swapFree=0/596368
[pid=2252] ppid=2249 vsize=39744 CPUtime=1662.25 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 27932 0 0 0 166224 1 0 0 20 0 1 0 101762280 40697856 4036 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 9936 4036 779 435 0 3299 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 39744
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 2472
/proc/meminfo: memFree=30923524/32770624 swapFree=0/596368
[pid=2252] ppid=2249 vsize=40008 CPUtime=1722.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 28492 0 0 0 172225 1 0 0 20 0 1 0 101762280 40968192 4080 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5032400 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10002 4080 779 435 0 3365 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 40008
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2474
/proc/meminfo: memFree=30923944/32770624 swapFree=0/596376
[pid=2252] ppid=2249 vsize=40808 CPUtime=1782.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 29353 0 0 0 178225 1 0 0 20 0 1 0 101762280 41787392 4266 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10202 4266 779 435 0 3565 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 40808
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 2476
/proc/meminfo: memFree=30924124/32770624 swapFree=0/596384
[pid=2252] ppid=2249 vsize=41340 CPUtime=1842.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 30366 0 0 0 184225 1 0 0 20 0 1 0 101762280 42332160 4460 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5032400 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10335 4460 779 435 0 3698 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 41340
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 2478
/proc/meminfo: memFree=30923116/32770624 swapFree=0/596384
[pid=2252] ppid=2249 vsize=42132 CPUtime=1902.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 31425 0 0 0 190225 1 0 0 20 0 1 0 101762280 43143168 4646 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10533 4646 779 435 0 3896 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 42132
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 2481
/proc/meminfo: memFree=30922488/32770624 swapFree=0/596400
[pid=2252] ppid=2249 vsize=42268 CPUtime=1962.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 32130 0 0 0 196225 1 0 0 20 0 1 0 101762280 43282432 4678 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139264 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10567 4678 779 435 0 3930 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 42268
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 2484
/proc/meminfo: memFree=30922124/32770624 swapFree=0/596416
[pid=2252] ppid=2249 vsize=42400 CPUtime=2022.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 32871 0 0 0 202225 1 0 0 20 0 1 0 101762280 43417600 4730 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5139312 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10600 4730 779 435 0 3963 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 42400
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 2486
/proc/meminfo: memFree=30922636/32770624 swapFree=0/596432
[pid=2252] ppid=2249 vsize=42664 CPUtime=2082.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 33631 0 0 0 208225 1 0 0 20 0 1 0 101762280 43687936 4753 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139281 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10666 4753 779 435 0 4029 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 42664
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 2488
/proc/meminfo: memFree=30922148/32770624 swapFree=0/596448
[pid=2252] ppid=2249 vsize=42796 CPUtime=2142.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 34462 0 0 0 214225 1 0 0 20 0 1 0 101762280 43823104 4806 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139338 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10699 4806 779 435 0 4062 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 42796
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2490
/proc/meminfo: memFree=30921844/32770624 swapFree=0/596452
[pid=2252] ppid=2249 vsize=42928 CPUtime=2202.27 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 35300 0 0 0 220226 1 0 0 20 0 1 0 101762280 43958272 4813 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5338173 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10732 4813 779 435 0 4095 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 42928
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 2492
/proc/meminfo: memFree=30922116/32770624 swapFree=0/596476
[pid=2252] ppid=2249 vsize=42928 CPUtime=2262.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 36180 0 0 0 226225 1 0 0 20 0 1 0 101762280 43958272 4863 18446744073709551615 4194304 5972588 140729446216128 140729446212888 5139294 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10732 4863 779 435 0 4095 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 42928
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 2508
/proc/meminfo: memFree=30917772/32770624 swapFree=0/596492
[pid=2252] ppid=2249 vsize=43060 CPUtime=2322.26 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 37021 0 0 0 232225 1 0 0 20 0 1 0 101762280 44093440 4863 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5046712 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10765 4863 779 435 0 4128 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 43060
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 2510
/proc/meminfo: memFree=30919920/32770624 swapFree=0/596520
[pid=2252] ppid=2249 vsize=43060 CPUtime=2382.27 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 37866 0 0 0 238226 1 0 0 20 0 1 0 101762280 44093440 4867 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5046284 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10765 4867 779 435 0 4128 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 43060
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 2513
/proc/meminfo: memFree=30921380/32770624 swapFree=0/596516
[pid=2252] ppid=2249 vsize=43060 CPUtime=2442.28 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 38724 0 0 0 244226 2 0 0 20 0 1 0 101762280 44093440 4876 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5032455 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10765 4876 779 435 0 4128 0
Current children cumulated CPU time (s) 2442.28
Current children cumulated vsize (KiB) 43060
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 2516
/proc/meminfo: memFree=30921124/32770624 swapFree=0/596528
[pid=2252] ppid=2249 vsize=43060 CPUtime=2502.28 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 39611 0 0 0 250226 2 0 0 20 0 1 0 101762280 44093440 4878 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5046712 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10765 4878 779 435 0 4128 0
Current children cumulated CPU time (s) 2502.28
Current children cumulated vsize (KiB) 43060
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 2518
/proc/meminfo: memFree=30921560/32770624 swapFree=0/596536
[pid=2252] ppid=2249 vsize=43060 CPUtime=2519.98 cores=0,2,4,6
/proc/2252/stat : 2252 (cosoco) R 2249 2252 24445 0 -1 4202496 40374 0 0 0 251996 2 0 0 20 0 1 0 101762280 44093440 4878 18446744073709551615 4194304 5972588 140729446216128 140729446212792 5139329 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 19087360 140729446224366 140729446224461 140729446224461 140729446227918 0
/proc/2252/statm: 10765 4878 779 435 0 4128 0
Current children cumulated CPU time (s) 2519.98
Current children cumulated vsize (KiB) 43060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2252 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.98
CPU user time (s): 2519.96
CPU system time (s): 0.023
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 43060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.023
maximum resident set size= 19592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40428
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= 16
involuntary context switches= 798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67125 second user time and 8.40063 second system time
The end