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-4253033-1500927086/watcher-4253033-1500927086 -o /tmp/evaluation-result-4253033-1500927086/solver-4253033-1500927086 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1500914920-3605 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253033-1500927086.xml
pid=8740
running on 4 cores: 0,2,4,6
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.08 2.03 2.05 3/181 8743
/proc/meminfo: memFree=32109356/32770624 swapFree=5780/121220
[pid=8743] ppid=8740 vsize=27432 CPUtime=0 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 1104 0 0 0 0 0 0 0 20 0 1 0 2267867 28090368 891 33554432000 4194304 5744392 140726237884416 140726237881064 139753202322405 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 6858 891 685 379 0 277 0
[startup+0.100108 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 8743
/proc/meminfo: memFree=32109356/32770624 swapFree=5780/121220
[pid=8743] ppid=8740 vsize=29556 CPUtime=0.09 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 1706 0 0 0 9 0 0 0 20 0 1 0 2267867 30265344 1518 33554432000 4194304 5744392 140726237884416 140726237882072 4918149 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1518 759 379 0 808 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29556
[startup+0.200203 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 8743
/proc/meminfo: memFree=32109356/32770624 swapFree=5780/121220
[pid=8743] ppid=8740 vsize=29556 CPUtime=0.19 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 1708 0 0 0 19 0 0 0 20 0 1 0 2267867 30265344 1518 33554432000 4194304 5744392 140726237884416 140726237882072 4940052 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1518 759 379 0 808 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29556
[startup+0.300216 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 8743
/proc/meminfo: memFree=32109356/32770624 swapFree=5780/121220
[pid=8743] ppid=8740 vsize=29556 CPUtime=0.29 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 1708 0 0 0 29 0 0 0 20 0 1 0 2267867 30265344 1518 33554432000 4194304 5744392 140726237884416 140726237882072 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1518 759 379 0 808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29556
[startup+0.700184 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 8743
/proc/meminfo: memFree=32109356/32770624 swapFree=5780/121220
[pid=8743] ppid=8740 vsize=29556 CPUtime=0.69 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 1708 0 0 0 69 0 0 0 20 0 1 0 2267867 30265344 1518 33554432000 4194304 5744392 140726237884416 140726237882072 5140986 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1518 759 379 0 808 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29556
[startup+1.50018 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 8744
/proc/meminfo: memFree=32107072/32770624 swapFree=5780/121256
[pid=8743] ppid=8740 vsize=29556 CPUtime=1.49 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 1708 0 0 0 149 0 0 0 20 0 1 0 2267867 30265344 1518 33554432000 4194304 5744392 140726237884416 140726237881816 4914172 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1518 759 379 0 808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29556
[startup+3.10017 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 8744
/proc/meminfo: memFree=32106580/32770624 swapFree=5780/121256
[pid=8743] ppid=8740 vsize=29556 CPUtime=3.09 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 2402 0 0 0 309 0 0 0 20 0 1 0 2267867 30265344 1549 33554432000 4194304 5744392 140726237884416 140726237881816 4910448 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1549 770 379 0 808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29556
[startup+6.30019 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 8744
/proc/meminfo: memFree=32106580/32770624 swapFree=5780/121256
[pid=8743] ppid=8740 vsize=29556 CPUtime=6.29 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 3096 0 0 0 629 0 0 0 20 0 1 0 2267867 30265344 1549 33554432000 4194304 5744392 140726237884416 140726237881816 5126585 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1549 770 379 0 808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29556
[startup+12.7002 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 8744
/proc/meminfo: memFree=32106208/32770624 swapFree=5780/121256
[pid=8743] ppid=8740 vsize=29556 CPUtime=12.69 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 3790 0 0 0 1269 0 0 0 20 0 1 0 2267867 30265344 1549 33554432000 4194304 5744392 140726237884416 140726237881816 4913888 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1549 770 379 0 808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29556
[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 8744
/proc/meminfo: memFree=32106008/32770624 swapFree=5780/121288
[pid=8743] ppid=8740 vsize=29556 CPUtime=25.48 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 5178 0 0 0 2548 0 0 0 20 0 1 0 2267867 30265344 1549 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1549 770 379 0 808 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29556
[startup+51.1002 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 8744
/proc/meminfo: memFree=32105952/32770624 swapFree=5780/121308
[pid=8743] ppid=8740 vsize=29556 CPUtime=51.08 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 5385 0 0 0 5108 0 0 0 20 0 1 0 2267867 30265344 1549 33554432000 4194304 5744392 140726237884416 140726237881816 4940026 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1549 770 379 0 808 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29556
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8745
/proc/meminfo: memFree=32105928/32770624 swapFree=5780/121376
[pid=8743] ppid=8740 vsize=29556 CPUtime=102.28 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 5592 0 0 0 10228 0 0 0 20 0 1 0 2267867 30265344 1549 33554432000 4194304 5744392 140726237884416 140726237881816 5118803 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1549 770 379 0 808 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29556
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8746
/proc/meminfo: memFree=32105896/32770624 swapFree=5780/121444
[pid=8743] ppid=8740 vsize=29556 CPUtime=162.26 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 5800 0 0 0 16226 0 0 0 20 0 1 0 2267867 30265344 1549 33554432000 4194304 5744392 140726237884416 140726237881816 4918140 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1549 770 379 0 808 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29556
[startup+222.306 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 9362
/proc/meminfo: memFree=32112280/32770624 swapFree=5780/124108
[pid=8743] ppid=8740 vsize=29556 CPUtime=222.27 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 6007 0 0 0 22226 1 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4913988 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 29556
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 9363
/proc/meminfo: memFree=32111320/32770624 swapFree=5780/124176
[pid=8743] ppid=8740 vsize=29556 CPUtime=282.25 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 6214 0 0 0 28224 1 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4914000 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29556
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9364
/proc/meminfo: memFree=32111336/32770624 swapFree=5780/124248
[pid=8743] ppid=8740 vsize=29556 CPUtime=342.25 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 6421 0 0 0 34224 1 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 29556
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9365
/proc/meminfo: memFree=32110840/32770624 swapFree=5780/124308
[pid=8743] ppid=8740 vsize=29556 CPUtime=402.24 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 6628 0 0 0 40223 1 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4940052 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 29556
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9366
/proc/meminfo: memFree=32110976/32770624 swapFree=5780/124348
[pid=8743] ppid=8740 vsize=29556 CPUtime=462.23 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 6835 0 0 0 46222 1 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 29556
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9374
/proc/meminfo: memFree=32110092/32770624 swapFree=5780/124448
[pid=8743] ppid=8740 vsize=29556 CPUtime=522.22 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 7020 0 0 0 52221 1 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 29556
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9375
/proc/meminfo: memFree=32110104/32770624 swapFree=5780/124448
[pid=8743] ppid=8740 vsize=29556 CPUtime=582.21 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 7251 0 0 0 58220 1 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 29556
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 9401
/proc/meminfo: memFree=32109348/32770624 swapFree=5780/125100
[pid=8743] ppid=8740 vsize=29556 CPUtime=1482.1 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 10236 0 0 0 148208 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4914163 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 29556
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9402
/proc/meminfo: memFree=32109232/32770624 swapFree=5780/125100
[pid=8743] ppid=8740 vsize=29556 CPUtime=1542.1 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 10421 0 0 0 154208 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4913898 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 29556
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9403
/proc/meminfo: memFree=32109472/32770624 swapFree=5780/125168
[pid=8743] ppid=8740 vsize=29556 CPUtime=1602.09 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 10629 0 0 0 160207 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 29556
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9404
/proc/meminfo: memFree=32108976/32770624 swapFree=5780/125188
[pid=8743] ppid=8740 vsize=29556 CPUtime=1662.08 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 10814 0 0 0 166206 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4940010 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 29556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9412
/proc/meminfo: memFree=32108148/32770624 swapFree=5780/125252
[pid=8743] ppid=8740 vsize=29556 CPUtime=1722.07 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 11022 0 0 0 172205 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4940038 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 29556
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9413
/proc/meminfo: memFree=32108364/32770624 swapFree=5780/125292
[pid=8743] ppid=8740 vsize=29556 CPUtime=1782.07 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 11207 0 0 0 178205 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4913997 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 29556
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9414
/proc/meminfo: memFree=32108740/32770624 swapFree=5780/125324
[pid=8743] ppid=8740 vsize=29556 CPUtime=1842.06 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 11392 0 0 0 184204 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 5126560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 29556
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9415
/proc/meminfo: memFree=32108364/32770624 swapFree=5780/125324
[pid=8743] ppid=8740 vsize=29556 CPUtime=1902.05 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 11600 0 0 0 190203 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 29556
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9416
/proc/meminfo: memFree=32108432/32770624 swapFree=5780/125376
[pid=8743] ppid=8740 vsize=29556 CPUtime=1962.04 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 11785 0 0 0 196202 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4914026 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 29556
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9417
/proc/meminfo: memFree=32108336/32770624 swapFree=5780/125436
[pid=8743] ppid=8740 vsize=29556 CPUtime=2022.04 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 11970 0 0 0 202202 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 29556
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9418
/proc/meminfo: memFree=32107772/32770624 swapFree=5780/125436
[pid=8743] ppid=8740 vsize=29556 CPUtime=2082.03 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 12178 0 0 0 208201 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4914175 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 29556
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9419
/proc/meminfo: memFree=32107972/32770624 swapFree=5780/125504
[pid=8743] ppid=8740 vsize=29556 CPUtime=2142.02 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 12363 0 0 0 214200 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4994045 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 29556
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9420
/proc/meminfo: memFree=32107596/32770624 swapFree=5780/125504
[pid=8743] ppid=8740 vsize=29556 CPUtime=2202.02 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 12548 0 0 0 220200 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4914000 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 29556
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9421
/proc/meminfo: memFree=32108476/32770624 swapFree=5780/125560
[pid=8743] ppid=8740 vsize=29556 CPUtime=2262 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 12733 0 0 0 226198 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4940000 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 29556
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9429
/proc/meminfo: memFree=32107476/32770624 swapFree=5780/125608
[pid=8743] ppid=8740 vsize=29556 CPUtime=2321.99 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 12941 0 0 0 232197 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2321.99
Current children cumulated vsize (KiB) 29556
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9430
/proc/meminfo: memFree=32107848/32770624 swapFree=5780/125644
[pid=8743] ppid=8740 vsize=29556 CPUtime=2381.99 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 13126 0 0 0 238197 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4917529 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 29556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 9430
/proc/meminfo: memFree=32108344/32770624 swapFree=5780/125652
[pid=8743] ppid=8740 vsize=29556 CPUtime=2400.08 cores=0,2,4,6
/proc/8743/stat : 8743 (cosoco) R 8740 8743 3574 0 -1 4202496 13311 0 0 0 240006 2 0 0 20 0 1 0 2267867 30265344 1550 33554432000 4194304 5744392 140726237884416 140726237881816 4918140 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 14557184 140726237889729 140726237889859 140726237889859 140726237892558 0
/proc/8743/statm: 7389 1550 770 379 0 808 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 29556
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 8743 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.1
CPU user time (s): 2400.07
CPU system time (s): 0.028996
CPU usage (%): 99.9873
Max. virtual memory (cumulated for all children) (KiB): 29556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.028996
maximum resident set size= 6244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13338
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= 7
involuntary context switches= 2837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73773 second user time and 7.6048 second system time
The end