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-4242143-1500657824/watcher-4242143-1500657824 -o /tmp/evaluation-result-4242143-1500657824/solver-4242143-1500657824 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500648172-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242143-1500657824.xml
pid=11296
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: 1.94 1.99 2.04 3/242 11299
/proc/meminfo: memFree=32036076/32770624 swapFree=5824/189308
[pid=11299] ppid=11296 vsize=26992 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1031 0 0 0 1 0 0 0 20 0 1 0 1047625 27639808 832 33554432000 4194304 5970956 140725581668832 140725581665432 139944218983520 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 832 738 434 0 112 0
[startup+0.100095 s]
/proc/loadavg: 1.94 1.99 2.04 3/242 11299
/proc/meminfo: memFree=32036076/32770624 swapFree=5824/189308
[pid=11299] ppid=11296 vsize=26992 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1032 0 0 0 9 0 0 0 20 0 1 0 1047625 27639808 832 33554432000 4194304 5970956 140725581668832 140725581656136 5333488 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 832 738 434 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26992
[startup+0.200229 s]
/proc/loadavg: 1.94 1.99 2.04 3/242 11299
/proc/meminfo: memFree=32036076/32770624 swapFree=5824/189308
[pid=11299] ppid=11296 vsize=26992 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1032 0 0 0 19 0 0 0 20 0 1 0 1047625 27639808 832 33554432000 4194304 5970956 140725581668832 140725581656136 5047040 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 832 738 434 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26992
[startup+0.30018 s]
/proc/loadavg: 1.94 1.99 2.04 3/242 11299
/proc/meminfo: memFree=32036076/32770624 swapFree=5824/189308
[pid=11299] ppid=11296 vsize=26992 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1032 0 0 0 29 0 0 0 20 0 1 0 1047625 27639808 832 33554432000 4194304 5970956 140725581668832 140725581656136 5045224 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 832 738 434 0 112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26992
[startup+0.70018 s]
/proc/loadavg: 1.94 1.99 2.04 3/242 11299
/proc/meminfo: memFree=32036076/32770624 swapFree=5824/189308
[pid=11299] ppid=11296 vsize=26992 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1032 0 0 0 69 0 0 0 20 0 1 0 1047625 27639808 832 33554432000 4194304 5970956 140725581668832 140725581666392 5044874 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 832 738 434 0 112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26992
[startup+1.50018 s]
/proc/loadavg: 1.86 1.98 2.03 3/243 11300
/proc/meminfo: memFree=32035936/32770624 swapFree=5824/189308
[pid=11299] ppid=11296 vsize=26992 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1032 0 0 0 149 0 0 0 20 0 1 0 1047625 27639808 832 33554432000 4194304 5970956 140725581668832 140725581666392 5044849 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 832 738 434 0 112 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26992
[startup+3.10018 s]
/proc/loadavg: 1.86 1.98 2.03 3/243 11300
/proc/meminfo: memFree=32035532/32770624 swapFree=5824/189308
[pid=11299] ppid=11296 vsize=26992 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1067 0 0 0 309 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5045648 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26992
[startup+6.30018 s]
/proc/loadavg: 1.86 1.98 2.03 3/243 11300
/proc/meminfo: memFree=32034912/32770624 swapFree=5824/189344
[pid=11299] ppid=11296 vsize=26992 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1102 0 0 0 629 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5046748 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26992
[startup+12.7002 s]
/proc/loadavg: 1.88 1.98 2.03 3/243 11300
/proc/meminfo: memFree=32034532/32770624 swapFree=5824/189352
[pid=11299] ppid=11296 vsize=26992 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1123 0 0 0 1269 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5047092 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26992
[startup+25.5002 s]
/proc/loadavg: 1.90 1.98 2.03 3/243 11300
/proc/meminfo: memFree=32034408/32770624 swapFree=5824/189368
[pid=11299] ppid=11296 vsize=26992 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1165 0 0 0 2549 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5136620 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26992
[startup+51.1002 s]
/proc/loadavg: 1.93 1.98 2.03 3/243 11300
/proc/meminfo: memFree=32033912/32770624 swapFree=5824/189392
[pid=11299] ppid=11296 vsize=26992 CPUtime=51.09 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1200 0 0 0 5109 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5045333 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26992
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/243 11302
/proc/meminfo: memFree=32034036/32770624 swapFree=5824/189480
[pid=11299] ppid=11296 vsize=26992 CPUtime=102.29 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1249 0 0 0 10229 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5046932 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 26992
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/243 11303
/proc/meminfo: memFree=32033240/32770624 swapFree=5824/189544
[pid=11299] ppid=11296 vsize=26992 CPUtime=162.28 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1285 0 0 0 16228 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5045347 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 26992
[startup+222.307 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11304
/proc/meminfo: memFree=32033244/32770624 swapFree=5824/189592
[pid=11299] ppid=11296 vsize=26992 CPUtime=222.28 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1321 0 0 0 22228 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5044849 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 26992
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11306
/proc/meminfo: memFree=32033360/32770624 swapFree=5824/189664
[pid=11299] ppid=11296 vsize=26992 CPUtime=282.27 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1357 0 0 0 28227 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5046806 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 26992
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/243 11307
/proc/meminfo: memFree=32033344/32770624 swapFree=5824/189712
[pid=11299] ppid=11296 vsize=26992 CPUtime=342.27 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1379 0 0 0 34227 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5045464 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 26992
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/243 11315
/proc/meminfo: memFree=32032724/32770624 swapFree=5824/189788
[pid=11299] ppid=11296 vsize=26992 CPUtime=402.26 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1415 0 0 0 40226 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5044845 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 26992
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/243 11316
/proc/meminfo: memFree=32032964/32770624 swapFree=5824/189840
[pid=11299] ppid=11296 vsize=26992 CPUtime=462.26 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1451 0 0 0 46226 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5045461 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 26992
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11317
/proc/meminfo: memFree=32033344/32770624 swapFree=5824/189892
[pid=11299] ppid=11296 vsize=26992 CPUtime=522.25 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1487 0 0 0 52225 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5098954 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 26992
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11318
/proc/meminfo: memFree=32033568/32770624 swapFree=5824/189956
[pid=11299] ppid=11296 vsize=26992 CPUtime=582.25 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1523 0 0 0 58225 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5044845 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 26992
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11319
/proc/meminfo: memFree=32032948/32770624 swapFree=5824/190000
[pid=11299] ppid=11296 vsize=26992 CPUtime=642.24 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1559 0 0 0 64224 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5045321 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 642.24
Current children cumulated vsize (KiB) 26992
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11320
/proc/meminfo: memFree=32031208/32770624 swapFree=5824/190056
[pid=11299] ppid=11296 vsize=26992 CPUtime=702.24 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1593 0 0 0 70224 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5136560 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 26992
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11321
/proc/meminfo: memFree=32029928/32770624 swapFree=5824/190120
[pid=11299] ppid=11296 vsize=26992 CPUtime=762.24 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1629 0 0 0 76224 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5136560 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 26992
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 11322
/proc/meminfo: memFree=32030576/32770624 swapFree=5824/190168
[pid=11299] ppid=11296 vsize=26992 CPUtime=822.23 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1651 0 0 0 82223 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5044849 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 822.23
Current children cumulated vsize (KiB) 26992
[startup+882.307 s]
/proc/loadavg: 2.04 2.01 2.04 3/243 11323
/proc/meminfo: memFree=32029748/32770624 swapFree=5824/190212
[pid=11299] ppid=11296 vsize=26992 CPUtime=882.23 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1685 0 0 0 88223 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5045486 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 26992
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/243 11324
/proc/meminfo: memFree=32029332/32770624 swapFree=5824/190204
[pid=11299] ppid=11296 vsize=26992 CPUtime=942.22 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1721 0 0 0 94222 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5046572 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 942.22
Current children cumulated vsize (KiB) 26992
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/243 11332
/proc/meminfo: memFree=32029524/32770624 swapFree=5824/190280
[pid=11299] ppid=11296 vsize=26992 CPUtime=1002.22 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1757 0 0 0 100222 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5045736 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1002.22
Current children cumulated vsize (KiB) 26992
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11333
/proc/meminfo: memFree=32029520/32770624 swapFree=5824/190336
[pid=11299] ppid=11296 vsize=26992 CPUtime=1062.21 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1793 0 0 0 106221 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581666392 5045969 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 26992
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11299 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11333
/proc/meminfo: memFree=32029084/32770624 swapFree=5824/190344
[pid=11299] ppid=11296 vsize=26992 CPUtime=1075.11 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1793 0 0 0 107511 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5136615 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1075.11
Current children cumulated vsize (KiB) 26992
[startup+1088.01 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11334
/proc/meminfo: memFree=32029752/32770624 swapFree=5824/190380
[pid=11299] ppid=11296 vsize=26992 CPUtime=1087.92 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1815 0 0 0 108792 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5045308 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1087.92
Current children cumulated vsize (KiB) 26992
[startup+1094.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11334
/proc/meminfo: memFree=32029876/32770624 swapFree=5824/190380
[pid=11299] ppid=11296 vsize=26992 CPUtime=1094.31 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1815 0 0 0 109431 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5044775 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1094.31
Current children cumulated vsize (KiB) 26992
[startup+1096 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11334
/proc/meminfo: memFree=32029752/32770624 swapFree=5824/190388
[pid=11299] ppid=11296 vsize=26992 CPUtime=1095.91 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1815 0 0 0 109591 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5136611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1095.91
Current children cumulated vsize (KiB) 26992
[startup+1096.81 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11334
/proc/meminfo: memFree=32030000/32770624 swapFree=5824/190388
[pid=11299] ppid=11296 vsize=26992 CPUtime=1096.72 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1815 0 0 0 109672 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5047689 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1096.72
Current children cumulated vsize (KiB) 26992
[startup+1097.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11334
/proc/meminfo: memFree=32030000/32770624 swapFree=5824/190388
[pid=11299] ppid=11296 vsize=26992 CPUtime=1097.51 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1815 0 0 0 109751 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5136786 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1097.51
Current children cumulated vsize (KiB) 26992
[startup+1097.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11334
/proc/meminfo: memFree=32030124/32770624 swapFree=5824/190388
[pid=11299] ppid=11296 vsize=26992 CPUtime=1097.72 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1815 0 0 0 109772 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5045461 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1097.72
Current children cumulated vsize (KiB) 26992
[startup+1097.91 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 11334
/proc/meminfo: memFree=32030124/32770624 swapFree=5824/190388
[pid=11299] ppid=11296 vsize=26992 CPUtime=1097.82 cores=0,2,4,6,8,10,12,14
/proc/11299/stat : 11299 (cosoco) R 11296 11299 9820 0 -1 4202496 1815 0 0 0 109782 0 0 0 20 0 1 0 1047625 27639808 873 33554432000 4194304 5970956 140725581668832 140725581656136 5136625 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 32415744 140725581677761 140725581677891 140725581677891 140725581680590 0
/proc/11299/statm: 6748 873 776 434 0 112 0
Current children cumulated CPU time (s) 1097.82
Current children cumulated vsize (KiB) 26992
Child status: 0
Real time (s): 1097.99
CPU time (s): 1097.9
CPU user time (s): 1097.9
CPU system time (s): 0.003999
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 26992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1097.9
system time used= 0.003999
maximum resident set size= 3576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1872
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= 6
involuntary context switches= 55175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.12574 second user time and 4.92368 second system time
The end