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-4260006-1502015357/watcher-4260006-1502015357 -o /tmp/evaluation-result-4260006-1502015357/solver-4260006-1502015357 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260006-1502015357.xml
pid=21486
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.98 1.97 3/180 21489
/proc/meminfo: memFree=31774292/32770624 swapFree=0/309568
[pid=21489] ppid=21486 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21489/stat : 21489 (runsolver) D 21486 21489 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3729420 24240128 107 18446744073709551615 4194304 4338465 140730726367856 140730726365496 140550420357847 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18300928 140730726371522 140730726371914 140730726371914 140730726375370 0
/proc/21489/statm: 5918 107 54 36 0 2156 0
[startup+0.100194 s]
/proc/loadavg: 1.84 1.98 1.97 3/180 21489
/proc/meminfo: memFree=31774292/32770624 swapFree=0/309568
[pid=21489] ppid=21486 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21489/stat : 21489 (runsolver) D 21486 21489 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3729420 24240128 107 18446744073709551615 4194304 4338465 140730726367856 140730726365496 140550420357847 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18300928 140730726371522 140730726371914 140730726371914 140730726375370 0
/proc/21489/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.201099 s]
/proc/loadavg: 1.84 1.98 1.97 3/180 21489
/proc/meminfo: memFree=31774292/32770624 swapFree=0/309568
[pid=21489] ppid=21486 vsize=27424 CPUtime=0.09 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 1229 0 0 0 9 0 0 0 20 0 1 0 3729420 28082176 1028 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4949664 0 0 1 8405026 0 0 0 17 6 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1028 808 380 0 274 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27424
[startup+0.301098 s]
/proc/loadavg: 1.84 1.98 1.97 3/180 21489
/proc/meminfo: memFree=31774292/32770624 swapFree=0/309568
[pid=21489] ppid=21486 vsize=27424 CPUtime=0.19 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 1229 0 0 0 19 0 0 0 20 0 1 0 3729420 28082176 1028 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940195 0 0 1 8405026 0 0 0 17 6 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1028 808 380 0 274 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27424
[startup+0.700273 s]
/proc/loadavg: 1.84 1.98 1.97 3/180 21489
/proc/meminfo: memFree=31774292/32770624 swapFree=0/309568
[pid=21489] ppid=21486 vsize=27424 CPUtime=0.59 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 1232 0 0 0 59 0 0 0 20 0 1 0 3729420 28082176 1028 18446744073709551615 4194304 5747388 140727770614736 140727770602008 4940372 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1028 808 380 0 274 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 27424
[startup+1.50027 s]
/proc/loadavg: 1.84 1.98 1.97 3/181 21490
/proc/meminfo: memFree=31773636/32770624 swapFree=0/309580
[pid=21489] ppid=21486 vsize=27424 CPUtime=1.39 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 1232 0 0 0 139 0 0 0 20 0 1 0 3729420 28082176 1028 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4872967 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1028 808 380 0 274 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 27424
[startup+3.10028 s]
/proc/loadavg: 1.84 1.98 1.97 3/181 21490
/proc/meminfo: memFree=31772976/32770624 swapFree=0/309580
[pid=21489] ppid=21486 vsize=27424 CPUtime=2.99 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 1434 0 0 0 299 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4942546 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 27424
[startup+6.30027 s]
/proc/loadavg: 1.86 1.98 1.97 3/181 21490
/proc/meminfo: memFree=31773292/32770624 swapFree=0/309588
[pid=21489] ppid=21486 vsize=27424 CPUtime=6.19 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 1634 0 0 0 619 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5025570 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 27424
[startup+12.7003 s]
/proc/loadavg: 1.87 1.98 1.97 3/181 21490
/proc/meminfo: memFree=31772424/32770624 swapFree=0/309596
[pid=21489] ppid=21486 vsize=27424 CPUtime=12.59 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 1822 0 0 0 1259 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770602008 4942298 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 27424
[startup+25.5003 s]
/proc/loadavg: 1.90 1.98 1.97 3/181 21490
/proc/meminfo: memFree=31772496/32770624 swapFree=0/309604
[pid=21489] ppid=21486 vsize=27424 CPUtime=25.39 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 2194 0 0 0 2539 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770602008 4947156 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 27424
[startup+51.1003 s]
/proc/loadavg: 1.93 1.99 1.97 3/181 21491
/proc/meminfo: memFree=31772496/32770624 swapFree=0/309612
[pid=21489] ppid=21486 vsize=27424 CPUtime=50.99 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 2394 0 0 0 5099 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940680 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 27424
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 1.97 3/181 21493
/proc/meminfo: memFree=31771140/32770624 swapFree=0/309660
[pid=21489] ppid=21486 vsize=27424 CPUtime=102.19 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 2611 0 0 0 10219 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770602008 4947222 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 27424
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.97 3/181 21495
/proc/meminfo: memFree=31771456/32770624 swapFree=0/309684
[pid=21489] ppid=21486 vsize=27424 CPUtime=162.18 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 2797 0 0 0 16218 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770602008 5128629 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 27424
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 1.97 3/181 21497
/proc/meminfo: memFree=31771704/32770624 swapFree=0/309708
[pid=21489] ppid=21486 vsize=27424 CPUtime=222.18 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 2997 0 0 0 22218 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5025404 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 27424
[startup+282.3 s]
/proc/loadavg: 2.07 2.01 1.98 3/181 21499
/proc/meminfo: memFree=31771780/32770624 swapFree=0/309728
[pid=21489] ppid=21486 vsize=27424 CPUtime=282.18 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 3183 0 0 0 28218 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4946829 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 27424
[startup+342.3 s]
/proc/loadavg: 2.10 2.04 1.99 3/184 21516
/proc/meminfo: memFree=31767108/32770624 swapFree=0/309788
[pid=21489] ppid=21486 vsize=27424 CPUtime=342.17 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 3369 0 0 0 34217 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5025399 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27424
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/182 21519
/proc/meminfo: memFree=31770908/32770624 swapFree=0/309820
[pid=21489] ppid=21486 vsize=27424 CPUtime=402.17 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 3555 0 0 0 40217 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940167 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 27424
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/182 21521
/proc/meminfo: memFree=31771156/32770624 swapFree=0/309844
[pid=21489] ppid=21486 vsize=27424 CPUtime=462.17 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 3741 0 0 0 46217 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5025570 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 27424
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/182 21523
/proc/meminfo: memFree=31771088/32770624 swapFree=0/309864
[pid=21489] ppid=21486 vsize=27424 CPUtime=522.16 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 3927 0 0 0 52216 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940709 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 27424
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/182 21525
/proc/meminfo: memFree=31770964/32770624 swapFree=0/309880
[pid=21489] ppid=21486 vsize=27424 CPUtime=582.16 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 4113 0 0 0 58216 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4947953 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 27424
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21571
/proc/meminfo: memFree=31771196/32770624 swapFree=0/310272
[pid=21489] ppid=21486 vsize=27424 CPUtime=1482.13 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 6901 0 0 0 148213 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4947222 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1482.13
Current children cumulated vsize (KiB) 27424
[startup+1542.31 s]
/proc/loadavg: 2.07 2.04 2.00 3/184 21587
/proc/meminfo: memFree=31766468/32770624 swapFree=0/310320
[pid=21489] ppid=21486 vsize=27424 CPUtime=1542.13 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 7087 0 0 0 154213 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4947728 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 27424
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/181 21589
/proc/meminfo: memFree=31769360/32770624 swapFree=0/310340
[pid=21489] ppid=21486 vsize=27424 CPUtime=1602.12 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 7273 0 0 0 160212 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5025371 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 27424
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 21591
/proc/meminfo: memFree=31770172/32770624 swapFree=0/310364
[pid=21489] ppid=21486 vsize=27424 CPUtime=1662.12 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 7459 0 0 0 166212 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940536 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 27424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 21593
/proc/meminfo: memFree=31770800/32770624 swapFree=0/310384
[pid=21489] ppid=21486 vsize=27424 CPUtime=1722.12 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 7645 0 0 0 172212 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4947953 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 27424
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/181 21595
/proc/meminfo: memFree=31770496/32770624 swapFree=0/310404
[pid=21489] ppid=21486 vsize=27424 CPUtime=1782.12 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 7831 0 0 0 178212 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940732 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 27424
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/181 21597
/proc/meminfo: memFree=31770504/32770624 swapFree=0/310424
[pid=21489] ppid=21486 vsize=27424 CPUtime=1842.11 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 8017 0 0 0 184211 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4947953 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 27424
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/181 21599
/proc/meminfo: memFree=31770912/32770624 swapFree=0/310444
[pid=21489] ppid=21486 vsize=27424 CPUtime=1902.11 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 8203 0 0 0 190211 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5025361 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 27424
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/181 21601
/proc/meminfo: memFree=31771092/32770624 swapFree=0/310464
[pid=21489] ppid=21486 vsize=27424 CPUtime=1962.11 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 8389 0 0 0 196211 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5142941 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 27424
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/181 21603
/proc/meminfo: memFree=31771124/32770624 swapFree=0/310488
[pid=21489] ppid=21486 vsize=27424 CPUtime=2022.11 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 8575 0 0 0 202211 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4948396 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 27424
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/181 21605
/proc/meminfo: memFree=31771108/32770624 swapFree=0/310508
[pid=21489] ppid=21486 vsize=27424 CPUtime=2082.11 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 8761 0 0 0 208211 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 5025354 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 27424
[startup+2142.3 s]
/proc/loadavg: 2.11 2.06 2.03 3/184 21621
/proc/meminfo: memFree=31766932/32770624 swapFree=0/310584
[pid=21489] ppid=21486 vsize=27424 CPUtime=2142.1 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 8947 0 0 0 214210 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4947948 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 27424
[startup+2202.31 s]
/proc/loadavg: 2.04 2.04 2.03 3/181 21623
/proc/meminfo: memFree=31769800/32770624 swapFree=0/310600
[pid=21489] ppid=21486 vsize=27424 CPUtime=2202.11 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 9133 0 0 0 220211 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940346 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 27424
[startup+2262.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/181 21625
/proc/meminfo: memFree=31770152/32770624 swapFree=0/310620
[pid=21489] ppid=21486 vsize=27424 CPUtime=2262.1 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 9319 0 0 0 226210 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940167 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 27424
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/181 21627
/proc/meminfo: memFree=31770260/32770624 swapFree=0/310636
[pid=21489] ppid=21486 vsize=27424 CPUtime=2322.1 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 9505 0 0 0 232210 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4947051 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 27424
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/181 21629
/proc/meminfo: memFree=31769968/32770624 swapFree=0/310668
[pid=21489] ppid=21486 vsize=27424 CPUtime=2382.09 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 9691 0 0 0 238209 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4940941 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 27424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.04 2/181 21694
/proc/meminfo: memFree=31769404/32770624 swapFree=0/310620
[pid=21489] ppid=21486 vsize=27424 CPUtime=2400 cores=0,2,4,6
/proc/21489/stat : 21489 (cosoco) R 21486 21489 20633 0 -1 4202496 9877 0 0 0 240000 0 0 0 20 0 1 0 3729420 28082176 1074 18446744073709551615 4194304 5747388 140727770614736 140727770612264 4882201 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 7845728 7850568 15978496 140727770616303 140727770616398 140727770616398 140727770619854 0
/proc/21489/statm: 6856 1074 810 380 0 274 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 27424
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 21489 sig 9
??? kill -21489 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.01
CPU user time (s): 2400
CPU system time (s): 0.002999
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 27424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.002999
maximum resident set size= 4364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9928
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= 7
involuntary context switches= 606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37704 second user time and 8.67974 second system time
The end