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-4242233-1500659901/watcher-4242233-1500659901 -o /tmp/evaluation-result-4242233-1500659901/solver-4242233-1500659901 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500648178-9850 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242233-1500659901.xml
pid=13718
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/242 13721
/proc/meminfo: memFree=32031420/32770624 swapFree=5992/194036
[pid=13721] ppid=13718 vsize=27400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 1046 0 0 0 1 0 0 0 20 0 1 0 1260079 28057600 871 33554432000 4194304 5970956 140729664597040 140729664591448 140576241265637 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 6850 871 698 434 0 214 0
[startup+0.100127 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 13721
/proc/meminfo: memFree=32031420/32770624 swapFree=5992/194036
[pid=13721] ppid=13718 vsize=31840 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 2159 0 0 0 9 0 0 0 20 0 1 0 1260079 32604160 1980 33554432000 4194304 5970956 140729664597040 140729664592376 140576241265637 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 7960 1980 704 434 0 1324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31840
[startup+0.200293 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 13721
/proc/meminfo: memFree=32031420/32770624 swapFree=5992/194036
[pid=13721] ppid=13718 vsize=41264 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 4501 0 0 0 19 0 0 0 20 0 1 0 1260079 42254336 4290 33554432000 4194304 5970956 140729664597040 140729664592392 5368984 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 10316 4290 712 434 0 3680 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41264
[startup+0.300272 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 13721
/proc/meminfo: memFree=32031420/32770624 swapFree=5992/194036
[pid=13721] ppid=13718 vsize=41832 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 4651 0 0 0 28 1 0 0 20 0 1 0 1260079 42835968 4488 33554432000 4194304 5970956 140729664597040 140729664593640 5379788 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 10458 4488 712 434 0 3822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41832
[startup+0.700183 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 13721
/proc/meminfo: memFree=32031420/32770624 swapFree=5992/194036
[pid=13721] ppid=13718 vsize=58748 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 8889 0 0 0 68 1 0 0 20 0 1 0 1260079 60157952 8712 33554432000 4194304 5970956 140729664597040 140729664590936 5136060 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 14687 8712 735 434 0 8051 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58748
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13722
/proc/meminfo: memFree=31999044/32770624 swapFree=5992/194476
[pid=13721] ppid=13718 vsize=58748 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 8889 0 0 0 148 1 0 0 20 0 1 0 1260079 60157952 8712 33554432000 4194304 5970956 140729664597040 140729664590936 5633630 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 14687 8712 735 434 0 8051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58748
[startup+3.10018 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 13722
/proc/meminfo: memFree=31998080/32770624 swapFree=5992/194104
[pid=13721] ppid=13718 vsize=58748 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 9250 0 0 0 308 1 0 0 20 0 1 0 1260079 60157952 8729 33554432000 4194304 5970956 140729664597040 140729664590936 5472368 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 14687 8729 736 434 0 8051 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58748
[startup+6.30026 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 13722
/proc/meminfo: memFree=31996128/32770624 swapFree=5992/194136
[pid=13721] ppid=13718 vsize=60596 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 18439 0 0 0 627 1 0 0 20 0 1 0 1260079 62050304 9272 33554432000 4194304 5970956 140729664597040 140729664584360 5045304 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 15149 9272 778 434 0 8513 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 60596
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 13722
/proc/meminfo: memFree=31899004/32770624 swapFree=5992/194112
[pid=13721] ppid=13718 vsize=159124 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 47917 0 0 0 1261 7 0 0 20 0 1 0 1260079 162942976 33815 33554432000 4194304 5970956 140729664597040 140729664593912 5045311 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 39781 33815 778 434 0 33145 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 159124
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 13722
/proc/meminfo: memFree=31813692/32770624 swapFree=5992/194128
[pid=13721] ppid=13718 vsize=244168 CPUtime=25.47 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 90503 0 0 0 2533 14 0 0 20 0 1 0 1260079 250028032 55081 33554432000 4194304 5970956 140729664597040 140729664593912 5031424 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 61042 55081 778 434 0 54406 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 244168
[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/243 13722
/proc/meminfo: memFree=31220932/32770624 swapFree=5992/194148
[pid=13721] ppid=13718 vsize=869516 CPUtime=51.05 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 245254 0 0 0 5066 39 0 0 20 0 1 0 1260079 890384384 202958 33554432000 4194304 5970956 140729664597040 140729664593912 5136596 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 217379 202958 778 434 0 210743 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 869516
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/243 13730
/proc/meminfo: memFree=31178868/32770624 swapFree=5992/194196
[pid=13721] ppid=13718 vsize=915140 CPUtime=102.22 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 267737 0 0 0 10180 42 0 0 20 0 1 0 1260079 937103360 212769 33554432000 4194304 5970956 140729664597040 140729664593816 5031424 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 228785 212769 778 434 0 222149 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 915140
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/243 13753
/proc/meminfo: memFree=30915352/32770624 swapFree=5992/194248
[pid=13721] ppid=13718 vsize=1210588 CPUtime=162.16 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 384326 0 0 0 16159 57 0 0 20 0 1 0 1260079 1239642112 278883 33554432000 4194304 5970956 140729664597040 140729664593912 5045736 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 302647 278883 778 434 0 296011 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 1210588
[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 13754
/proc/meminfo: memFree=30896500/32770624 swapFree=5992/194288
[pid=13721] ppid=13718 vsize=1233296 CPUtime=222.12 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 400860 0 0 0 22152 60 0 0 20 0 1 0 1260079 1262895104 283634 33554432000 4194304 5970956 140729664597040 140729664593912 5045304 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 308324 283634 778 434 0 301688 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 1233296
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 13755
/proc/meminfo: memFree=30892488/32770624 swapFree=5992/194328
[pid=13721] ppid=13718 vsize=1237932 CPUtime=282.06 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 413025 0 0 0 28145 61 0 0 20 0 1 0 1260079 1267642368 284606 33554432000 4194304 5970956 140729664597040 140729664593912 5093168 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 309483 284606 778 434 0 302847 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 1237932
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 13756
/proc/meminfo: memFree=30880304/32770624 swapFree=5992/194364
[pid=13721] ppid=13718 vsize=1252280 CPUtime=342.01 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 433246 0 0 0 34139 62 0 0 20 0 1 0 1260079 1282334720 287740 33554432000 4194304 5970956 140729664597040 140729664593816 5136587 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 313070 287740 778 434 0 306434 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 1252280
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 13757
/proc/meminfo: memFree=30865028/32770624 swapFree=5992/194404
[pid=13721] ppid=13718 vsize=1269092 CPUtime=401.97 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 456445 0 0 0 40132 65 0 0 20 0 1 0 1260079 1299550208 291552 33554432000 4194304 5970956 140729664597040 140729664593912 5136786 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 317273 291552 778 434 0 310637 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 1269092
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 13758
/proc/meminfo: memFree=30852592/32770624 swapFree=5992/194444
[pid=13721] ppid=13718 vsize=1269092 CPUtime=461.92 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 487612 0 0 0 46122 70 0 0 20 0 1 0 1260079 1299550208 294551 33554432000 4194304 5970956 140729664597040 140729664593912 5093396 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 317273 294551 778 434 0 310637 0
Current children cumulated CPU time (s) 461.92
Current children cumulated vsize (KiB) 1269092
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/243 13759
/proc/meminfo: memFree=30838700/32770624 swapFree=5992/194480
[pid=13721] ppid=13718 vsize=1269092 CPUtime=521.87 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 500960 0 0 0 52116 71 0 0 20 0 1 0 1260079 1299550208 298083 33554432000 4194304 5970956 140729664597040 140729664593912 5136608 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 317273 298083 778 434 0 310637 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 1269092
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/243 13760
/proc/meminfo: memFree=30814796/32770624 swapFree=5992/194516
[pid=13721] ppid=13718 vsize=1278716 CPUtime=581.83 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 516657 0 0 0 58110 73 0 0 20 0 1 0 1260079 1309405184 304020 33554432000 4194304 5970956 140729664597040 140729664593816 5136803 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 319679 304020 778 434 0 313043 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 1278716
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 13988
/proc/meminfo: memFree=30665984/32770624 swapFree=5992/195256
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1541.11 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 576011 0 0 0 154029 82 0 0 20 0 1 0 1260079 1335787520 318879 33554432000 4194304 5970956 140729664597040 140729664593816 5045736 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 318879 778 434 0 319484 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 1304480
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 13990
/proc/meminfo: memFree=30664696/32770624 swapFree=5992/195280
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1601.07 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 578200 0 0 0 160024 83 0 0 20 0 1 0 1260079 1335787520 318888 33554432000 4194304 5970956 140729664597040 140729664593816 5045304 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 318888 778 434 0 319484 0
Current children cumulated CPU time (s) 1601.07
Current children cumulated vsize (KiB) 1304480
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 13991
/proc/meminfo: memFree=30659024/32770624 swapFree=5992/195344
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1661.02 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 579914 0 0 0 166019 83 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136625 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 1661.02
Current children cumulated vsize (KiB) 1304480
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 13992
/proc/meminfo: memFree=30659032/32770624 swapFree=5992/195356
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1720.97 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 581462 0 0 0 172014 83 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136797 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 1720.97
Current children cumulated vsize (KiB) 1304480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13994
/proc/meminfo: memFree=30659108/32770624 swapFree=5992/195404
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1780.92 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 582976 0 0 0 178009 83 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136629 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 1780.92
Current children cumulated vsize (KiB) 1304480
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 13995
/proc/meminfo: memFree=30659008/32770624 swapFree=5992/195428
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1840.89 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 584576 0 0 0 184005 84 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136615 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 1840.89
Current children cumulated vsize (KiB) 1304480
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14003
/proc/meminfo: memFree=30660424/32770624 swapFree=5992/195472
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1900.84 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 585972 0 0 0 190000 84 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5311648 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 1900.84
Current children cumulated vsize (KiB) 1304480
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14004
/proc/meminfo: memFree=30659752/32770624 swapFree=5992/195512
[pid=13721] ppid=13718 vsize=1304480 CPUtime=1960.79 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 587329 0 0 0 195995 84 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136625 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 1960.79
Current children cumulated vsize (KiB) 1304480
[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 14005
/proc/meminfo: memFree=30660300/32770624 swapFree=5992/195544
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2020.74 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 588895 0 0 0 201990 84 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5327850 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2020.74
Current children cumulated vsize (KiB) 1304480
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 14006
/proc/meminfo: memFree=30660280/32770624 swapFree=5992/195580
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2080.72 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 590356 0 0 0 207987 85 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136608 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2080.72
Current children cumulated vsize (KiB) 1304480
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 14007
/proc/meminfo: memFree=30659452/32770624 swapFree=5992/195640
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2140.66 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 591761 0 0 0 213981 85 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5031424 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2140.66
Current children cumulated vsize (KiB) 1304480
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14008
/proc/meminfo: memFree=30659808/32770624 swapFree=5992/195672
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2200.62 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 593054 0 0 0 219977 85 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5045304 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2200.62
Current children cumulated vsize (KiB) 1304480
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14009
/proc/meminfo: memFree=30660544/32770624 swapFree=5992/195688
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2260.57 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 594495 0 0 0 225972 85 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5031483 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2260.57
Current children cumulated vsize (KiB) 1304480
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14010
/proc/meminfo: memFree=30659972/32770624 swapFree=5992/195720
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2320.53 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 595800 0 0 0 231967 86 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5337492 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2320.53
Current children cumulated vsize (KiB) 1304480
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14011
/proc/meminfo: memFree=30660392/32770624 swapFree=5992/195756
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2380.48 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 597341 0 0 0 237962 86 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136560 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2380.48
Current children cumulated vsize (KiB) 1304480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14011
/proc/meminfo: memFree=30660152/32770624 swapFree=5992/195780
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 597531 0 0 0 239920 86 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136625 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 1304480
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 13721 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 14011
/proc/meminfo: memFree=30660152/32770624 swapFree=5992/195780
[pid=13721] ppid=13718 vsize=1304480 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/13721/stat : 13721 (cosoco) R 13718 13721 9819 0 -1 4202496 597531 0 0 0 239920 86 0 0 20 0 1 0 1260079 1335787520 319996 33554432000 4194304 5970956 140729664597040 140729664593816 5136625 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 10960896 140729664599233 140729664599363 140729664599363 140729664602062 0
/proc/13721/statm: 326120 319996 778 434 0 319484 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 1304480
Child status: 1
Real time (s): 2401.91
CPU time (s): 2400.08
CPU user time (s): 2399.21
CPU system time (s): 0.872342
CPU usage (%): 99.924
Max. virtual memory (cumulated for all children) (KiB): 1304480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.21
system time used= 0.872342
maximum resident set size= 1280032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597560
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= 45
involuntary context switches= 120845
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.524 second user time and 12.2988 second system time
The end