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-4253434-1500930770/watcher-4253434-1500930770 -o /tmp/evaluation-result-4253434-1500930770/solver-4253434-1500930770 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3783 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253434-1500930770.xml
pid=8072
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.01 2.01 2.05 2/181 8075
/proc/meminfo: memFree=32102556/32770624 swapFree=5760/123368
[pid=8075] ppid=8072 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 954 0 0 0 0 0 0 0 20 0 1 0 2728682 27414528 759 33554432000 4194304 5744392 140728460116800 140728460113448 140691398945765 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6693 759 677 379 0 112 0
[startup+0.100106 s]
/proc/loadavg: 2.01 2.01 2.05 2/181 8075
/proc/meminfo: memFree=32102556/32770624 swapFree=5760/123368
[pid=8075] ppid=8072 vsize=27028 CPUtime=0.09 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1076 0 0 0 9 0 0 0 20 0 1 0 2728682 27676672 854 33554432000 4194304 5744392 140728460116800 140728460113448 4946296 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 854 717 379 0 176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27028
[startup+0.200217 s]
/proc/loadavg: 2.01 2.01 2.05 2/181 8075
/proc/meminfo: memFree=32102556/32770624 swapFree=5760/123368
[pid=8075] ppid=8072 vsize=27028 CPUtime=0.19 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1076 0 0 0 19 0 0 0 20 0 1 0 2728682 27676672 854 33554432000 4194304 5744392 140728460116800 140728460114408 4947773 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 854 717 379 0 176 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27028
[startup+0.300218 s]
/proc/loadavg: 2.01 2.01 2.05 2/181 8075
/proc/meminfo: memFree=32102556/32770624 swapFree=5760/123368
[pid=8075] ppid=8072 vsize=27028 CPUtime=0.29 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1076 0 0 0 29 0 0 0 20 0 1 0 2728682 27676672 854 33554432000 4194304 5744392 140728460116800 140728460114408 5024203 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 854 717 379 0 176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27028
[startup+0.700174 s]
/proc/loadavg: 2.01 2.01 2.05 2/181 8075
/proc/meminfo: memFree=32102556/32770624 swapFree=5760/123368
[pid=8075] ppid=8072 vsize=27028 CPUtime=0.69 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1076 0 0 0 69 0 0 0 20 0 1 0 2728682 27676672 854 33554432000 4194304 5744392 140728460116800 140728460114408 4945697 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 854 717 379 0 176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27028
[startup+1.50018 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8076
/proc/meminfo: memFree=32102064/32770624 swapFree=5760/123128
[pid=8075] ppid=8072 vsize=27028 CPUtime=1.49 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1076 0 0 0 149 0 0 0 20 0 1 0 2728682 27676672 854 33554432000 4194304 5744392 140728460116800 140728460114408 4945855 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 854 717 379 0 176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27028
[startup+3.10019 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8076
/proc/meminfo: memFree=32101620/32770624 swapFree=5760/123376
[pid=8075] ppid=8072 vsize=27028 CPUtime=3.09 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1154 0 0 0 309 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460114408 4945722 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27028
[startup+6.30017 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8076
/proc/meminfo: memFree=32101324/32770624 swapFree=5760/123376
[pid=8075] ppid=8072 vsize=27028 CPUtime=6.29 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1237 0 0 0 629 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460114408 4946592 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27028
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8076
/proc/meminfo: memFree=32101128/32770624 swapFree=5760/123388
[pid=8075] ppid=8072 vsize=27028 CPUtime=12.69 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1317 0 0 0 1269 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460114408 5024236 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27028
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8076
/proc/meminfo: memFree=32101164/32770624 swapFree=5760/123404
[pid=8075] ppid=8072 vsize=27028 CPUtime=25.49 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1481 0 0 0 2549 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460114408 4946608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27028
[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8076
/proc/meminfo: memFree=32101164/32770624 swapFree=5760/123412
[pid=8075] ppid=8072 vsize=27028 CPUtime=51.09 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1565 0 0 0 5109 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460114408 4945705 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27028
[startup+102.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/182 8077
/proc/meminfo: memFree=32100340/32770624 swapFree=5760/123448
[pid=8075] ppid=8072 vsize=27028 CPUtime=102.3 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1645 0 0 0 10230 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460114408 5024250 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27028
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 8078
/proc/meminfo: memFree=32100272/32770624 swapFree=5760/123476
[pid=8075] ppid=8072 vsize=27028 CPUtime=162.3 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1745 0 0 0 16230 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945722 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27028
[startup+222.306 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 8079
/proc/meminfo: memFree=32100704/32770624 swapFree=5760/123508
[pid=8075] ppid=8072 vsize=27028 CPUtime=222.31 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1829 0 0 0 22231 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 27028
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 8080
/proc/meminfo: memFree=32100812/32770624 swapFree=5760/123548
[pid=8075] ppid=8072 vsize=27028 CPUtime=282.3 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1829 0 0 0 28230 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945697 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27028
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8081
/proc/meminfo: memFree=32100848/32770624 swapFree=5760/123576
[pid=8075] ppid=8072 vsize=27028 CPUtime=342.31 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1909 0 0 0 34231 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945693 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 27028
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 8082
/proc/meminfo: memFree=32100824/32770624 swapFree=5760/123612
[pid=8075] ppid=8072 vsize=27028 CPUtime=402.31 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1909 0 0 0 40231 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 27028
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 8090
/proc/meminfo: memFree=32099552/32770624 swapFree=5760/123648
[pid=8075] ppid=8072 vsize=27028 CPUtime=462.31 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1991 0 0 0 46231 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 27028
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8091
/proc/meminfo: memFree=32099996/32770624 swapFree=5760/123688
[pid=8075] ppid=8072 vsize=27028 CPUtime=522.31 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 1993 0 0 0 52231 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4948466 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 27028
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 8092
/proc/meminfo: memFree=32100208/32770624 swapFree=5760/123716
[pid=8075] ppid=8072 vsize=27028 CPUtime=582.32 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 2077 0 0 0 58232 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024419 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 27028
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 8177
/proc/meminfo: memFree=32105324/32770624 swapFree=5760/124280
[pid=8075] ppid=8072 vsize=27028 CPUtime=1482.34 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3029 0 0 0 148234 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945869 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 27028
[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 8178
/proc/meminfo: memFree=32105284/32770624 swapFree=5760/124316
[pid=8075] ppid=8072 vsize=27028 CPUtime=1542.35 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3107 0 0 0 154235 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024231 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 27028
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 8179
/proc/meminfo: memFree=32105140/32770624 swapFree=5760/124356
[pid=8075] ppid=8072 vsize=27028 CPUtime=1602.35 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3188 0 0 0 160235 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024203 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 27028
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 8188
/proc/meminfo: memFree=32104228/32770624 swapFree=5760/124388
[pid=8075] ppid=8072 vsize=27028 CPUtime=1662.35 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3266 0 0 0 166235 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945710 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 27028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8189
/proc/meminfo: memFree=32104404/32770624 swapFree=5760/124424
[pid=8075] ppid=8072 vsize=27028 CPUtime=1722.35 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3345 0 0 0 172235 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024419 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8190
/proc/meminfo: memFree=32104228/32770624 swapFree=5760/124452
[pid=8075] ppid=8072 vsize=27028 CPUtime=1782.35 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3425 0 0 0 178235 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 27028
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 8191
/proc/meminfo: memFree=32104416/32770624 swapFree=5760/124480
[pid=8075] ppid=8072 vsize=27028 CPUtime=1842.36 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3503 0 0 0 184236 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4946320 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 27028
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/183 8192
/proc/meminfo: memFree=32104240/32770624 swapFree=5760/124516
[pid=8075] ppid=8072 vsize=27028 CPUtime=1902.36 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3582 0 0 0 190236 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4872768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 27028
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8193
/proc/meminfo: memFree=32104196/32770624 swapFree=5760/124548
[pid=8075] ppid=8072 vsize=27028 CPUtime=1962.36 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3661 0 0 0 196236 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945689 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 27028
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8194
/proc/meminfo: memFree=32104348/32770624 swapFree=5760/124584
[pid=8075] ppid=8072 vsize=27028 CPUtime=2022.36 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3741 0 0 0 202236 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4946086 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 27028
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8195
/proc/meminfo: memFree=32104692/32770624 swapFree=5760/124612
[pid=8075] ppid=8072 vsize=27028 CPUtime=2082.37 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3820 0 0 0 208237 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5126223 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 27028
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8196
/proc/meminfo: memFree=32104328/32770624 swapFree=5760/124644
[pid=8075] ppid=8072 vsize=27028 CPUtime=2142.36 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3899 0 0 0 214236 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4946181 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 27028
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8197
/proc/meminfo: memFree=32104524/32770624 swapFree=5760/124680
[pid=8075] ppid=8072 vsize=27028 CPUtime=2202.37 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 3978 0 0 0 220237 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 27028
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8205
/proc/meminfo: memFree=32104404/32770624 swapFree=5760/124712
[pid=8075] ppid=8072 vsize=27028 CPUtime=2262.37 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 4058 0 0 0 226237 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945693 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 27028
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8206
/proc/meminfo: memFree=32104600/32770624 swapFree=5760/124744
[pid=8075] ppid=8072 vsize=27028 CPUtime=2322.37 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 4141 0 0 0 232237 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4947826 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 27028
[startup+2382.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 8207
/proc/meminfo: memFree=32104316/32770624 swapFree=5760/124784
[pid=8075] ppid=8072 vsize=27028 CPUtime=2382.37 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 4220 0 0 0 238237 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 5024245 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 27028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 8207
/proc/meminfo: memFree=32104316/32770624 swapFree=5760/124800
[pid=8075] ppid=8072 vsize=27028 CPUtime=2400.07 cores=0,2,4,6
/proc/8075/stat : 8075 (cosoco) R 8072 8075 3752 0 -1 4202496 4299 0 0 0 240007 0 0 0 20 0 1 0 2728682 27676672 918 33554432000 4194304 5744392 140728460116800 140728460104152 4945705 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41271296 140728460121281 140728460121411 140728460121411 140728460124110 0
/proc/8075/statm: 6757 918 759 379 0 176 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 27028
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 8075 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.08
CPU user time (s): 2400.08
CPU system time (s): 0.004
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.004
maximum resident set size= 3724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4333
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= 12
involuntary context switches= 1962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24962 second user time and 7.2142 second system time
The end