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-4260025-1502036313/watcher-4260025-1502036313 -o /tmp/evaluation-result-4260025-1502036313/solver-4260025-1502036313 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22616 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260025-1502036313.xml
pid=27034
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: 2.00 2.01 2.05 2/182 27037
/proc/meminfo: memFree=31694056/32770624 swapFree=0/350292
[pid=27037] ppid=27034 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27037/stat : 27037 (runsolver) D 27034 27037 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5827084 24240128 107 18446744073709551615 4194304 4338465 140723314975536 140723314973176 140516649927383 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 39559168 140723314983106 140723314983498 140723314983498 140723314986954 0
/proc/27037/statm: 5918 107 54 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 27037
/proc/meminfo: memFree=31694056/32770624 swapFree=0/350292
[pid=27037] ppid=27034 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27037/stat : 27037 (runsolver) D 27034 27037 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5827084 24240128 107 18446744073709551615 4194304 4338465 140723314975536 140723314973176 140516649927383 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 39559168 140723314983106 140723314983498 140723314983498 140723314986954 0
/proc/27037/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200358 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 27037
/proc/meminfo: memFree=31694056/32770624 swapFree=0/350292
[pid=27037] ppid=27034 vsize=27576 CPUtime=0.09 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 1192 0 0 0 9 0 0 0 20 0 1 0 5827084 28237824 1023 18446744073709551615 4194304 5747388 140722005815344 140722005811992 4894014 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1023 756 380 0 312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27576
[startup+0.300321 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 27037
/proc/meminfo: memFree=31694056/32770624 swapFree=0/350292
[pid=27037] ppid=27034 vsize=27576 CPUtime=0.19 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 1192 0 0 0 19 0 0 0 20 0 1 0 5827084 28237824 1023 18446744073709551615 4194304 5747388 140722005815344 140722005811992 4912528 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1023 756 380 0 312 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27576
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 2/182 27037
/proc/meminfo: memFree=31694056/32770624 swapFree=0/350292
[pid=27037] ppid=27034 vsize=27576 CPUtime=0.59 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 1193 0 0 0 59 0 0 0 20 0 1 0 5827084 28237824 1023 18446744073709551615 4194304 5747388 140722005815344 140722005811992 4893982 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1023 756 380 0 312 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 27576
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 27038
/proc/meminfo: memFree=31692260/32770624 swapFree=0/350288
[pid=27037] ppid=27034 vsize=27576 CPUtime=1.39 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 1193 0 0 0 139 0 0 0 20 0 1 0 5827084 28237824 1023 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4893991 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1023 756 380 0 312 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 27576
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 27038
/proc/meminfo: memFree=31691864/32770624 swapFree=0/350296
[pid=27037] ppid=27034 vsize=27576 CPUtime=2.99 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 1395 0 0 0 299 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4893999 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 27576
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 27038
/proc/meminfo: memFree=31691460/32770624 swapFree=0/350304
[pid=27037] ppid=27034 vsize=27576 CPUtime=6.19 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 1597 0 0 0 619 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4893984 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 27576
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 27038
/proc/meminfo: memFree=31691512/32770624 swapFree=0/350308
[pid=27037] ppid=27034 vsize=27576 CPUtime=12.59 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 1799 0 0 0 1259 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4949508 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 27576
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 27038
/proc/meminfo: memFree=31691388/32770624 swapFree=0/350320
[pid=27037] ppid=27034 vsize=27576 CPUtime=25.38 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 2203 0 0 0 2538 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894014 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 27576
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27038
/proc/meminfo: memFree=31691408/32770624 swapFree=0/350328
[pid=27037] ppid=27034 vsize=27576 CPUtime=50.98 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 2405 0 0 0 5098 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 5127039 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 27576
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27040
/proc/meminfo: memFree=31691424/32770624 swapFree=0/350364
[pid=27037] ppid=27034 vsize=27576 CPUtime=102.18 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 2607 0 0 0 10218 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4912049 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 27576
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27042
/proc/meminfo: memFree=31691308/32770624 swapFree=0/350388
[pid=27037] ppid=27034 vsize=27576 CPUtime=162.17 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 2809 0 0 0 16217 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894528 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 27576
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27044
/proc/meminfo: memFree=31691580/32770624 swapFree=0/350420
[pid=27037] ppid=27034 vsize=27576 CPUtime=222.17 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 3011 0 0 0 22217 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4995112 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 27576
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 27046
/proc/meminfo: memFree=31691332/32770624 swapFree=0/350452
[pid=27037] ppid=27034 vsize=27576 CPUtime=282.16 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 3213 0 0 0 28216 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 5127103 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 27576
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 27063
/proc/meminfo: memFree=31687236/32770624 swapFree=0/350508
[pid=27037] ppid=27034 vsize=27576 CPUtime=342.16 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 3415 0 0 0 34216 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4893991 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 27576
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 27065
/proc/meminfo: memFree=31686960/32770624 swapFree=0/350544
[pid=27037] ppid=27034 vsize=27576 CPUtime=402.15 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 3617 0 0 0 40215 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894030 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 27576
[startup+462.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/182 27067
/proc/meminfo: memFree=31690512/32770624 swapFree=0/350580
[pid=27037] ppid=27034 vsize=27576 CPUtime=462.15 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 3819 0 0 0 46215 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894553 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 27576
[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 27069
/proc/meminfo: memFree=31690616/32770624 swapFree=0/350604
[pid=27037] ppid=27034 vsize=27576 CPUtime=522.14 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 4021 0 0 0 52214 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4912648 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 27576
[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 27071
/proc/meminfo: memFree=31691604/32770624 swapFree=0/350636
[pid=27037] ppid=27034 vsize=27576 CPUtime=582.14 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 4223 0 0 0 58214 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894030 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 27576
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 28108
/proc/meminfo: memFree=31692024/32770624 swapFree=0/352136
[pid=27037] ppid=27034 vsize=27576 CPUtime=1482.06 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 7114 0 0 0 148206 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4949488 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 27576
[startup+1542.31 s]
/proc/loadavg: 1.91 1.98 2.03 3/185 28368
/proc/meminfo: memFree=30681952/32770624 swapFree=0/352304
[pid=27037] ppid=27034 vsize=27576 CPUtime=1542.06 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 7295 0 0 0 154206 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4890275 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 27576
[startup+1602.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/185 28370
/proc/meminfo: memFree=28465636/32770624 swapFree=0/352348
[pid=27037] ppid=27034 vsize=27576 CPUtime=1602.05 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 7479 0 0 0 160205 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4892835 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 27576
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 28432
/proc/meminfo: memFree=29807248/32770624 swapFree=0/352412
[pid=27037] ppid=27034 vsize=27576 CPUtime=1662.04 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 7645 0 0 0 166204 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 5126888 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 27576
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 28434
/proc/meminfo: memFree=23902188/32770624 swapFree=0/352452
[pid=27037] ppid=27034 vsize=27576 CPUtime=1722.04 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 7847 0 0 0 172204 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4893936 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 27576
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 28436
/proc/meminfo: memFree=17888464/32770624 swapFree=0/352480
[pid=27037] ppid=27034 vsize=27576 CPUtime=1782.03 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 8000 0 0 0 178203 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894018 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 27576
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 28498
/proc/meminfo: memFree=30343472/32770624 swapFree=0/352556
[pid=27037] ppid=27034 vsize=27576 CPUtime=1842.03 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 8149 0 0 0 184203 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4893991 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 27576
[startup+1902.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/181 28549
/proc/meminfo: memFree=31686912/32770624 swapFree=0/352628
[pid=27037] ppid=27034 vsize=27576 CPUtime=1902.02 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 8354 0 0 0 190202 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4917609 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 27576
[startup+1962.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 28551
/proc/meminfo: memFree=31686544/32770624 swapFree=0/352700
[pid=27037] ppid=27034 vsize=27576 CPUtime=1962.02 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 8506 0 0 0 196202 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894541 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 27576
[startup+2022.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/181 28553
/proc/meminfo: memFree=31685932/32770624 swapFree=0/352768
[pid=27037] ppid=27034 vsize=27576 CPUtime=2022.01 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 8663 0 0 0 202201 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894532 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 27576
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 28555
/proc/meminfo: memFree=31685804/32770624 swapFree=0/352828
[pid=27037] ppid=27034 vsize=27576 CPUtime=2082.01 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 8865 0 0 0 208201 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4894021 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2082.01
Current children cumulated vsize (KiB) 27576
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 28571
/proc/meminfo: memFree=31681908/32770624 swapFree=0/352916
[pid=27037] ppid=27034 vsize=27576 CPUtime=2142 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 9034 0 0 0 214200 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4918608 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 27576
[startup+2202.31 s]
/proc/loadavg: 2.01 2.01 2.05 3/184 28573
/proc/meminfo: memFree=31681800/32770624 swapFree=0/352972
[pid=27037] ppid=27034 vsize=27576 CPUtime=2202 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 9214 0 0 0 220200 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4892800 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2202
Current children cumulated vsize (KiB) 27576
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28575
/proc/meminfo: memFree=31684924/32770624 swapFree=0/353008
[pid=27037] ppid=27034 vsize=27576 CPUtime=2261.99 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 9416 0 0 0 226199 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4892860 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2261.99
Current children cumulated vsize (KiB) 27576
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28577
/proc/meminfo: memFree=31685560/32770624 swapFree=0/353048
[pid=27037] ppid=27034 vsize=27576 CPUtime=2321.99 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 9595 0 0 0 232199 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4893982 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 27576
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28579
/proc/meminfo: memFree=31685620/32770624 swapFree=0/353080
[pid=27037] ppid=27034 vsize=27576 CPUtime=2381.98 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 9774 0 0 0 238198 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 4892751 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2381.98
Current children cumulated vsize (KiB) 27576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28579
/proc/meminfo: memFree=31685620/32770624 swapFree=0/353088
[pid=27037] ppid=27034 vsize=27576 CPUtime=2400.08 cores=0,2,4,6
/proc/27037/stat : 27037 (cosoco) R 27034 27037 21827 0 -1 4202496 9949 0 0 0 240008 0 0 0 20 0 1 0 5827084 28237824 1035 18446744073709551615 4194304 5747388 140722005815344 140722005802616 5000032 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 7845728 7850568 33759232 140722005819887 140722005819982 140722005819982 140722005823438 0
/proc/27037/statm: 6894 1035 761 380 0 312 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27576
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 27037 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.09
CPU user time (s): 2400.09
CPU system time (s): 0.004999
CPU usage (%): 99.9871
Max. virtual memory (cumulated for all children) (KiB): 27576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.004999
maximum resident set size= 4216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10001
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= 10
involuntary context switches= 3001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61252 second user time and 7.30171 second system time
The end