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-4242879-1500665174/watcher-4242879-1500665174 -o /tmp/evaluation-result-4242879-1500665174/solver-4242879-1500665174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500648174-2507 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242879-1500665174.xml
pid=4492
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 2.04 3/242 4495
/proc/meminfo: memFree=31928136/32770624 swapFree=5668/222460
[pid=4495] ppid=4492 vsize=27388 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 1065 0 0 0 0 0 0 0 20 0 1 0 1784978 28045312 898 33554432000 4194304 5970956 140736504145280 140736504141928 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 6847 898 705 434 0 211 0
[startup+0.100145 s]
/proc/loadavg: 1.92 2.00 2.04 3/242 4495
/proc/meminfo: memFree=31928136/32770624 swapFree=5668/222460
[pid=4495] ppid=4492 vsize=27888 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 1167 0 0 0 9 0 0 0 20 0 1 0 1784978 28557312 964 33554432000 4194304 5970956 140736504145280 140736504141880 5417067 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 6972 964 709 434 0 336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27888
[startup+0.200283 s]
/proc/loadavg: 1.92 2.00 2.04 3/242 4495
/proc/meminfo: memFree=31928136/32770624 swapFree=5668/222460
[pid=4495] ppid=4492 vsize=28728 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 1463 0 0 0 19 0 0 0 20 0 1 0 1784978 29417472 1128 33554432000 4194304 5970956 140736504145280 140736504141880 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 7182 1128 709 434 0 546 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28728
[startup+0.300241 s]
/proc/loadavg: 1.92 2.00 2.04 3/242 4495
/proc/meminfo: memFree=31928136/32770624 swapFree=5668/222460
[pid=4495] ppid=4492 vsize=29256 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 1654 0 0 0 29 0 0 0 20 0 1 0 1784978 29958144 1325 33554432000 4194304 5970956 140736504145280 140736504141880 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 7314 1325 709 434 0 678 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29256
[startup+0.700215 s]
/proc/loadavg: 1.92 2.00 2.04 3/242 4495
/proc/meminfo: memFree=31928136/32770624 swapFree=5668/222460
[pid=4495] ppid=4492 vsize=33276 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 2979 0 0 0 69 0 0 0 20 0 1 0 1784978 34074624 2063 33554432000 4194304 5970956 140736504145280 140736504141880 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 8319 2063 709 434 0 1683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33276
[startup+1.5002 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 4496
/proc/meminfo: memFree=31919288/32770624 swapFree=5668/222460
[pid=4495] ppid=4492 vsize=39780 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 4425 0 0 0 149 0 0 0 20 0 1 0 1784978 40734720 3738 33554432000 4194304 5970956 140736504145280 140736504141880 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 9945 3738 709 434 0 3309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39780
[startup+3.1002 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 4496
/proc/meminfo: memFree=31910724/32770624 swapFree=5668/222460
[pid=4495] ppid=4492 vsize=52788 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 6692 0 0 0 308 1 0 0 20 0 1 0 1784978 54054912 6992 33554432000 4194304 5970956 140736504145280 140736504141880 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 13197 6992 709 434 0 6561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52788
[startup+6.30018 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 4496
/proc/meminfo: memFree=31884584/32770624 swapFree=5668/222488
[pid=4495] ppid=4492 vsize=78804 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 11012 0 0 0 627 1 0 0 20 0 1 0 1784978 80695296 12985 33554432000 4194304 5970956 140736504145280 140736504141880 140554413833216 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 19701 12985 709 434 0 13065 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 78804
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 4496
/proc/meminfo: memFree=31833164/32770624 swapFree=5668/222488
[pid=4495] ppid=4492 vsize=130968 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 18812 0 0 0 1265 3 0 0 20 0 1 0 1784978 134111232 25036 33554432000 4194304 5970956 140736504145280 140736504141880 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 32742 25036 709 434 0 26106 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 130968
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 4496
/proc/meminfo: memFree=31731520/32770624 swapFree=5668/222488
[pid=4495] ppid=4492 vsize=236088 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 33801 0 0 0 2541 8 0 0 20 0 1 0 1784978 241754112 49269 33554432000 4194304 5970956 140736504145280 140736504141880 140554413394917 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 59022 49269 709 434 0 52386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 236088
[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 2.04 3/243 4496
/proc/meminfo: memFree=31049216/32770624 swapFree=5668/222488
[pid=4495] ppid=4492 vsize=913672 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 155387 0 0 0 5081 26 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934354 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 913672
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/243 4497
/proc/meminfo: memFree=31049092/32770624 swapFree=5668/222488
[pid=4495] ppid=4492 vsize=913672 CPUtime=102.25 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 210464 0 0 0 10194 31 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4933072 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 913672
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/242 4499
/proc/meminfo: memFree=31050560/32770624 swapFree=5668/222548
[pid=4495] ppid=4492 vsize=913672 CPUtime=162.21 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 253414 0 0 0 16188 33 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4933153 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 913672
[startup+222.308 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4501
/proc/meminfo: memFree=31049820/32770624 swapFree=5668/222548
[pid=4495] ppid=4492 vsize=913672 CPUtime=222.17 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 292327 0 0 0 22182 35 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 913672
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4510
/proc/meminfo: memFree=31049836/32770624 swapFree=5668/222592
[pid=4495] ppid=4492 vsize=913672 CPUtime=282.11 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 319566 0 0 0 28175 36 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 913672
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 4511
/proc/meminfo: memFree=31050020/32770624 swapFree=5668/222592
[pid=4495] ppid=4492 vsize=913672 CPUtime=342.09 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 343735 0 0 0 34171 38 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 913672
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 4512
/proc/meminfo: memFree=31050020/32770624 swapFree=5668/222592
[pid=4495] ppid=4492 vsize=913672 CPUtime=402.05 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 363929 0 0 0 40166 39 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 913672
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/244 4513
/proc/meminfo: memFree=31050520/32770624 swapFree=5668/222732
[pid=4495] ppid=4492 vsize=913672 CPUtime=462.02 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 383482 0 0 0 46162 40 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 913672
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4514
/proc/meminfo: memFree=31050492/32770624 swapFree=5668/222732
[pid=4495] ppid=4492 vsize=913672 CPUtime=521.98 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 397512 0 0 0 52157 41 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 913672
[startup+582.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/243 4581
/proc/meminfo: memFree=30942548/32770624 swapFree=5668/222668
[pid=4495] ppid=4492 vsize=913672 CPUtime=581.94 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 403308 0 0 0 58153 41 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 913672
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4611
/proc/meminfo: memFree=30938360/32770624 swapFree=5668/223972
[pid=4495] ppid=4492 vsize=913672 CPUtime=1541.51 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 423289 0 0 0 154107 44 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 913672
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4612
/proc/meminfo: memFree=30939272/32770624 swapFree=5668/223972
[pid=4495] ppid=4492 vsize=913672 CPUtime=1601.47 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 424492 0 0 0 160103 44 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1601.47
Current children cumulated vsize (KiB) 913672
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 4613
/proc/meminfo: memFree=30938904/32770624 swapFree=5668/224412
[pid=4495] ppid=4492 vsize=913672 CPUtime=1661.44 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 425758 0 0 0 166100 44 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 913672
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 4614
/proc/meminfo: memFree=30938896/32770624 swapFree=5668/224412
[pid=4495] ppid=4492 vsize=913672 CPUtime=1721.41 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 427016 0 0 0 172097 44 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934354 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 913672
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4616
/proc/meminfo: memFree=30938008/32770624 swapFree=5668/224412
[pid=4495] ppid=4492 vsize=913672 CPUtime=1781.39 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 428253 0 0 0 178094 45 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (KiB) 913672
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4617
/proc/meminfo: memFree=30938220/32770624 swapFree=5668/224412
[pid=4495] ppid=4492 vsize=913672 CPUtime=1841.36 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 429489 0 0 0 184091 45 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1841.36
Current children cumulated vsize (KiB) 913672
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4618
/proc/meminfo: memFree=30937296/32770624 swapFree=5668/224412
[pid=4495] ppid=4492 vsize=913672 CPUtime=1901.33 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 430755 0 0 0 190088 45 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1901.33
Current children cumulated vsize (KiB) 913672
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4620
/proc/meminfo: memFree=30937040/32770624 swapFree=5668/224856
[pid=4495] ppid=4492 vsize=913672 CPUtime=1961.3 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 432018 0 0 0 196085 45 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4933202 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 1961.3
Current children cumulated vsize (KiB) 913672
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4621
/proc/meminfo: memFree=30937028/32770624 swapFree=5668/224856
[pid=4495] ppid=4492 vsize=913672 CPUtime=2021.27 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 433210 0 0 0 202082 45 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2021.27
Current children cumulated vsize (KiB) 913672
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4629
/proc/meminfo: memFree=30937088/32770624 swapFree=5668/224936
[pid=4495] ppid=4492 vsize=913672 CPUtime=2081.25 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 434518 0 0 0 208080 45 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2081.25
Current children cumulated vsize (KiB) 913672
[startup+2142.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/243 4652
/proc/meminfo: memFree=30936692/32770624 swapFree=5668/224988
[pid=4495] ppid=4492 vsize=913672 CPUtime=2141.22 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 435676 0 0 0 214076 46 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2141.22
Current children cumulated vsize (KiB) 913672
[startup+2202.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/243 4653
/proc/meminfo: memFree=30937368/32770624 swapFree=5668/225084
[pid=4495] ppid=4492 vsize=913672 CPUtime=2201.2 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 436969 0 0 0 220074 46 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4933151 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2201.2
Current children cumulated vsize (KiB) 913672
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4654
/proc/meminfo: memFree=30938188/32770624 swapFree=5668/225124
[pid=4495] ppid=4492 vsize=913672 CPUtime=2261.16 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 438205 0 0 0 226070 46 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2261.16
Current children cumulated vsize (KiB) 913672
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 4655
/proc/meminfo: memFree=30938512/32770624 swapFree=5668/225124
[pid=4495] ppid=4492 vsize=913672 CPUtime=2321.13 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 439485 0 0 0 232067 46 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2321.13
Current children cumulated vsize (KiB) 913672
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4656
/proc/meminfo: memFree=30938416/32770624 swapFree=5668/225124
[pid=4495] ppid=4492 vsize=913672 CPUtime=2381.1 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 440717 0 0 0 238064 46 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2381.1
Current children cumulated vsize (KiB) 913672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4656
/proc/meminfo: memFree=30938416/32770624 swapFree=5668/225124
[pid=4495] ppid=4492 vsize=913672 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 441424 0 0 0 239964 46 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4933153 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 913672
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 4495 sig 9
??? kill -4495 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4656
/proc/meminfo: memFree=30938416/32770624 swapFree=5668/225124
[pid=4495] ppid=4492 vsize=913672 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/4495/stat : 4495 (cosoco) R 4492 4495 2474 0 -1 4202496 441424 0 0 0 239964 46 0 0 20 0 1 0 1784978 935600128 219360 33554432000 4194304 5970956 140736504145280 140736504132600 4933153 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 34713600 140736504153276 140736504153411 140736504153411 140736504156110 0
/proc/4495/statm: 228418 219360 854 434 0 221782 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 913672
Child status: 1
Real time (s): 2401.31
CPU time (s): 2400.12
CPU user time (s): 2399.65
CPU system time (s): 0.468775
CPU usage (%): 99.9503
Max. virtual memory (cumulated for all children) (KiB): 913672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.65
system time used= 0.468775
maximum resident set size= 877480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441449
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= 66
involuntary context switches= 120689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.61162 second user time and 12.4777 second system time
The end