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-4240458-1500636897/watcher-4240458-1500636897 -o /tmp/evaluation-result-4240458-1500636897/solver-4240458-1500636897 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4414 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240458-1500636897.xml
pid=7834
running on 4 cores: 1,3,5,7
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.03 2.05 3/186 7837
/proc/meminfo: memFree=28020880/32770624 swapFree=6240/1310004
[pid=7837] ppid=7834 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 972 0 0 0 0 0 0 0 20 0 1 0 16966045 27770880 806 33554432000 4194304 5970956 140722433288752 140722433287944 140391227436005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 6780 806 703 434 0 144 0
[startup+0.100163 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 7837
/proc/meminfo: memFree=28020880/32770624 swapFree=6240/1310004
[pid=7837] ppid=7834 vsize=29324 CPUtime=0.09 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 1646 0 0 0 9 0 0 0 20 0 1 0 16966045 30027776 1458 33554432000 4194304 5970956 140722433288752 140722433281992 140391227436005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 7331 1458 801 434 0 695 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29324
[startup+0.200329 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 7837
/proc/meminfo: memFree=28020880/32770624 swapFree=6240/1310004
[pid=7837] ppid=7834 vsize=30968 CPUtime=0.19 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 2051 0 0 0 19 0 0 0 20 0 1 0 16966045 31711232 1871 33554432000 4194304 5970956 140722433288752 140722433281720 140391227436005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 7742 1871 801 434 0 1106 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30968
[startup+0.300258 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 7837
/proc/meminfo: memFree=28020880/32770624 swapFree=6240/1310004
[pid=7837] ppid=7834 vsize=32860 CPUtime=0.29 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 2530 0 0 0 29 0 0 0 20 0 1 0 16966045 33648640 2343 33554432000 4194304 5970956 140722433288752 140722433281592 140391227436005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 8215 2343 801 434 0 1579 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32860
[startup+0.700214 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 7837
/proc/meminfo: memFree=28020880/32770624 swapFree=6240/1310004
[pid=7837] ppid=7834 vsize=40664 CPUtime=0.68 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 4464 0 0 0 68 0 0 0 20 0 1 0 16966045 41639936 4261 33554432000 4194304 5970956 140722433288752 140722433281992 140391227436005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 10166 4261 802 434 0 3530 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 40664
[startup+1.50021 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7838
/proc/meminfo: memFree=27998960/32770624 swapFree=6240/1310028
[pid=7837] ppid=7834 vsize=56136 CPUtime=1.49 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 8329 0 0 0 148 1 0 0 20 0 1 0 16966045 57483264 8164 33554432000 4194304 5970956 140722433288752 140722433281992 140391227436005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 14034 8164 802 434 0 7398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56136
[startup+3.10025 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7838
/proc/meminfo: memFree=27964488/32770624 swapFree=6240/1310028
[pid=7837] ppid=7834 vsize=119288 CPUtime=3.09 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 31018 0 0 0 306 3 0 0 20 0 1 0 16966045 122150912 22926 33554432000 4194304 5970956 140722433288752 140722433285720 5098948 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 29822 22926 848 434 0 23186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119288
[startup+6.30021 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 7838
/proc/meminfo: memFree=27931152/32770624 swapFree=6240/1310028
[pid=7837] ppid=7834 vsize=122192 CPUtime=6.29 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 52622 0 0 0 625 4 0 0 20 0 1 0 16966045 125124608 23651 33554432000 4194304 5970956 140722433288752 140722433285640 5069728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 30548 23651 849 434 0 23912 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 122192
[startup+12.7002 s]
/proc/loadavg: 1.93 2.01 2.04 3/187 7838
/proc/meminfo: memFree=27925944/32770624 swapFree=6240/1310028
[pid=7837] ppid=7834 vsize=125520 CPUtime=12.68 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62560 0 0 0 1264 4 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5052080 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 125520
[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 2.04 3/187 7838
/proc/meminfo: memFree=27925912/32770624 swapFree=6240/1310052
[pid=7837] ppid=7834 vsize=125520 CPUtime=25.48 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62612 0 0 0 2544 4 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 4964599 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 125520
[startup+51.1003 s]
/proc/loadavg: 1.96 2.01 2.04 3/187 7838
/proc/meminfo: memFree=27925792/32770624 swapFree=6240/1310068
[pid=7837] ppid=7834 vsize=125520 CPUtime=51.08 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62638 0 0 0 5104 4 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 4961411 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 125520
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 7839
/proc/meminfo: memFree=27924884/32770624 swapFree=6240/1310108
[pid=7837] ppid=7834 vsize=125520 CPUtime=102.29 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62664 0 0 0 10225 4 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 4964872 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 125520
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 7840
/proc/meminfo: memFree=27924912/32770624 swapFree=6240/1310132
[pid=7837] ppid=7834 vsize=125520 CPUtime=162.28 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62690 0 0 0 16224 4 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5069728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 125520
[startup+222.306 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 7841
/proc/meminfo: memFree=27925188/32770624 swapFree=6240/1310168
[pid=7837] ppid=7834 vsize=125520 CPUtime=222.29 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62716 0 0 0 22225 4 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5070529 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 125520
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7842
/proc/meminfo: memFree=27925464/32770624 swapFree=6240/1310200
[pid=7837] ppid=7834 vsize=125520 CPUtime=282.28 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62742 0 0 0 28224 4 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 125520
[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 7851
/proc/meminfo: memFree=27925200/32770624 swapFree=6240/1310232
[pid=7837] ppid=7834 vsize=125520 CPUtime=342.29 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62768 0 0 0 34224 5 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5070525 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 125520
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7852
/proc/meminfo: memFree=27925656/32770624 swapFree=6240/1310256
[pid=7837] ppid=7834 vsize=125520 CPUtime=402.29 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62794 0 0 0 40224 5 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 125520
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7853
/proc/meminfo: memFree=27925368/32770624 swapFree=6240/1310288
[pid=7837] ppid=7834 vsize=125520 CPUtime=462.29 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62820 0 0 0 46224 5 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5052080 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 125520
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7854
/proc/meminfo: memFree=27925304/32770624 swapFree=6240/1310332
[pid=7837] ppid=7834 vsize=125520 CPUtime=522.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62846 0 0 0 52225 5 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5069728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 125520
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7855
/proc/meminfo: memFree=27925172/32770624 swapFree=6240/1310352
[pid=7837] ppid=7834 vsize=125520 CPUtime=582.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 62872 0 0 0 58225 5 0 0 20 0 1 0 16966045 128532480 24504 33554432000 4194304 5970956 140722433288752 140722433285640 5070480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24504 849 434 0 24744 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 125520
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 7940
/proc/meminfo: memFree=29391280/32770624 swapFree=6240/1311040
[pid=7837] ppid=7834 vsize=125520 CPUtime=1482.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63221 0 0 0 148225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 125520
[startup+1542.31 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 7949
/proc/meminfo: memFree=29387264/32770624 swapFree=6240/1311148
[pid=7837] ppid=7834 vsize=125520 CPUtime=1542.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63241 0 0 0 154225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 125520
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 7972
/proc/meminfo: memFree=29386384/32770624 swapFree=6240/1311200
[pid=7837] ppid=7834 vsize=125520 CPUtime=1602.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63261 0 0 0 160225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 4908985 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 125520
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 7973
/proc/meminfo: memFree=29386272/32770624 swapFree=6240/1311244
[pid=7837] ppid=7834 vsize=125520 CPUtime=1662.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63281 0 0 0 166225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5070480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 125520
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 7974
/proc/meminfo: memFree=29386740/32770624 swapFree=6240/1311284
[pid=7837] ppid=7834 vsize=125520 CPUtime=1722.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63301 0 0 0 172225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5070487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 125520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 7975
/proc/meminfo: memFree=29386024/32770624 swapFree=6240/1311328
[pid=7837] ppid=7834 vsize=125520 CPUtime=1782.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63321 0 0 0 178225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5052093 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 125520
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7976
/proc/meminfo: memFree=29386192/32770624 swapFree=6240/1311364
[pid=7837] ppid=7834 vsize=125520 CPUtime=1842.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63341 0 0 0 184225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5070480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 125520
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7977
/proc/meminfo: memFree=29385972/32770624 swapFree=6240/1311396
[pid=7837] ppid=7834 vsize=125520 CPUtime=1902.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63361 0 0 0 190225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5070480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 125520
[startup+1962.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/187 7978
/proc/meminfo: memFree=29386124/32770624 swapFree=6240/1311428
[pid=7837] ppid=7834 vsize=125520 CPUtime=1962.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63381 0 0 0 196225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5070480 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 1962.3
Current children cumulated vsize (KiB) 125520
[startup+2022.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 7979
/proc/meminfo: memFree=29386028/32770624 swapFree=6240/1311468
[pid=7837] ppid=7834 vsize=125520 CPUtime=2022.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63401 0 0 0 202225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5070525 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2022.3
Current children cumulated vsize (KiB) 125520
[startup+2082.3 s]
/proc/loadavg: 2.01 2.01 2.05 4/187 7980
/proc/meminfo: memFree=29385932/32770624 swapFree=6240/1311496
[pid=7837] ppid=7834 vsize=125520 CPUtime=2082.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63421 0 0 0 208225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5069735 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2082.3
Current children cumulated vsize (KiB) 125520
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7989
/proc/meminfo: memFree=29386028/32770624 swapFree=6240/1311536
[pid=7837] ppid=7834 vsize=125520 CPUtime=2142.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63441 0 0 0 214225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5098944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2142.3
Current children cumulated vsize (KiB) 125520
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 7990
/proc/meminfo: memFree=29386524/32770624 swapFree=6240/1311576
[pid=7837] ppid=7834 vsize=125520 CPUtime=2202.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63461 0 0 0 220225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 4964872 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2202.3
Current children cumulated vsize (KiB) 125520
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 7991
/proc/meminfo: memFree=29386000/32770624 swapFree=6240/1311612
[pid=7837] ppid=7834 vsize=125520 CPUtime=2262.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63481 0 0 0 226225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5098954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2262.3
Current children cumulated vsize (KiB) 125520
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7992
/proc/meminfo: memFree=29386608/32770624 swapFree=6240/1311640
[pid=7837] ppid=7834 vsize=125520 CPUtime=2322.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63501 0 0 0 232225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5052080 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2322.3
Current children cumulated vsize (KiB) 125520
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7993
/proc/meminfo: memFree=29386720/32770624 swapFree=6240/1311676
[pid=7837] ppid=7834 vsize=125520 CPUtime=2382.3 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63521 0 0 0 238225 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 4908963 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2382.3
Current children cumulated vsize (KiB) 125520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7993
/proc/meminfo: memFree=29386720/32770624 swapFree=6240/1311680
[pid=7837] ppid=7834 vsize=125520 CPUtime=2400 cores=1,3,5,7
/proc/7837/stat : 7837 (cosoco) R 7834 7837 4382 0 -1 4202496 63541 0 0 0 239995 5 0 0 20 0 1 0 16966045 128532480 24511 33554432000 4194304 5970956 140722433288752 140722433285640 5098948 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32194560 140722433295548 140722433295683 140722433295683 140722433298382 0
/proc/7837/statm: 31380 24511 849 434 0 24744 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 125520
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 7837 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400
CPU time (s): 2400.01
CPU user time (s): 2399.95
CPU system time (s): 0.051
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 125520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 0.051
maximum resident set size= 98092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63574
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= 13
involuntary context switches= 120612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85463 second user time and 7.92371 second system time
The end