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-4242408-1500662600/watcher-4242408-1500662600 -o /tmp/evaluation-result-4242408-1500662600/solver-4242408-1500662600 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500648172-9852 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242408-1500662600.xml
pid=12422
running on 8 cores: 1,3,5,7,9,11,13,15
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.30 2.08 2.07 2/243 12425
/proc/meminfo: memFree=31714152/32770624 swapFree=5824/194012
[pid=12425] ppid=12422 vsize=27128 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 983 0 0 0 1 0 0 0 20 0 1 0 1525355 27779072 766 33554432000 4194304 5970956 140722142472464 140722142469064 5673746 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 6782 766 684 434 0 146 0
[startup+0.100144 s]
/proc/loadavg: 2.30 2.08 2.07 2/243 12425
/proc/meminfo: memFree=31714152/32770624 swapFree=5824/194012
[pid=12425] ppid=12422 vsize=27540 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1101 0 0 0 9 0 0 0 20 0 1 0 1525355 28200960 898 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 6885 898 715 434 0 249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27540
[startup+0.200287 s]
/proc/loadavg: 2.30 2.08 2.07 2/243 12425
/proc/meminfo: memFree=31714152/32770624 swapFree=5824/194012
[pid=12425] ppid=12422 vsize=28644 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1433 0 0 0 19 0 0 0 20 0 1 0 1525355 29331456 1102 33554432000 4194304 5970956 140722142472464 140722142469064 139963074169856 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 7161 1102 715 434 0 525 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28644
[startup+0.300251 s]
/proc/loadavg: 2.30 2.08 2.07 2/243 12425
/proc/meminfo: memFree=31714152/32770624 swapFree=5824/194012
[pid=12425] ppid=12422 vsize=29304 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1665 0 0 0 29 0 0 0 20 0 1 0 1525355 30007296 1299 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 7326 1299 715 434 0 690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29304
[startup+0.700222 s]
/proc/loadavg: 2.30 2.08 2.07 2/243 12425
/proc/meminfo: memFree=31714152/32770624 swapFree=5824/194012
[pid=12425] ppid=12422 vsize=33984 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 2853 0 0 0 69 0 0 0 20 0 1 0 1525355 34799616 2475 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 8496 2475 715 434 0 1860 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33984
[startup+1.50021 s]
/proc/loadavg: 2.30 2.08 2.07 3/244 12426
/proc/meminfo: memFree=31701636/32770624 swapFree=5824/193992
[pid=12425] ppid=12422 vsize=41940 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 4331 0 0 0 149 0 0 0 20 0 1 0 1525355 42946560 4152 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 10485 4152 715 434 0 3849 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41940
[startup+3.10023 s]
/proc/loadavg: 2.30 2.08 2.07 3/244 12426
/proc/meminfo: memFree=31692528/32770624 swapFree=5824/193992
[pid=12425] ppid=12422 vsize=57852 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 7779 0 0 0 308 1 0 0 20 0 1 0 1525355 59240448 8147 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 14463 8147 715 434 0 7827 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57852
[startup+6.30021 s]
/proc/loadavg: 2.27 2.08 2.07 3/244 12426
/proc/meminfo: memFree=31622788/32770624 swapFree=5824/194004
[pid=12425] ppid=12422 vsize=89676 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 13666 0 0 0 627 2 0 0 20 0 1 0 1525355 91828224 15049 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 22419 15049 715 434 0 15783 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89676
[startup+12.7002 s]
/proc/loadavg: 2.25 2.08 2.07 3/244 12426
/proc/meminfo: memFree=31600620/32770624 swapFree=5824/194008
[pid=12425] ppid=12422 vsize=153192 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 24180 0 0 0 1265 4 0 0 20 0 1 0 1525355 156868608 29940 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 38298 29940 715 434 0 31662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 153192
[startup+25.5003 s]
/proc/loadavg: 2.20 2.07 2.06 3/244 12426
/proc/meminfo: memFree=31478812/32770624 swapFree=5824/194024
[pid=12425] ppid=12422 vsize=280356 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 44517 0 0 0 2539 9 0 0 20 0 1 0 1525355 287084544 59177 33554432000 4194304 5970956 140722142472464 140722142469064 139963073731557 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 70089 59177 715 434 0 63453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 280356
[startup+51.1003 s]
/proc/loadavg: 2.21 2.08 2.07 3/244 12426
/proc/meminfo: memFree=31249028/32770624 swapFree=5824/194036
[pid=12425] ppid=12422 vsize=534816 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 84404 0 0 0 5090 18 0 0 20 0 1 0 1525355 547651584 117663 33554432000 4194304 5970956 140722142472464 140722142469064 139963074169856 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 133704 117663 715 434 0 127068 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 534816
[startup+102.3 s]
/proc/loadavg: 2.09 2.07 2.06 3/244 12427
/proc/meminfo: memFree=30132524/32770624 swapFree=5824/194080
[pid=12425] ppid=12422 vsize=1610356 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 429571 0 0 0 10163 64 0 0 20 0 1 0 1525355 1649004544 394657 33554432000 4194304 5970956 140722142472464 140722142470072 4934449 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394657 763 434 0 395953 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1610356
[startup+162.3 s]
/proc/loadavg: 2.03 2.06 2.06 3/243 12428
/proc/meminfo: memFree=30132348/32770624 swapFree=5824/194108
[pid=12425] ppid=12422 vsize=1610356 CPUtime=162.22 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 508000 0 0 0 16155 67 0 0 20 0 1 0 1525355 1649004544 394657 33554432000 4194304 5970956 140722142472464 140722142470072 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394657 763 434 0 395953 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1610356
[startup+222.308 s]
/proc/loadavg: 2.01 2.05 2.05 3/243 12429
/proc/meminfo: memFree=30132480/32770624 swapFree=5824/194148
[pid=12425] ppid=12422 vsize=1610356 CPUtime=222.2 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 596269 0 0 0 22149 71 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1610356
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/243 12430
/proc/meminfo: memFree=30132384/32770624 swapFree=5824/194184
[pid=12425] ppid=12422 vsize=1610356 CPUtime=282.16 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 638703 0 0 0 28143 73 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1610356
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 12431
/proc/meminfo: memFree=30132172/32770624 swapFree=5824/194224
[pid=12425] ppid=12422 vsize=1610356 CPUtime=342.13 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 767945 0 0 0 34135 78 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934354 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1610356
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/244 12440
/proc/meminfo: memFree=30131972/32770624 swapFree=5824/194272
[pid=12425] ppid=12422 vsize=1610356 CPUtime=402.08 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 949758 0 0 0 40124 84 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 1610356
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 12441
/proc/meminfo: memFree=30132332/32770624 swapFree=5824/194312
[pid=12425] ppid=12422 vsize=1610356 CPUtime=462.05 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1058971 0 0 0 46116 89 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934350 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 1610356
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 12442
/proc/meminfo: memFree=30132196/32770624 swapFree=5824/194344
[pid=12425] ppid=12422 vsize=1610356 CPUtime=522.01 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1184634 0 0 0 52107 94 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934453 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 1610356
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12443
/proc/meminfo: memFree=30131936/32770624 swapFree=5824/194388
[pid=12425] ppid=12422 vsize=1610356 CPUtime=581.97 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1316866 0 0 0 58097 100 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 1610356
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.05 3/244 12444
/proc/meminfo: memFree=30131924/32770624 swapFree=5824/194428
[pid=12425] ppid=12422 vsize=1610356 CPUtime=641.93 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1418116 0 0 0 64089 104 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4933196 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 1610356
[startup+702.301 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12446
/proc/meminfo: memFree=30131612/32770624 swapFree=5824/194476
[pid=12425] ppid=12422 vsize=1610356 CPUtime=701.89 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1550797 0 0 0 70080 109 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 1610356
[startup+762.301 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12447
/proc/meminfo: memFree=30131908/32770624 swapFree=5824/194520
[pid=12425] ppid=12422 vsize=1610356 CPUtime=761.86 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1642240 0 0 0 76074 112 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 1610356
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12448
/proc/meminfo: memFree=30132060/32770624 swapFree=5824/194572
[pid=12425] ppid=12422 vsize=1610356 CPUtime=821.81 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1713941 0 0 0 82066 115 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934449 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 1610356
[startup+882.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12450
/proc/meminfo: memFree=30132080/32770624 swapFree=5824/194604
[pid=12425] ppid=12422 vsize=1610356 CPUtime=881.78 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1755726 0 0 0 88061 117 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934449 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 1610356
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12451
/proc/meminfo: memFree=30132232/32770624 swapFree=5824/194652
[pid=12425] ppid=12422 vsize=1610356 CPUtime=941.74 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1770516 0 0 0 94056 118 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934864 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 1610356
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12460
/proc/meminfo: memFree=30132184/32770624 swapFree=5824/194672
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1001.71 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1778367 0 0 0 100052 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934357 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 1610356
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 12483
/proc/meminfo: memFree=30130340/32770624 swapFree=5824/194712
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1061.68 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1778961 0 0 0 106049 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934449 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 1610356
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 12484
/proc/meminfo: memFree=30131168/32770624 swapFree=5824/194756
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1121.64 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779638 0 0 0 112045 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934357 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 1610356
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12425 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 2.04 2.03 2.05 3/244 12550
/proc/meminfo: memFree=30256008/32770624 swapFree=5824/194760
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1125.75 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779639 0 0 0 112456 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1125.75
Current children cumulated vsize (KiB) 1610356
[startup+1139.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 12550
/proc/meminfo: memFree=30255824/32770624 swapFree=5824/194800
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1138.53 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779756 0 0 0 113734 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1138.53
Current children cumulated vsize (KiB) 1610356
[startup+1145.6 s]
/proc/loadavg: 2.03 2.02 2.05 3/244 12550
/proc/meminfo: memFree=30255948/32770624 swapFree=5824/194808
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1144.93 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779817 0 0 0 114374 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934449 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1144.93
Current children cumulated vsize (KiB) 1610356
[startup+1152 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 12550
/proc/meminfo: memFree=30255948/32770624 swapFree=5824/194820
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1151.32 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779831 0 0 0 115013 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934453 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1151.32
Current children cumulated vsize (KiB) 1610356
[startup+1155.2 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 12550
/proc/meminfo: memFree=30256196/32770624 swapFree=5824/194824
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1154.52 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779831 0 0 0 115333 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934460 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1154.52
Current children cumulated vsize (KiB) 1610356
[startup+1156 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 12550
/proc/meminfo: memFree=30256196/32770624 swapFree=5824/194824
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1155.32 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779831 0 0 0 115413 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934538 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1155.32
Current children cumulated vsize (KiB) 1610356
[startup+1156.4 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 12550
/proc/meminfo: memFree=30256196/32770624 swapFree=5824/194828
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1155.72 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779833 0 0 0 115453 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934292 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1155.72
Current children cumulated vsize (KiB) 1610356
[startup+1156.8 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 12550
/proc/meminfo: memFree=30256196/32770624 swapFree=5824/194828
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1156.12 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779882 0 0 0 115493 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 5319216 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1156.12
Current children cumulated vsize (KiB) 1610356
[startup+1156.9 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 12550
/proc/meminfo: memFree=30256196/32770624 swapFree=5824/194828
[pid=12425] ppid=12422 vsize=1610356 CPUtime=1156.22 cores=1,3,5,7,9,11,13,15
/proc/12425/stat : 12425 (cosoco) R 12422 12425 9820 0 -1 4202496 1779882 0 0 0 115503 119 0 0 20 0 1 0 1525355 1649004544 394660 33554432000 4194304 5970956 140722142472464 140722142469800 4934449 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8372224 140722142479553 140722142479683 140722142479683 140722142482382 0
/proc/12425/statm: 402589 394660 766 434 0 395953 0
Current children cumulated CPU time (s) 1156.22
Current children cumulated vsize (KiB) 1610356
Child status: 0
Real time (s): 1156.97
CPU time (s): 1156.3
CPU user time (s): 1155.1
CPU system time (s): 1.20035
CPU usage (%): 99.9421
Max. virtual memory (cumulated for all children) (KiB): 2161044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1155.1
system time used= 1.20035
maximum resident set size= 1972064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1779931
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= 67
involuntary context switches= 58213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.91453 second user time and 7.19616 second system time
The end