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-4251924-1500919790/watcher-4251924-1500919790 -o /tmp/evaluation-result-4251924-1500919790/solver-4251924-1500919790 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500914921-3427 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251924-1500919790.xml
pid=4804
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: 1.97 2.00 2.04 4/181 4807
/proc/meminfo: memFree=32117884/32770624 swapFree=5836/113528
[pid=4807] ppid=4804 vsize=26900 CPUtime=0 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 956 0 0 0 0 0 0 0 20 0 1 0 1537932 27545600 790 33554432000 4194304 5744392 140728321509088 140728321505736 140274039290853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 6725 790 686 379 0 144 0
[startup+0.100201 s]
/proc/loadavg: 1.97 2.00 2.04 4/181 4807
/proc/meminfo: memFree=32117884/32770624 swapFree=5836/113528
[pid=4807] ppid=4804 vsize=34572 CPUtime=0.09 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 2972 0 0 0 9 0 0 0 20 0 1 0 1537932 35401728 2769 33554432000 4194304 5744392 140728321509088 140728321505736 4892806 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8643 2769 762 379 0 2062 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34572
[startup+0.200375 s]
/proc/loadavg: 1.97 2.00 2.04 4/181 4807
/proc/meminfo: memFree=32117884/32770624 swapFree=5836/113528
[pid=4807] ppid=4804 vsize=34704 CPUtime=0.19 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 2990 0 0 0 19 0 0 0 20 0 1 0 1537932 35536896 2769 33554432000 4194304 5744392 140728321509088 140728321505736 4893120 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8676 2769 762 379 0 2095 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34704
[startup+0.300334 s]
/proc/loadavg: 1.97 2.00 2.04 4/181 4807
/proc/meminfo: memFree=32117884/32770624 swapFree=5836/113528
[pid=4807] ppid=4804 vsize=34704 CPUtime=0.29 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 3002 0 0 0 29 0 0 0 20 0 1 0 1537932 35536896 2835 33554432000 4194304 5744392 140728321509088 140728321505736 4946320 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8676 2835 763 379 0 2095 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34704
[startup+0.700289 s]
/proc/loadavg: 1.97 2.00 2.04 4/181 4807
/proc/meminfo: memFree=32117884/32770624 swapFree=5836/113528
[pid=4807] ppid=4804 vsize=34836 CPUtime=0.69 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 3037 0 0 0 69 0 0 0 20 0 1 0 1537932 35672064 2835 33554432000 4194304 5744392 140728321509088 140728321506696 4947892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8709 2835 763 379 0 2128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34836
[startup+1.50029 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 4808
/proc/meminfo: memFree=32109708/32770624 swapFree=5836/113540
[pid=4807] ppid=4804 vsize=34968 CPUtime=1.49 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 3072 0 0 0 149 0 0 0 20 0 1 0 1537932 35807232 2901 33554432000 4194304 5744392 140728321509088 140728321506024 4946152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8742 2901 763 379 0 2161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34968
[startup+3.10029 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 4808
/proc/meminfo: memFree=32109336/32770624 swapFree=5836/113540
[pid=4807] ppid=4804 vsize=35100 CPUtime=3.09 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 5163 0 0 0 309 0 0 0 20 0 1 0 1537932 35942400 2937 33554432000 4194304 5744392 140728321509088 140728321506024 5131620 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8775 2937 763 379 0 2194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35100
[startup+6.30028 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 4808
/proc/meminfo: memFree=32108964/32770624 swapFree=5836/113540
[pid=4807] ppid=4804 vsize=35232 CPUtime=6.29 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 7272 0 0 0 629 0 0 0 20 0 1 0 1537932 36077568 2969 33554432000 4194304 5744392 140728321509088 140728321505992 5126280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8808 2969 763 379 0 2227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35232
[startup+12.7003 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 4815
/proc/meminfo: memFree=32108096/32770624 swapFree=5836/113584
[pid=4807] ppid=4804 vsize=35232 CPUtime=12.69 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 9387 0 0 0 1269 0 0 0 20 0 1 0 1537932 36077568 2976 33554432000 4194304 5744392 140728321509088 140728321506696 5024413 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8808 2976 763 379 0 2227 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35232
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 4815
/proc/meminfo: memFree=32106996/32770624 swapFree=5836/113596
[pid=4807] ppid=4804 vsize=35232 CPUtime=25.48 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12128 0 0 0 2548 0 0 0 20 0 1 0 1537932 36077568 2985 33554432000 4194304 5744392 140728321509088 140728321496440 4947888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8808 2985 763 379 0 2227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35232
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 4815
/proc/meminfo: memFree=32107072/32770624 swapFree=5836/113596
[pid=4807] ppid=4804 vsize=35364 CPUtime=51.08 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12253 0 0 0 5108 0 0 0 20 0 1 0 1537932 36212736 2987 33554432000 4194304 5744392 140728321509088 140728321505992 5024241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2987 763 379 0 2260 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35364
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 4816
/proc/meminfo: memFree=32107988/32770624 swapFree=5836/113692
[pid=4807] ppid=4804 vsize=35364 CPUtime=102.29 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12394 0 0 0 10229 0 0 0 20 0 1 0 1537932 36212736 2991 33554432000 4194304 5744392 140728321509088 140728321496440 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2991 763 379 0 2260 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 35364
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/182 4817
/proc/meminfo: memFree=32108120/32770624 swapFree=5836/113744
[pid=4807] ppid=4804 vsize=35364 CPUtime=162.29 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12509 0 0 0 16229 0 0 0 20 0 1 0 1537932 36212736 2993 33554432000 4194304 5744392 140728321509088 140728321496440 4946152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2993 763 379 0 2260 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 35364
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 4818
/proc/meminfo: memFree=32108208/32770624 swapFree=5836/113780
[pid=4807] ppid=4804 vsize=35364 CPUtime=222.29 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12624 0 0 0 22229 0 0 0 20 0 1 0 1537932 36212736 2993 33554432000 4194304 5744392 140728321509088 140728321496440 4892818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2993 763 379 0 2260 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 35364
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 4819
/proc/meminfo: memFree=32108584/32770624 swapFree=5836/113828
[pid=4807] ppid=4804 vsize=35364 CPUtime=282.29 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12739 0 0 0 28229 0 0 0 20 0 1 0 1537932 36212736 2993 33554432000 4194304 5744392 140728321509088 140728321496440 4946156 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2993 763 379 0 2260 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 35364
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4820
/proc/meminfo: memFree=32108840/32770624 swapFree=5836/113876
[pid=4807] ppid=4804 vsize=35364 CPUtime=342.29 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12867 0 0 0 34229 0 0 0 20 0 1 0 1537932 36212736 2993 33554432000 4194304 5744392 140728321509088 140728321506696 4892763 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2993 763 379 0 2260 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 35364
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4821
/proc/meminfo: memFree=32108940/32770624 swapFree=5836/113900
[pid=4807] ppid=4804 vsize=35364 CPUtime=402.3 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 12870 0 0 0 40230 0 0 0 20 0 1 0 1537932 36212736 2993 33554432000 4194304 5744392 140728321509088 140728321496440 5024176 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2993 763 379 0 2260 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 35364
[startup+462.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/182 5068
/proc/meminfo: memFree=30234472/32770624 swapFree=5836/114924
[pid=4807] ppid=4804 vsize=35364 CPUtime=462.3 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 13001 0 0 0 46230 0 0 0 20 0 1 0 1537932 36212736 2994 33554432000 4194304 5744392 140728321509088 140728321506696 4892917 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2994 763 379 0 2260 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 35364
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 5617
/proc/meminfo: memFree=32118848/32770624 swapFree=5836/115468
[pid=4807] ppid=4804 vsize=35364 CPUtime=522.3 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 13119 0 0 0 52230 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321506696 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 35364
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5618
/proc/meminfo: memFree=32118104/32770624 swapFree=5836/115552
[pid=4807] ppid=4804 vsize=35364 CPUtime=582.3 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 13242 0 0 0 58230 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321506696 4893353 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 35364
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5649
/proc/meminfo: memFree=32117516/32770624 swapFree=5836/116256
[pid=4807] ppid=4804 vsize=35364 CPUtime=1482.33 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 14858 0 0 0 148233 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4947896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 35364
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5650
/proc/meminfo: memFree=32117392/32770624 swapFree=5836/116288
[pid=4807] ppid=4804 vsize=35364 CPUtime=1542.34 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 14977 0 0 0 154234 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 5129192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 35364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5651
/proc/meminfo: memFree=32117392/32770624 swapFree=5836/116324
[pid=4807] ppid=4804 vsize=35364 CPUtime=1602.34 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15066 0 0 0 160234 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4892821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 35364
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5652
/proc/meminfo: memFree=32116888/32770624 swapFree=5836/116352
[pid=4807] ppid=4804 vsize=35364 CPUtime=1662.34 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15155 0 0 0 166234 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4892830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 35364
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5653
/proc/meminfo: memFree=32116896/32770624 swapFree=5836/116392
[pid=4807] ppid=4804 vsize=35364 CPUtime=1722.34 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15274 0 0 0 172234 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 5024176 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 35364
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5654
/proc/meminfo: memFree=32116964/32770624 swapFree=5836/116428
[pid=4807] ppid=4804 vsize=35364 CPUtime=1782.34 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15386 0 0 0 178234 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4948372 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 35364
[startup+1842.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 5662
/proc/meminfo: memFree=32115456/32770624 swapFree=5836/116460
[pid=4807] ppid=4804 vsize=35364 CPUtime=1842.35 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15393 0 0 0 184235 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4998922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 35364
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5663
/proc/meminfo: memFree=32115332/32770624 swapFree=5836/116500
[pid=4807] ppid=4804 vsize=35364 CPUtime=1902.35 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15510 0 0 0 190235 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 5024186 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 35364
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5664
/proc/meminfo: memFree=32115488/32770624 swapFree=5836/116528
[pid=4807] ppid=4804 vsize=35364 CPUtime=1962.35 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15627 0 0 0 196235 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4947914 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 35364
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5665
/proc/meminfo: memFree=32115604/32770624 swapFree=5836/116556
[pid=4807] ppid=4804 vsize=35364 CPUtime=2022.35 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15744 0 0 0 202235 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4946156 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 35364
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5666
/proc/meminfo: memFree=32115852/32770624 swapFree=5836/116592
[pid=4807] ppid=4804 vsize=35364 CPUtime=2082.36 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15861 0 0 0 208236 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 5024419 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 35364
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5667
/proc/meminfo: memFree=32115728/32770624 swapFree=5836/116624
[pid=4807] ppid=4804 vsize=35364 CPUtime=2142.36 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 15953 0 0 0 214236 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4892884 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 35364
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5668
/proc/meminfo: memFree=32116100/32770624 swapFree=5836/116652
[pid=4807] ppid=4804 vsize=35364 CPUtime=2202.36 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 16043 0 0 0 220236 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4946156 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 35364
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5669
/proc/meminfo: memFree=32116100/32770624 swapFree=5836/116688
[pid=4807] ppid=4804 vsize=35364 CPUtime=2262.36 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 16134 0 0 0 226236 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4892799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 35364
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 5670
/proc/meminfo: memFree=32115860/32770624 swapFree=5836/116720
[pid=4807] ppid=4804 vsize=35364 CPUtime=2322.36 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 16224 0 0 0 232236 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4892818 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 35364
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 5671
/proc/meminfo: memFree=32115728/32770624 swapFree=5836/116756
[pid=4807] ppid=4804 vsize=35364 CPUtime=2382.36 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 16343 0 0 0 238236 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4998912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 35364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 5671
/proc/meminfo: memFree=32115588/32770624 swapFree=5836/116756
[pid=4807] ppid=4804 vsize=35364 CPUtime=2400.06 cores=0,2,4,6
/proc/4807/stat : 4807 (cosoco) R 4804 4807 3396 0 -1 4202496 16455 0 0 0 240006 0 0 0 20 0 1 0 1537932 36212736 2996 33554432000 4194304 5744392 140728321509088 140728321496440 4946199 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 39784448 140728321512641 140728321512771 140728321512771 140728321515470 0
/proc/4807/statm: 8841 2996 763 379 0 2260 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 35364
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 4807 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.07
CPU system time (s): 0.009
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 35364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.009
maximum resident set size= 12032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16488
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= 14
involuntary context switches= 635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63212 second user time and 8.78013 second system time
The end