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-4253045-1500927218/watcher-4253045-1500927218 -o /tmp/evaluation-result-4253045-1500927218/solver-4253045-1500927218 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500914924-3648 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253045-1500927218.xml
pid=8112
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.02 2.02 2.05 3/182 8115
/proc/meminfo: memFree=32115112/32770624 swapFree=5880/117908
[pid=8115] ppid=8112 vsize=26904 CPUtime=0 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 948 0 0 0 0 0 0 0 20 0 1 0 2274944 27549696 760 33554432000 4194304 5744392 140733514296880 140733514293528 139639515274213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 6726 760 677 379 0 145 0
[startup+0.100109 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8115
/proc/meminfo: memFree=32115112/32770624 swapFree=5880/117908
[pid=8115] ppid=8112 vsize=30460 CPUtime=0.09 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 1950 0 0 0 9 0 0 0 20 0 1 0 2274944 31191040 1749 33554432000 4194304 5744392 140733514296880 140733514293528 4914199 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1749 752 379 0 1034 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30460
[startup+0.200237 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8115
/proc/meminfo: memFree=32115112/32770624 swapFree=5880/117908
[pid=8115] ppid=8112 vsize=30460 CPUtime=0.19 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 1952 0 0 0 19 0 0 0 20 0 1 0 2274944 31191040 1749 33554432000 4194304 5744392 140733514296880 140733514293528 5118784 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1749 752 379 0 1034 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30460
[startup+0.3002 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8115
/proc/meminfo: memFree=32115112/32770624 swapFree=5880/117908
[pid=8115] ppid=8112 vsize=30460 CPUtime=0.29 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 1952 0 0 0 29 0 0 0 20 0 1 0 2274944 31191040 1749 33554432000 4194304 5744392 140733514296880 140733514293528 4918149 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1749 752 379 0 1034 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30460
[startup+0.700173 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8115
/proc/meminfo: memFree=32115112/32770624 swapFree=5880/117908
[pid=8115] ppid=8112 vsize=30460 CPUtime=0.69 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 1952 0 0 0 69 0 0 0 20 0 1 0 2274944 31191040 1749 33554432000 4194304 5744392 140733514296880 140733514293528 4916473 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1749 752 379 0 1034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30460
[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 8116
/proc/meminfo: memFree=32111028/32770624 swapFree=5880/117908
[pid=8115] ppid=8112 vsize=30460 CPUtime=1.49 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 1952 0 0 0 149 0 0 0 20 0 1 0 2274944 31191040 1749 33554432000 4194304 5744392 140733514296880 140733514294280 4910696 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1749 752 379 0 1034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30460
[startup+3.10018 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 8116
/proc/meminfo: memFree=32110540/32770624 swapFree=5880/117928
[pid=8115] ppid=8112 vsize=30460 CPUtime=3.09 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 2890 0 0 0 309 0 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 5126528 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30460
[startup+6.30017 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 8116
/proc/meminfo: memFree=32109732/32770624 swapFree=5880/117928
[pid=8115] ppid=8112 vsize=30460 CPUtime=6.29 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 3318 0 0 0 629 0 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30460
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 8116
/proc/meminfo: memFree=32109384/32770624 swapFree=5880/117948
[pid=8115] ppid=8112 vsize=30460 CPUtime=12.68 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 3745 0 0 0 1268 0 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4913988 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30460
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 8116
/proc/meminfo: memFree=32110316/32770624 swapFree=5880/117968
[pid=8115] ppid=8112 vsize=30460 CPUtime=25.48 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 4599 0 0 0 2548 0 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4914199 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30460
[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 8116
/proc/meminfo: memFree=32110508/32770624 swapFree=5880/117992
[pid=8115] ppid=8112 vsize=30460 CPUtime=51.08 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 5026 0 0 0 5108 0 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4914163 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30460
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8117
/proc/meminfo: memFree=32109800/32770624 swapFree=5880/118068
[pid=8115] ppid=8112 vsize=30460 CPUtime=102.27 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 5453 0 0 0 10227 0 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4911020 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30460
[startup+162.3 s]
/proc/loadavg: 1.93 1.99 2.03 3/182 8361
/proc/meminfo: memFree=32120096/32770624 swapFree=5880/118220
[pid=8115] ppid=8112 vsize=30460 CPUtime=162.26 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 5880 0 0 0 16225 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30460
[startup+222.306 s]
/proc/loadavg: 1.97 1.99 2.03 3/182 8362
/proc/meminfo: memFree=32119444/32770624 swapFree=5880/118276
[pid=8115] ppid=8112 vsize=30460 CPUtime=222.26 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 6307 0 0 0 22225 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4914160 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 30460
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 8363
/proc/meminfo: memFree=32118944/32770624 swapFree=5880/118324
[pid=8115] ppid=8112 vsize=30460 CPUtime=282.24 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 6735 0 0 0 28223 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4941374 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 30460
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8364
/proc/meminfo: memFree=32118904/32770624 swapFree=5880/118384
[pid=8115] ppid=8112 vsize=30460 CPUtime=342.23 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 7163 0 0 0 34222 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30460
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8372
/proc/meminfo: memFree=32117664/32770624 swapFree=5880/118436
[pid=8115] ppid=8112 vsize=30460 CPUtime=402.23 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 7591 0 0 0 40222 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 30460
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8373
/proc/meminfo: memFree=32118168/32770624 swapFree=5880/118504
[pid=8115] ppid=8112 vsize=30460 CPUtime=462.22 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 8019 0 0 0 46221 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4940010 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 30460
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8374
/proc/meminfo: memFree=32118216/32770624 swapFree=5880/118536
[pid=8115] ppid=8112 vsize=30460 CPUtime=522.21 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 8447 0 0 0 52220 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 30460
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8375
/proc/meminfo: memFree=32118324/32770624 swapFree=5880/118564
[pid=8115] ppid=8112 vsize=30460 CPUtime=582.2 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 8875 0 0 0 58219 1 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 30460
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8461
/proc/meminfo: memFree=32115680/32770624 swapFree=5880/119232
[pid=8115] ppid=8112 vsize=30460 CPUtime=1482.07 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 15118 0 0 0 148205 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 30460
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 8462
/proc/meminfo: memFree=32115548/32770624 swapFree=5880/119280
[pid=8115] ppid=8112 vsize=30460 CPUtime=1542.06 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 15547 0 0 0 154204 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4913984 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 30460
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8470
/proc/meminfo: memFree=32115388/32770624 swapFree=5880/119316
[pid=8115] ppid=8112 vsize=30460 CPUtime=1602.05 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 15946 0 0 0 160203 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4914172 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 30460
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8471
/proc/meminfo: memFree=32115212/32770624 swapFree=5880/119352
[pid=8115] ppid=8112 vsize=30460 CPUtime=1662.04 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 16345 0 0 0 166202 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4910830 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 30460
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 8472
/proc/meminfo: memFree=32115080/32770624 swapFree=5880/119392
[pid=8115] ppid=8112 vsize=30460 CPUtime=1722.03 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 16774 0 0 0 172201 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4914175 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 30460
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8473
/proc/meminfo: memFree=32115088/32770624 swapFree=5880/119424
[pid=8115] ppid=8112 vsize=30460 CPUtime=1782.02 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 17174 0 0 0 178200 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4918152 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 30460
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8474
/proc/meminfo: memFree=32114716/32770624 swapFree=5880/119456
[pid=8115] ppid=8112 vsize=30460 CPUtime=1842.01 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 17574 0 0 0 184199 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1842.01
Current children cumulated vsize (KiB) 30460
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8475
/proc/meminfo: memFree=32114708/32770624 swapFree=5880/119488
[pid=8115] ppid=8112 vsize=30460 CPUtime=1902 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 18003 0 0 0 190198 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4913898 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 30460
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8476
/proc/meminfo: memFree=32114832/32770624 swapFree=5880/119532
[pid=8115] ppid=8112 vsize=30460 CPUtime=1961.99 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 18404 0 0 0 196197 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4914163 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 30460
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8477
/proc/meminfo: memFree=32115044/32770624 swapFree=5880/119560
[pid=8115] ppid=8112 vsize=30460 CPUtime=2021.98 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 18805 0 0 0 202196 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4940000 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 30460
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8478
/proc/meminfo: memFree=32115028/32770624 swapFree=5880/119592
[pid=8115] ppid=8112 vsize=30460 CPUtime=2081.97 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 19234 0 0 0 208195 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4940038 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 30460
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8479
/proc/meminfo: memFree=32115136/32770624 swapFree=5880/119628
[pid=8115] ppid=8112 vsize=30460 CPUtime=2141.96 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 19633 0 0 0 214194 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4940026 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2141.96
Current children cumulated vsize (KiB) 30460
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8487
/proc/meminfo: memFree=32114392/32770624 swapFree=5880/119676
[pid=8115] ppid=8112 vsize=30460 CPUtime=2201.95 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 20032 0 0 0 220193 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4914000 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 30460
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8488
/proc/meminfo: memFree=32114760/32770624 swapFree=5880/119708
[pid=8115] ppid=8112 vsize=30460 CPUtime=2261.94 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 20431 0 0 0 226192 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4998896 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 30460
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8489
/proc/meminfo: memFree=32115344/32770624 swapFree=5880/119740
[pid=8115] ppid=8112 vsize=30460 CPUtime=2321.93 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 20861 0 0 0 232191 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4940041 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 30460
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8490
/proc/meminfo: memFree=32115220/32770624 swapFree=5880/119772
[pid=8115] ppid=8112 vsize=30460 CPUtime=2381.92 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 21261 0 0 0 238190 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4913898 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2381.92
Current children cumulated vsize (KiB) 30460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8490
/proc/meminfo: memFree=32115360/32770624 swapFree=5880/119780
[pid=8115] ppid=8112 vsize=30460 CPUtime=2400.01 cores=0,2,4,6
/proc/8115/stat : 8115 (cosoco) R 8112 8115 3617 0 -1 4202496 21659 0 0 0 239999 2 0 0 20 0 1 0 2274944 31191040 1793 33554432000 4194304 5744392 140733514296880 140733514294280 4913898 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 41193472 140733514302657 140733514302787 140733514302787 140733514305486 0
/proc/8115/statm: 7615 1793 770 379 0 1034 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 30460
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 8115 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.03
CPU user time (s): 2400
CPU system time (s): 0.027995
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 30460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.027995
maximum resident set size= 7216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21686
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= 2744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66982 second user time and 8.18281 second system time
The end