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-4253406-1500930160/watcher-4253406-1500930160 -o /tmp/evaluation-result-4253406-1500930160/solver-4253406-1500930160 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500914921-4815 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253406-1500930160.xml
pid=8280
running on 4 cores: 1,3,5,7
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: 2.00 2.01 2.05 2/181 8283
/proc/meminfo: memFree=32010876/32770624 swapFree=6548/190392
[pid=8283] ppid=8280 vsize=26900 CPUtime=0 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 947 0 0 0 0 0 0 0 20 0 1 0 2569289 27545600 787 33554432000 4194304 5744392 140726384682720 140726384679368 140626184031205 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 6725 787 683 379 0 144 0
[startup+0.100117 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8283
/proc/meminfo: memFree=32010876/32770624 swapFree=6548/190392
[pid=8283] ppid=8280 vsize=37764 CPUtime=0.09 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 3698 0 0 0 9 0 0 0 20 0 1 0 2569289 38670336 3496 33554432000 4194304 5744392 140726384682720 140726384679368 5196816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 9441 3496 718 379 0 2860 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37764
[startup+0.200314 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8283
/proc/meminfo: memFree=32010876/32770624 swapFree=6548/190392
[pid=8283] ppid=8280 vsize=94016 CPUtime=0.19 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 17751 0 0 0 18 1 0 0 20 0 1 0 2569289 96272384 17553 33554432000 4194304 5744392 140726384682720 140726384679368 5296101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 23504 17553 718 379 0 16923 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 94016
[startup+0.300296 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8283
/proc/meminfo: memFree=32010876/32770624 swapFree=6548/190392
[pid=8283] ppid=8280 vsize=144496 CPUtime=0.29 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 30369 0 0 0 26 3 0 0 20 0 1 0 2569289 147963904 30159 33554432000 4194304 5744392 140726384682720 140726384679368 140626184031205 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 36124 30159 718 379 0 29543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 144496
[startup+0.70025 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8283
/proc/meminfo: memFree=32010876/32770624 swapFree=6548/190392
[pid=8283] ppid=8280 vsize=257260 CPUtime=0.69 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 58624 0 0 0 62 7 0 0 20 0 1 0 2569289 263434240 58407 33554432000 4194304 5744392 140726384682720 140726384679368 140626184031205 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 64315 58407 757 379 0 57734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 257260
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8284
/proc/meminfo: memFree=31752432/32770624 swapFree=6548/190404
[pid=8283] ppid=8280 vsize=302484 CPUtime=1.49 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 69923 0 0 0 141 8 0 0 20 0 1 0 2569289 309743616 69759 33554432000 4194304 5744392 140726384682720 140726384679800 5024405 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 75621 69759 757 379 0 69040 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 302484
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8284
/proc/meminfo: memFree=31731260/32770624 swapFree=6548/190404
[pid=8283] ppid=8280 vsize=306376 CPUtime=3.09 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 80604 0 0 0 301 8 0 0 20 0 1 0 2569289 313729024 70731 33554432000 4194304 5744392 140726384682720 140726384679800 4994016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 76594 70731 757 379 0 70013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 306376
[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8284
/proc/meminfo: memFree=31730200/32770624 swapFree=6548/190428
[pid=8283] ppid=8280 vsize=306376 CPUtime=6.29 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 88936 0 0 0 621 8 0 0 20 0 1 0 2569289 313729024 70731 33554432000 4194304 5744392 140726384682720 140726384679640 5118912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 76594 70731 757 379 0 70013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 306376
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8284
/proc/meminfo: memFree=31666528/32770624 swapFree=6548/190436
[pid=8283] ppid=8280 vsize=373496 CPUtime=12.69 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 138098 0 0 0 1257 12 0 0 20 0 1 0 2569289 382459904 86553 33554432000 4194304 5744392 140726384682720 140726384679640 4872540 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 93374 86553 759 379 0 86793 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 373496
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8284
/proc/meminfo: memFree=31638372/32770624 swapFree=6548/190440
[pid=8283] ppid=8280 vsize=404028 CPUtime=25.48 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 167681 0 0 0 2534 14 0 0 20 0 1 0 2569289 413724672 93561 33554432000 4194304 5744392 140726384682720 140726384680120 5118920 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 101007 93561 759 379 0 94426 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 404028
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8284
/proc/meminfo: memFree=31631628/32770624 swapFree=6548/190468
[pid=8283] ppid=8280 vsize=412332 CPUtime=51.07 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 225589 0 0 0 5090 17 0 0 20 0 1 0 2569289 422227968 95382 33554432000 4194304 5744392 140726384682720 140726384680120 4946496 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 103083 95382 759 379 0 96502 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 412332
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8285
/proc/meminfo: memFree=31629404/32770624 swapFree=6548/190540
[pid=8283] ppid=8280 vsize=414752 CPUtime=102.27 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 272880 0 0 0 10206 21 0 0 20 0 1 0 2569289 424706048 95948 33554432000 4194304 5744392 140726384682720 140726384680120 4946312 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 103688 95948 759 379 0 97107 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 414752
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8346
/proc/meminfo: memFree=31611420/32770624 swapFree=6548/190620
[pid=8283] ppid=8280 vsize=415860 CPUtime=162.24 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 294197 0 0 0 16202 22 0 0 20 0 1 0 2569289 425840640 96189 33554432000 4194304 5744392 140726384682720 140726384680120 4946129 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 103965 96189 759 379 0 97384 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 415860
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8347
/proc/meminfo: memFree=31608120/32770624 swapFree=6548/190684
[pid=8283] ppid=8280 vsize=415860 CPUtime=222.24 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 306455 0 0 0 22200 24 0 0 20 0 1 0 2569289 425840640 96890 33554432000 4194304 5744392 140726384682720 140726384680120 4994104 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 103965 96890 759 379 0 97384 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 415860
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8348
/proc/meminfo: memFree=31602488/32770624 swapFree=6548/190740
[pid=8283] ppid=8280 vsize=415860 CPUtime=282.23 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 308178 0 0 0 28199 24 0 0 20 0 1 0 2569289 425840640 98085 33554432000 4194304 5744392 140726384682720 140726384680120 5140585 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 103965 98085 759 379 0 97384 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 415860
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 8349
/proc/meminfo: memFree=31602536/32770624 swapFree=6548/190780
[pid=8283] ppid=8280 vsize=415860 CPUtime=342.23 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 308755 0 0 0 34199 24 0 0 20 0 1 0 2569289 425840640 98085 33554432000 4194304 5744392 140726384682720 140726384680120 4946592 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 103965 98085 759 379 0 97384 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 415860
[startup+402.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 8350
/proc/meminfo: memFree=31598760/32770624 swapFree=6548/190812
[pid=8283] ppid=8280 vsize=419948 CPUtime=402.23 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 310860 0 0 0 40199 24 0 0 20 0 1 0 2569289 430026752 99013 33554432000 4194304 5744392 140726384682720 140726384680120 4872427 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 104987 99013 759 379 0 98406 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 419948
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 8359
/proc/meminfo: memFree=31597532/32770624 swapFree=6548/190860
[pid=8283] ppid=8280 vsize=419948 CPUtime=462.22 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 311980 0 0 0 46198 24 0 0 20 0 1 0 2569289 430026752 99013 33554432000 4194304 5744392 140726384682720 140726384680120 4948516 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 104987 99013 759 379 0 98406 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 419948
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 8360
/proc/meminfo: memFree=31598196/32770624 swapFree=6548/190900
[pid=8283] ppid=8280 vsize=419948 CPUtime=522.22 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 312907 0 0 0 52198 24 0 0 20 0 1 0 2569289 430026752 99013 33554432000 4194304 5744392 140726384682720 140726384680120 5140573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 104987 99013 759 379 0 98406 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 419948
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 8361
/proc/meminfo: memFree=31597452/32770624 swapFree=6548/190936
[pid=8283] ppid=8280 vsize=419948 CPUtime=582.22 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 313472 0 0 0 58198 24 0 0 20 0 1 0 2569289 430026752 99120 33554432000 4194304 5744392 140726384682720 140726384680120 5140573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 104987 99120 759 379 0 98406 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 419948
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8386
/proc/meminfo: memFree=31595376/32770624 swapFree=6548/191496
[pid=8283] ppid=8280 vsize=421660 CPUtime=1542.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 322332 0 0 0 154197 24 0 0 20 0 1 0 2569289 431779840 99487 33554432000 4194304 5744392 140726384682720 140726384680120 5140559 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99487 759 379 0 98834 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 421660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8387
/proc/meminfo: memFree=31595424/32770624 swapFree=6548/191532
[pid=8283] ppid=8280 vsize=421660 CPUtime=1602.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 323141 0 0 0 160197 24 0 0 20 0 1 0 2569289 431779840 99487 33554432000 4194304 5744392 140726384682720 140726384680120 4946023 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99487 759 379 0 98834 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 421660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8396
/proc/meminfo: memFree=31594528/32770624 swapFree=6548/191572
[pid=8283] ppid=8280 vsize=421660 CPUtime=1662.22 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 323575 0 0 0 166197 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4946817 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 421660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8397
/proc/meminfo: memFree=31594860/32770624 swapFree=6548/191604
[pid=8283] ppid=8280 vsize=421660 CPUtime=1722.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 324092 0 0 0 172196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4945855 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 1722.21
Current children cumulated vsize (KiB) 421660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8398
/proc/meminfo: memFree=31595036/32770624 swapFree=6548/191636
[pid=8283] ppid=8280 vsize=421660 CPUtime=1782.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 324355 0 0 0 178196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 5024231 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 1782.21
Current children cumulated vsize (KiB) 421660
[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 8399
/proc/meminfo: memFree=31595080/32770624 swapFree=6548/191672
[pid=8283] ppid=8280 vsize=421660 CPUtime=1842.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 324827 0 0 0 184196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 5140559 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 1842.21
Current children cumulated vsize (KiB) 421660
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/183 8400
/proc/meminfo: memFree=31595124/32770624 swapFree=6548/191700
[pid=8283] ppid=8280 vsize=421660 CPUtime=1902.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 325190 0 0 0 190196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 5024224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 1902.21
Current children cumulated vsize (KiB) 421660
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8401
/proc/meminfo: memFree=31595492/32770624 swapFree=6548/191736
[pid=8283] ppid=8280 vsize=421660 CPUtime=1962.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 325516 0 0 0 196196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4998922 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 1962.21
Current children cumulated vsize (KiB) 421660
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8402
/proc/meminfo: memFree=31595424/32770624 swapFree=6548/191768
[pid=8283] ppid=8280 vsize=421660 CPUtime=2022.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 325827 0 0 0 202196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4945697 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2022.21
Current children cumulated vsize (KiB) 421660
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8403
/proc/meminfo: memFree=31595480/32770624 swapFree=6548/191796
[pid=8283] ppid=8280 vsize=421660 CPUtime=2082.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 326132 0 0 0 208196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4947560 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 421660
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8404
/proc/meminfo: memFree=31595268/32770624 swapFree=6548/191832
[pid=8283] ppid=8280 vsize=421660 CPUtime=2142.2 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 326640 0 0 0 214195 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4945710 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2142.2
Current children cumulated vsize (KiB) 421660
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8405
/proc/meminfo: memFree=31595444/32770624 swapFree=6548/191864
[pid=8283] ppid=8280 vsize=421660 CPUtime=2202.21 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 327008 0 0 0 220196 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4946817 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2202.21
Current children cumulated vsize (KiB) 421660
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8414
/proc/meminfo: memFree=31595160/32770624 swapFree=6548/191900
[pid=8283] ppid=8280 vsize=421660 CPUtime=2262.2 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 327341 0 0 0 226195 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 5140585 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 421660
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 8415
/proc/meminfo: memFree=31595456/32770624 swapFree=6548/191936
[pid=8283] ppid=8280 vsize=421660 CPUtime=2322.2 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 327804 0 0 0 232195 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 5140573 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2322.2
Current children cumulated vsize (KiB) 421660
[startup+2382.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/183 8416
/proc/meminfo: memFree=31595172/32770624 swapFree=6548/191976
[pid=8283] ppid=8280 vsize=421660 CPUtime=2382.2 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 328118 0 0 0 238195 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 5024224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 421660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.08 2.04 2.05 3/183 8417
/proc/meminfo: memFree=31595420/32770624 swapFree=6548/191996
[pid=8283] ppid=8280 vsize=421660 CPUtime=2400 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 328228 0 0 0 239975 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4945693 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 421660
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 8283 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.08 2.04 2.05 3/183 8417
/proc/meminfo: memFree=31595420/32770624 swapFree=6548/191996
[pid=8283] ppid=8280 vsize=421660 CPUtime=2400 cores=1,3,5,7
/proc/8283/stat : 8283 (cosoco) R 8280 8283 4783 0 -1 4202496 328228 0 0 0 239975 25 0 0 20 0 1 0 2569289 431779840 99560 33554432000 4194304 5744392 140726384682720 140726384680120 4945693 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7841632 7846472 21684224 140726384686273 140726384686403 140726384686403 140726384689102 0
/proc/8283/statm: 105415 99560 759 379 0 98834 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 421660
Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.02
CPU user time (s): 2399.75
CPU system time (s): 0.260996
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 421660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.75
system time used= 0.260996
maximum resident set size= 398284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328256
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= 117
involuntary context switches= 1924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0121 second user time and 9.36493 second system time
The end