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-4260229-1502024890/watcher-4260229-1502024890 -o /tmp/evaluation-result-4260229-1502024890/solver-4260229-1502024890 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25934 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260229-1502024890.xml
pid=28743
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.98 2.02 2.04 2/185 28746
/proc/meminfo: memFree=31512756/32770624 swapFree=0/310800
[pid=28746] ppid=28743 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28746/stat : 28746 (runsolver) D 28743 28746 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 50304360 24240128 108 18446744073709551615 4194304 4338465 140722454171296 140722454168936 140317774050007 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 6918144 140722454180033 140722454180425 140722454180425 140722454183882 0
/proc/28746/statm: 5918 108 54 36 0 2156 0
[startup+0.100901 s]
/proc/loadavg: 1.98 2.02 2.04 2/185 28746
/proc/meminfo: memFree=31512756/32770624 swapFree=0/310800
[pid=28746] ppid=28743 vsize=27084 CPUtime=0.02 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 1003 0 0 0 2 0 0 0 20 0 1 0 50304360 27734016 825 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5477289 0 0 1 0 0 0 0 17 6 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 6771 825 702 380 0 189 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27084
[startup+0.200902 s]
/proc/loadavg: 1.98 2.02 2.04 2/185 28746
/proc/meminfo: memFree=31512756/32770624 swapFree=0/310800
[pid=28746] ppid=28743 vsize=28516 CPUtime=0.11 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 1438 0 0 0 11 0 0 0 20 0 1 0 50304360 29200384 1078 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5471848 0 0 1 0 0 0 0 17 6 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 7129 1078 702 380 0 547 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28516
[startup+0.300903 s]
/proc/loadavg: 1.98 2.02 2.04 2/185 28746
/proc/meminfo: memFree=31512756/32770624 swapFree=0/310800
[pid=28746] ppid=28743 vsize=29944 CPUtime=0.21 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 1920 0 0 0 21 0 0 0 20 0 1 0 50304360 30662656 1366 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5476400 0 0 1 0 0 0 0 17 6 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 7486 1366 702 380 0 904 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29944
[startup+0.700304 s]
/proc/loadavg: 1.98 2.02 2.04 2/185 28746
/proc/meminfo: memFree=31512756/32770624 swapFree=0/310800
[pid=28746] ppid=28743 vsize=38512 CPUtime=0.61 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 4318 0 0 0 61 0 0 0 20 0 1 0 50304360 39436288 3580 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5477602 0 0 1 0 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 9628 3580 705 380 0 3046 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 38512
[startup+1.50028 s]
/proc/loadavg: 1.98 2.02 2.04 3/186 28748
/proc/meminfo: memFree=31496076/32770624 swapFree=0/310888
[pid=28746] ppid=28743 vsize=46492 CPUtime=1.42 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 6130 0 0 0 141 1 0 0 20 0 1 0 50304360 47607808 5362 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5471844 0 0 1 0 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 11623 5362 705 380 0 5041 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 46492
[startup+3.10029 s]
/proc/loadavg: 1.90 2.00 2.04 3/186 28748
/proc/meminfo: memFree=31486032/32770624 swapFree=0/310888
[pid=28746] ppid=28743 vsize=65348 CPUtime=3.01 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 11933 0 0 0 300 1 0 0 20 0 1 0 50304360 66916352 9675 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5471902 0 0 1 0 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 16337 9675 705 380 0 9755 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 65348
[startup+6.3003 s]
/proc/loadavg: 1.90 2.00 2.04 3/186 28748
/proc/meminfo: memFree=31451168/32770624 swapFree=0/310884
[pid=28746] ppid=28743 vsize=100376 CPUtime=6.21 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 21508 0 0 0 619 2 0 0 20 0 1 0 50304360 102785024 17661 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5475842 0 0 1 0 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 25094 17661 706 380 0 18512 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 100376
[startup+12.7003 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 28748
/proc/meminfo: memFree=31386192/32770624 swapFree=0/310884
[pid=28746] ppid=28743 vsize=171684 CPUtime=12.61 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 39330 0 0 0 1257 4 0 0 20 0 1 0 50304360 175804416 33577 18446744073709551615 4194304 5747388 140734201928352 140734201925000 5473836 0 0 1 0 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 42921 33577 706 380 0 36339 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 171684
[startup+25.5004 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 28748
/proc/meminfo: memFree=31348436/32770624 swapFree=0/310900
[pid=28746] ppid=28743 vsize=202396 CPUtime=25.41 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 109149 0 0 0 2534 7 0 0 20 0 1 0 50304360 207253504 41503 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 41503 749 380 0 44017 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 202396
[startup+51.1004 s]
/proc/loadavg: 1.95 2.00 2.04 3/186 28748
/proc/meminfo: memFree=31345592/32770624 swapFree=0/310900
[pid=28746] ppid=28743 vsize=202396 CPUtime=51.01 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 150226 0 0 0 5093 8 0 0 20 0 1 0 50304360 207253504 42216 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893982 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 42216 749 380 0 44017 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 202396
[startup+102.3 s]
/proc/loadavg: 2.04 2.02 2.04 3/186 28752
/proc/meminfo: memFree=31337700/32770624 swapFree=0/310924
[pid=28746] ppid=28743 vsize=202396 CPUtime=102.21 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 170734 0 0 0 10212 9 0 0 20 0 1 0 50304360 207253504 44065 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44065 749 380 0 44017 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 202396
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/185 28754
/proc/meminfo: memFree=31336576/32770624 swapFree=0/310956
[pid=28746] ppid=28743 vsize=202396 CPUtime=162.2 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 172683 0 0 0 16211 9 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893982 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 202396
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.04 3/185 28757
/proc/meminfo: memFree=31335648/32770624 swapFree=0/310988
[pid=28746] ppid=28743 vsize=202396 CPUtime=222.22 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 173098 0 0 0 22213 9 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893982 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 202396
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 28761
/proc/meminfo: memFree=31335392/32770624 swapFree=0/311048
[pid=28746] ppid=28743 vsize=202396 CPUtime=282.21 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 173098 0 0 0 28212 9 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 202396
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 28763
/proc/meminfo: memFree=31335580/32770624 swapFree=0/311060
[pid=28746] ppid=28743 vsize=202396 CPUtime=342.22 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 173513 0 0 0 34213 9 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4894014 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 202396
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 28779
/proc/meminfo: memFree=31331192/32770624 swapFree=0/311100
[pid=28746] ppid=28743 vsize=202396 CPUtime=402.22 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 173513 0 0 0 40213 9 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4894030 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 202396
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 28806
/proc/meminfo: memFree=31331316/32770624 swapFree=0/311148
[pid=28746] ppid=28743 vsize=202396 CPUtime=462.23 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 173928 0 0 0 46214 9 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 202396
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 28808
/proc/meminfo: memFree=31333664/32770624 swapFree=0/311176
[pid=28746] ppid=28743 vsize=202396 CPUtime=522.23 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 173928 0 0 0 52214 9 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 202396
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 28810
/proc/meminfo: memFree=31335244/32770624 swapFree=0/311208
[pid=28746] ppid=28743 vsize=202396 CPUtime=582.25 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 174343 0 0 0 58215 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4894030 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 202396
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28859
/proc/meminfo: memFree=31335352/32770624 swapFree=0/311476
[pid=28746] ppid=28743 vsize=202396 CPUtime=1482.32 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 177203 0 0 0 148222 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 202396
[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 28861
/proc/meminfo: memFree=31335288/32770624 swapFree=0/311504
[pid=28746] ppid=28743 vsize=202396 CPUtime=1542.33 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 177605 0 0 0 154223 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893982 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 202396
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/189 28877
/proc/meminfo: memFree=31331392/32770624 swapFree=0/311536
[pid=28746] ppid=28743 vsize=202396 CPUtime=1602.33 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 177618 0 0 0 160223 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893936 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 202396
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 28879
/proc/meminfo: memFree=31334232/32770624 swapFree=0/311564
[pid=28746] ppid=28743 vsize=202396 CPUtime=1662.33 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 177991 0 0 0 166223 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 202396
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 28882
/proc/meminfo: memFree=31334612/32770624 swapFree=0/311596
[pid=28746] ppid=28743 vsize=202396 CPUtime=1722.34 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 178033 0 0 0 172224 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893982 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 202396
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 28884
/proc/meminfo: memFree=31334428/32770624 swapFree=0/311616
[pid=28746] ppid=28743 vsize=202396 CPUtime=1782.34 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 178435 0 0 0 178224 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893982 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 202396
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 28886
/proc/meminfo: memFree=31334808/32770624 swapFree=0/311620
[pid=28746] ppid=28743 vsize=202396 CPUtime=1842.35 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 178435 0 0 0 184225 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 202396
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28889
/proc/meminfo: memFree=31334500/32770624 swapFree=0/311640
[pid=28746] ppid=28743 vsize=202396 CPUtime=1902.35 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 178850 0 0 0 190225 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4894124 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 202396
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28891
/proc/meminfo: memFree=31334508/32770624 swapFree=0/311656
[pid=28746] ppid=28743 vsize=202396 CPUtime=1962.36 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 178850 0 0 0 196226 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4894021 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 202396
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28894
/proc/meminfo: memFree=31334568/32770624 swapFree=0/311664
[pid=28746] ppid=28743 vsize=202396 CPUtime=2022.36 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 179066 0 0 0 202226 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 202396
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28897
/proc/meminfo: memFree=31334700/32770624 swapFree=0/311684
[pid=28746] ppid=28743 vsize=202396 CPUtime=2082.37 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 179265 0 0 0 208227 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 202396
[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 28899
/proc/meminfo: memFree=31334768/32770624 swapFree=0/311704
[pid=28746] ppid=28743 vsize=202396 CPUtime=2142.37 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 179599 0 0 0 214227 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893982 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2142.37
Current children cumulated vsize (KiB) 202396
[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/189 28916
/proc/meminfo: memFree=31330516/32770624 swapFree=0/311752
[pid=28746] ppid=28743 vsize=202396 CPUtime=2202.38 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 179630 0 0 0 220228 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2202.38
Current children cumulated vsize (KiB) 202396
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 28918
/proc/meminfo: memFree=31331660/32770624 swapFree=0/311792
[pid=28746] ppid=28743 vsize=202396 CPUtime=2262.38 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 180045 0 0 0 226228 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2262.38
Current children cumulated vsize (KiB) 202396
[startup+2322.3 s]
/proc/loadavg: 1.87 1.98 2.03 3/185 29042
/proc/meminfo: memFree=31318344/32770624 swapFree=0/311876
[pid=28746] ppid=28743 vsize=202396 CPUtime=2322.38 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 180045 0 0 0 232228 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2322.38
Current children cumulated vsize (KiB) 202396
[startup+2382.3 s]
/proc/loadavg: 1.95 1.99 2.03 3/186 29045
/proc/meminfo: memFree=31318068/32770624 swapFree=0/311884
[pid=28746] ppid=28743 vsize=202396 CPUtime=2382.39 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 180383 0 0 0 238229 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4893991 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2382.39
Current children cumulated vsize (KiB) 202396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 1.97 1.99 2.03 3/186 29045
/proc/meminfo: memFree=31317944/32770624 swapFree=0/311880
[pid=28746] ppid=28743 vsize=202396 CPUtime=2400.09 cores=0,2,4,6
/proc/28746/stat : 28746 (cosoco) R 28743 28746 25100 0 -1 4202496 180416 0 0 0 239999 10 0 0 20 0 1 0 50304360 207253504 44665 18446744073709551615 4194304 5747388 140734201928352 140734201925752 4892815 0 0 1 8405026 0 0 0 17 4 0 0 7 0 0 7845728 7850568 35500032 140734201930222 140734201930317 140734201930317 140734201933774 0
/proc/28746/statm: 50599 44665 749 380 0 44017 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 202396
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 28746 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400
CPU time (s): 2400.1
CPU user time (s): 2399.99
CPU system time (s): 0.110008
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 202396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.110008
maximum resident set size= 178728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180466
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= 46
involuntary context switches= 623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11378 second user time and 10.6123 second system time
The end