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-4243125-1500670929/watcher-4243125-1500670929 -o /tmp/evaluation-result-4243125-1500670929/solver-4243125-1500670929 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500648172-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4243125-1500670929.xml
pid=13204
running on 8 cores: 0,2,4,6,8,10,12,14
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 3/245 13207
/proc/meminfo: memFree=32009344/32770624 swapFree=5824/200172
[pid=13207] ppid=13204 vsize=28044 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 1241 0 0 0 1 0 0 0 20 0 1 0 2358070 28717056 1065 33554432000 4194304 5970956 140727582214032 140727582210632 5673396 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 7011 1065 715 434 0 375 0
[startup+0.100098 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 13207
/proc/meminfo: memFree=32009344/32770624 swapFree=5824/200172
[pid=13207] ppid=13204 vsize=32268 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 2323 0 0 0 9 0 0 0 20 0 1 0 2358070 33042432 2121 33554432000 4194304 5970956 140727582214032 140727582210728 5337412 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8067 2121 767 434 0 1431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32268
[startup+0.200377 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 13207
/proc/meminfo: memFree=32009344/32770624 swapFree=5824/200172
[pid=13207] ppid=13204 vsize=32400 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 2366 0 0 0 19 0 0 0 20 0 1 0 2358070 33177600 2187 33554432000 4194304 5970956 140727582214032 140727582211368 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8100 2187 770 434 0 1464 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32400
[startup+0.300313 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 13207
/proc/meminfo: memFree=32009344/32770624 swapFree=5824/200172
[pid=13207] ppid=13204 vsize=32532 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 2402 0 0 0 29 0 0 0 20 0 1 0 2358070 33312768 2187 33554432000 4194304 5970956 140727582214032 140727582211368 5337505 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8133 2187 770 434 0 1497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32532
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 13207
/proc/meminfo: memFree=32009344/32770624 swapFree=5824/200172
[pid=13207] ppid=13204 vsize=32796 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 2478 0 0 0 69 0 0 0 20 0 1 0 2358070 33583104 2253 33554432000 4194304 5970956 140727582214032 140727582211368 4969902 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8199 2253 770 434 0 1563 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32796
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 13208
/proc/meminfo: memFree=32003032/32770624 swapFree=5824/199980
[pid=13207] ppid=13204 vsize=32928 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 2488 0 0 0 149 0 0 0 20 0 1 0 2358070 33718272 2319 33554432000 4194304 5970956 140727582214032 140727582211368 5311659 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8232 2319 770 434 0 1596 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32928
[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 13208
/proc/meminfo: memFree=32002660/32770624 swapFree=5824/199980
[pid=13207] ppid=13204 vsize=32928 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 3960 0 0 0 309 0 0 0 20 0 1 0 2358070 33718272 2335 33554432000 4194304 5970956 140727582214032 140727582211368 4974141 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8232 2335 770 434 0 1596 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32928
[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/246 13208
/proc/meminfo: memFree=32002728/32770624 swapFree=5824/199968
[pid=13207] ppid=13204 vsize=33060 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 5472 0 0 0 629 0 0 0 20 0 1 0 2358070 33853440 2359 33554432000 4194304 5970956 140727582214032 140727582211368 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2359 770 434 0 1629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33060
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/246 13208
/proc/meminfo: memFree=32001860/32770624 swapFree=5824/199968
[pid=13207] ppid=13204 vsize=33060 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 6961 0 0 0 1269 0 0 0 20 0 1 0 2358070 33853440 2360 33554432000 4194304 5970956 140727582214032 140727582211368 4974704 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2360 770 434 0 1629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33060
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/246 13208
/proc/meminfo: memFree=32002048/32770624 swapFree=5824/199984
[pid=13207] ppid=13204 vsize=33060 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 8714 0 0 0 2548 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4976596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33060
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/246 13274
/proc/meminfo: memFree=32010228/32770624 swapFree=5824/200036
[pid=13207] ppid=13204 vsize=33060 CPUtime=51.08 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 9402 0 0 0 5108 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33060
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/246 13275
/proc/meminfo: memFree=32009972/32770624 swapFree=5824/200124
[pid=13207] ppid=13204 vsize=33060 CPUtime=102.28 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 9881 0 0 0 10228 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4974327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 33060
[startup+162.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/246 13276
/proc/meminfo: memFree=32009948/32770624 swapFree=5824/200196
[pid=13207] ppid=13204 vsize=33060 CPUtime=162.27 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 10359 0 0 0 16227 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4970610 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 33060
[startup+222.308 s]
/proc/loadavg: 2.04 2.04 2.05 3/244 13277
/proc/meminfo: memFree=32010160/32770624 swapFree=5824/200272
[pid=13207] ppid=13204 vsize=33060 CPUtime=222.27 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 10835 0 0 0 22227 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4977089 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 33060
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 13278
/proc/meminfo: memFree=32010052/32770624 swapFree=5824/200316
[pid=13207] ppid=13204 vsize=33060 CPUtime=282.26 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 11311 0 0 0 28226 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4974750 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 33060
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 13279
/proc/meminfo: memFree=32009840/32770624 swapFree=5824/200376
[pid=13207] ppid=13204 vsize=33060 CPUtime=342.25 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 11787 0 0 0 34225 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4970618 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 33060
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 13280
/proc/meminfo: memFree=32009584/32770624 swapFree=5824/200424
[pid=13207] ppid=13204 vsize=33060 CPUtime=402.24 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 12264 0 0 0 40224 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4974400 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 33060
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/242 13281
/proc/meminfo: memFree=32010948/32770624 swapFree=5824/200476
[pid=13207] ppid=13204 vsize=33060 CPUtime=462.24 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 12741 0 0 0 46224 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4974128 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 33060
[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/243 13290
/proc/meminfo: memFree=32009260/32770624 swapFree=5824/200532
[pid=13207] ppid=13204 vsize=33060 CPUtime=522.23 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 13219 0 0 0 52223 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4976859 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 33060
[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 13291
/proc/meminfo: memFree=32008828/32770624 swapFree=5824/200596
[pid=13207] ppid=13204 vsize=33060 CPUtime=582.23 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 13696 0 0 0 58223 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 33060
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13315
/proc/meminfo: memFree=32006528/32770624 swapFree=5824/201276
[pid=13207] ppid=13204 vsize=33060 CPUtime=1542.13 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 20077 0 0 0 154213 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 33060
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13317
/proc/meminfo: memFree=32006812/32770624 swapFree=5824/201324
[pid=13207] ppid=13204 vsize=33060 CPUtime=1602.12 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 20553 0 0 0 160212 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4976747 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 33060
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13318
/proc/meminfo: memFree=32006056/32770624 swapFree=5824/201364
[pid=13207] ppid=13204 vsize=33060 CPUtime=1662.11 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 20822 0 0 0 166211 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4977871 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 33060
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13326
/proc/meminfo: memFree=32004496/32770624 swapFree=5824/201416
[pid=13207] ppid=13204 vsize=33060 CPUtime=1722.11 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 21094 0 0 0 172211 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4977120 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 33060
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13327
/proc/meminfo: memFree=32005240/32770624 swapFree=5824/201460
[pid=13207] ppid=13204 vsize=33060 CPUtime=1782.1 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 21569 0 0 0 178210 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4969789 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 33060
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13328
/proc/meminfo: memFree=32005196/32770624 swapFree=5824/201492
[pid=13207] ppid=13204 vsize=33060 CPUtime=1842.09 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 21838 0 0 0 184209 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4976736 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 33060
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13329
/proc/meminfo: memFree=32007036/32770624 swapFree=5824/201524
[pid=13207] ppid=13204 vsize=33060 CPUtime=1902.09 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 22107 0 0 0 190209 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4978186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 33060
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13330
/proc/meminfo: memFree=32005828/32770624 swapFree=5824/201564
[pid=13207] ppid=13204 vsize=33060 CPUtime=1962.08 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 22582 0 0 0 196208 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4970610 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 33060
[startup+2022.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/243 13331
/proc/meminfo: memFree=32005876/32770624 swapFree=5824/201608
[pid=13207] ppid=13204 vsize=33060 CPUtime=2022.08 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 22854 0 0 0 202208 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 33060
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 13332
/proc/meminfo: memFree=32006112/32770624 swapFree=5824/201640
[pid=13207] ppid=13204 vsize=33060 CPUtime=2082.08 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 23128 0 0 0 208208 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4977351 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 33060
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 13333
/proc/meminfo: memFree=32005716/32770624 swapFree=5824/201680
[pid=13207] ppid=13204 vsize=33060 CPUtime=2142.06 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 23400 0 0 0 214206 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4974553 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 33060
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 13334
/proc/meminfo: memFree=32005784/32770624 swapFree=5824/201716
[pid=13207] ppid=13204 vsize=33060 CPUtime=2202.06 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 23873 0 0 0 220206 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4974112 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 33060
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 13335
/proc/meminfo: memFree=32005700/32770624 swapFree=5824/201748
[pid=13207] ppid=13204 vsize=33060 CPUtime=2262.05 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 24143 0 0 0 226205 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4971778 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 33060
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13343
/proc/meminfo: memFree=32006136/32770624 swapFree=5824/201820
[pid=13207] ppid=13204 vsize=33060 CPUtime=2322.05 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 24417 0 0 0 232205 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4978416 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 33060
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13344
/proc/meminfo: memFree=32005488/32770624 swapFree=5824/201856
[pid=13207] ppid=13204 vsize=33060 CPUtime=2382.04 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 24893 0 0 0 238204 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 33060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13344
/proc/meminfo: memFree=32005612/32770624 swapFree=5824/201864
[pid=13207] ppid=13204 vsize=33060 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 25161 0 0 0 240004 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 33060
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 13207 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13344
/proc/meminfo: memFree=32005612/32770624 swapFree=5824/201864
[pid=13207] ppid=13204 vsize=33060 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/13207/stat : 13207 (cosoco) R 13204 13207 9820 0 -1 4202496 25161 0 0 0 240004 0 0 0 20 0 1 0 2358070 33853440 2362 33554432000 4194304 5970956 140727582214032 140727582211368 4977769 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 35901440 140727582217409 140727582217539 140727582217539 140727582220238 0
/proc/13207/statm: 8265 2362 770 434 0 1629 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 33060
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.06
CPU user time (s): 2400.05
CPU system time (s): 0.008999
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 33060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.008999
maximum resident set size= 9492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25190
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= 14
involuntary context switches= 120627
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52801 second user time and 10.7036 second system time
The end