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-4253118-1500927711/watcher-4253118-1500927711 -o /tmp/evaluation-result-4253118-1500927711/solver-4253118-1500927711 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500914922-3828 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253118-1500927711.xml
pid=5851
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.00 2.01 2.05 3/181 5854
/proc/meminfo: memFree=32102960/32770624 swapFree=5868/120844
[pid=5854] ppid=5851 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1015 0 0 0 0 0 0 0 20 0 1 0 2330184 27414528 825 33554432000 4194304 5744392 140727251871104 140727251867752 139973072345676 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 825 729 379 0 112 0
[startup+0.100105 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5854
/proc/meminfo: memFree=32102960/32770624 swapFree=5868/120844
[pid=5854] ppid=5851 vsize=26772 CPUtime=0.09 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1016 0 0 0 9 0 0 0 20 0 1 0 2330184 27414528 825 33554432000 4194304 5744392 140727251871104 140727251867752 4946059 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26772
[startup+0.200215 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5854
/proc/meminfo: memFree=32102960/32770624 swapFree=5868/120844
[pid=5854] ppid=5851 vsize=26772 CPUtime=0.19 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1016 0 0 0 19 0 0 0 20 0 1 0 2330184 27414528 825 33554432000 4194304 5744392 140727251871104 140727251867752 4946576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26772
[startup+0.3002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5854
/proc/meminfo: memFree=32102960/32770624 swapFree=5868/120844
[pid=5854] ppid=5851 vsize=26772 CPUtime=0.29 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1016 0 0 0 29 0 0 0 20 0 1 0 2330184 27414528 825 33554432000 4194304 5744392 140727251871104 140727251867752 5024405 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.700174 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 5854
/proc/meminfo: memFree=32102960/32770624 swapFree=5868/120844
[pid=5854] ppid=5851 vsize=26772 CPUtime=0.69 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1016 0 0 0 69 0 0 0 20 0 1 0 2330184 27414528 825 33554432000 4194304 5744392 140727251871104 140727251867752 5024224 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26772
[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5855
/proc/meminfo: memFree=32102124/32770624 swapFree=5868/120860
[pid=5854] ppid=5851 vsize=26772 CPUtime=1.49 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1016 0 0 0 149 0 0 0 20 0 1 0 2330184 27414528 825 33554432000 4194304 5744392 140727251871104 140727251868712 4945697 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26772
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5855
/proc/meminfo: memFree=32101880/32770624 swapFree=5868/120860
[pid=5854] ppid=5851 vsize=26772 CPUtime=3.09 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1041 0 0 0 309 0 0 0 20 0 1 0 2330184 27414528 825 33554432000 4194304 5744392 140727251871104 140727251858456 4946563 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26772
[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5855
/proc/meminfo: memFree=32101864/32770624 swapFree=5868/120876
[pid=5854] ppid=5851 vsize=26772 CPUtime=6.29 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1098 0 0 0 629 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 4946472 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26772
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5855
/proc/meminfo: memFree=32101368/32770624 swapFree=5868/120876
[pid=5854] ppid=5851 vsize=26772 CPUtime=12.69 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1139 0 0 0 1269 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 4946031 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26772
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5855
/proc/meminfo: memFree=32101368/32770624 swapFree=5868/120888
[pid=5854] ppid=5851 vsize=26772 CPUtime=25.49 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1205 0 0 0 2549 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5124386 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26772
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5855
/proc/meminfo: memFree=32101616/32770624 swapFree=5868/120924
[pid=5854] ppid=5851 vsize=26772 CPUtime=51.09 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1262 0 0 0 5109 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 5024250 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26772
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 5977
/proc/meminfo: memFree=32122068/32770624 swapFree=5868/121036
[pid=5854] ppid=5851 vsize=26772 CPUtime=102.29 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1303 0 0 0 10229 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 5141421 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 26772
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6038
/proc/meminfo: memFree=32120636/32770624 swapFree=5868/121144
[pid=5854] ppid=5851 vsize=26772 CPUtime=162.28 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1344 0 0 0 16228 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 4948447 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 26772
[startup+222.306 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 6040
/proc/meminfo: memFree=32120460/32770624 swapFree=5868/121232
[pid=5854] ppid=5851 vsize=26772 CPUtime=222.28 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1369 0 0 0 22228 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 4945693 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 26772
[startup+282.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/182 6041
/proc/meminfo: memFree=32120604/32770624 swapFree=5868/121296
[pid=5854] ppid=5851 vsize=26772 CPUtime=282.27 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1410 0 0 0 28227 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 4946429 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 26772
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 6042
/proc/meminfo: memFree=32120124/32770624 swapFree=5868/121356
[pid=5854] ppid=5851 vsize=26772 CPUtime=342.27 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1451 0 0 0 34227 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 4947799 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 26772
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 6044
/proc/meminfo: memFree=32119980/32770624 swapFree=5868/121384
[pid=5854] ppid=5851 vsize=26772 CPUtime=402.27 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1476 0 0 0 40227 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 4946576 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 26772
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 6045
/proc/meminfo: memFree=32119924/32770624 swapFree=5868/121444
[pid=5854] ppid=5851 vsize=26772 CPUtime=462.26 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1515 0 0 0 46226 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5024411 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 26772
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 6053
/proc/meminfo: memFree=32119724/32770624 swapFree=5868/121472
[pid=5854] ppid=5851 vsize=26772 CPUtime=522.26 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1556 0 0 0 52226 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 4946263 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 26772
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6054
/proc/meminfo: memFree=32119484/32770624 swapFree=5868/121536
[pid=5854] ppid=5851 vsize=26772 CPUtime=582.26 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1595 0 0 0 58226 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5140978 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 26772
[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6055
/proc/meminfo: memFree=32119252/32770624 swapFree=5868/121564
[pid=5854] ppid=5851 vsize=26772 CPUtime=642.25 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1620 0 0 0 64225 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 4946080 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 26772
[startup+702.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6056
/proc/meminfo: memFree=32120384/32770624 swapFree=5868/121596
[pid=5854] ppid=5851 vsize=26772 CPUtime=702.25 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1661 0 0 0 70225 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 4946156 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 26772
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6058
/proc/meminfo: memFree=32119488/32770624 swapFree=5868/121652
[pid=5854] ppid=5851 vsize=26772 CPUtime=762.25 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1702 0 0 0 76225 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5024176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 26772
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6059
/proc/meminfo: memFree=32119488/32770624 swapFree=5868/121692
[pid=5854] ppid=5851 vsize=26772 CPUtime=822.25 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1743 0 0 0 82225 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 5024402 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 26772
[startup+882.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 6060
/proc/meminfo: memFree=32119116/32770624 swapFree=5868/121728
[pid=5854] ppid=5851 vsize=26772 CPUtime=882.25 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1768 0 0 0 88225 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5140573 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 882.25
Current children cumulated vsize (KiB) 26772
[startup+942.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 6061
/proc/meminfo: memFree=32119728/32770624 swapFree=5868/121756
[pid=5854] ppid=5851 vsize=26772 CPUtime=942.24 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1809 0 0 0 94224 0 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251858456 5024176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 26772
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6062
/proc/meminfo: memFree=32119680/32770624 swapFree=5868/121784
[pid=5854] ppid=5851 vsize=26772 CPUtime=1002.25 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1848 0 0 0 100224 1 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5024417 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 26772
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5854 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1004.8 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6062
/proc/meminfo: memFree=32119680/32770624 swapFree=5868/121784
[pid=5854] ppid=5851 vsize=26772 CPUtime=1004.75 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1848 0 0 0 100474 1 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 4947909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1004.75
Current children cumulated vsize (KiB) 26772
[startup+1011.2 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6062
/proc/meminfo: memFree=32119812/32770624 swapFree=5868/121796
[pid=5854] ppid=5851 vsize=26772 CPUtime=1011.15 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1848 0 0 0 101114 1 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5024239 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1011.15
Current children cumulated vsize (KiB) 26772
[startup+1014.4 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6062
/proc/meminfo: memFree=32119936/32770624 swapFree=5868/121796
[pid=5854] ppid=5851 vsize=26772 CPUtime=1014.35 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1848 0 0 0 101434 1 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5024250 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1014.35
Current children cumulated vsize (KiB) 26772
[startup+1016 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6062
/proc/meminfo: memFree=32119936/32770624 swapFree=5868/121796
[pid=5854] ppid=5851 vsize=26772 CPUtime=1015.95 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1848 0 0 0 101594 1 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 4946020 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1015.95
Current children cumulated vsize (KiB) 26772
[startup+1016.8 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6062
/proc/meminfo: memFree=32119936/32770624 swapFree=5868/121796
[pid=5854] ppid=5851 vsize=26772 CPUtime=1016.75 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1872 0 0 0 101674 1 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5123292 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1016.75
Current children cumulated vsize (KiB) 26772
[startup+1017 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 6062
/proc/meminfo: memFree=32119936/32770624 swapFree=5868/121796
[pid=5854] ppid=5851 vsize=26772 CPUtime=1016.95 cores=0,2,4,6
/proc/5854/stat : 5854 (cosoco) R 5851 5854 3797 0 -1 4202496 1873 0 0 0 101694 1 0 0 20 0 1 0 2330184 27414528 856 33554432000 4194304 5744392 140727251871104 140727251868712 5024402 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7841632 7846472 16945152 140727251875009 140727251875139 140727251875139 140727251877838 0
/proc/5854/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1016.95
Current children cumulated vsize (KiB) 26772
Child status: 0
Real time (s): 1017.04
CPU time (s): 1017
CPU user time (s): 1016.99
CPU system time (s): 0.011999
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 26772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1016.99
system time used= 0.011999
maximum resident set size= 3504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1927
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= 1101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22052 second user time and 3.47779 second system time
The end