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-4253112-1500927334/watcher-4253112-1500927334 -o /tmp/evaluation-result-4253112-1500927334/solver-4253112-1500927334 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500914924-3649 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253112-1500927334.xml
pid=8357
running on 4 cores: 1,3,5,7
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.85 1.98 2.03 2/181 8360
/proc/meminfo: memFree=32121292/32770624 swapFree=5880/118152
[pid=8360] ppid=8357 vsize=26772 CPUtime=0 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1013 0 0 0 0 0 0 0 20 0 1 0 2286531 27414528 826 33554432000 4194304 5744392 140735892446496 140735892443144 5125952 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 826 729 379 0 112 0
[startup+0.100115 s]
/proc/loadavg: 1.85 1.98 2.03 2/181 8360
/proc/meminfo: memFree=32121292/32770624 swapFree=5880/118152
[pid=8360] ppid=8357 vsize=26772 CPUtime=0.09 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1016 0 0 0 9 0 0 0 20 0 1 0 2286531 27414528 826 33554432000 4194304 5744392 140735892446496 140735892443144 4946156 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 826 729 379 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26772
[startup+0.20021 s]
/proc/loadavg: 1.85 1.98 2.03 2/181 8360
/proc/meminfo: memFree=32121292/32770624 swapFree=5880/118152
[pid=8360] ppid=8357 vsize=26772 CPUtime=0.19 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1016 0 0 0 19 0 0 0 20 0 1 0 2286531 27414528 826 33554432000 4194304 5744392 140735892446496 140735892443144 5024411 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 826 729 379 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26772
[startup+0.300197 s]
/proc/loadavg: 1.85 1.98 2.03 2/181 8360
/proc/meminfo: memFree=32121292/32770624 swapFree=5880/118152
[pid=8360] ppid=8357 vsize=26772 CPUtime=0.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1016 0 0 0 29 0 0 0 20 0 1 0 2286531 27414528 826 33554432000 4194304 5744392 140735892446496 140735892443144 5126223 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 826 729 379 0 112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.700175 s]
/proc/loadavg: 1.85 1.98 2.03 2/181 8360
/proc/meminfo: memFree=32121292/32770624 swapFree=5880/118152
[pid=8360] ppid=8357 vsize=26772 CPUtime=0.69 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1016 0 0 0 69 0 0 0 20 0 1 0 2286531 27414528 826 33554432000 4194304 5744392 140735892446496 140735892443144 5024419 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 826 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: 1.85 1.98 2.03 3/182 8361
/proc/meminfo: memFree=32121292/32770624 swapFree=5880/118152
[pid=8360] ppid=8357 vsize=26772 CPUtime=1.49 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1016 0 0 0 149 0 0 0 20 0 1 0 2286531 27414528 826 33554432000 4194304 5744392 140735892446496 140735892443144 4946309 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 826 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: 1.85 1.98 2.03 3/182 8361
/proc/meminfo: memFree=32120924/32770624 swapFree=5880/118152
[pid=8360] ppid=8357 vsize=26772 CPUtime=3.09 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1040 0 0 0 309 0 0 0 20 0 1 0 2286531 27414528 826 33554432000 4194304 5744392 140735892446496 140735892444104 4946485 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 826 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: 1.86 1.98 2.03 3/182 8361
/proc/meminfo: memFree=32120436/32770624 swapFree=5880/118188
[pid=8360] ppid=8357 vsize=26772 CPUtime=6.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1096 0 0 0 629 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5140544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/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: 1.87 1.98 2.03 3/182 8361
/proc/meminfo: memFree=32120064/32770624 swapFree=5880/118196
[pid=8360] ppid=8357 vsize=26772 CPUtime=12.69 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1120 0 0 0 1269 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892444104 4945700 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/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: 1.90 1.98 2.03 3/182 8361
/proc/meminfo: memFree=32120064/32770624 swapFree=5880/118196
[pid=8360] ppid=8357 vsize=26772 CPUtime=25.49 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1184 0 0 0 2549 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892444104 4945697 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/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: 1.93 1.99 2.03 3/182 8361
/proc/meminfo: memFree=32120096/32770624 swapFree=5880/118224
[pid=8360] ppid=8357 vsize=26772 CPUtime=51.09 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1240 0 0 0 5109 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892444104 4947288 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/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: 1.97 1.99 2.03 3/182 8362
/proc/meminfo: memFree=32119444/32770624 swapFree=5880/118276
[pid=8360] ppid=8357 vsize=26772 CPUtime=102.3 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1264 0 0 0 10230 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892444104 5024402 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26772
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 8363
/proc/meminfo: memFree=32118944/32770624 swapFree=5880/118324
[pid=8360] ppid=8357 vsize=26772 CPUtime=162.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1304 0 0 0 16229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5024224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26772
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8364
/proc/meminfo: memFree=32118904/32770624 swapFree=5880/118376
[pid=8360] ppid=8357 vsize=26772 CPUtime=222.3 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1344 0 0 0 22230 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5024419 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26772
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8372
/proc/meminfo: memFree=32117664/32770624 swapFree=5880/118436
[pid=8360] ppid=8357 vsize=26772 CPUtime=282.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1384 0 0 0 28229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4948124 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 26772
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8373
/proc/meminfo: memFree=32118292/32770624 swapFree=5880/118488
[pid=8360] ppid=8357 vsize=26772 CPUtime=342.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1424 0 0 0 34229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892444104 5024231 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 26772
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8374
/proc/meminfo: memFree=32118216/32770624 swapFree=5880/118536
[pid=8360] ppid=8357 vsize=26772 CPUtime=402.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1448 0 0 0 40229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4947773 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 26772
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8375
/proc/meminfo: memFree=32118324/32770624 swapFree=5880/118564
[pid=8360] ppid=8357 vsize=26772 CPUtime=462.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1472 0 0 0 46229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5140986 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 26772
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8376
/proc/meminfo: memFree=32118200/32770624 swapFree=5880/118584
[pid=8360] ppid=8357 vsize=26772 CPUtime=522.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1496 0 0 0 52229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5024203 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 26772
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8378
/proc/meminfo: memFree=32117820/32770624 swapFree=5880/118616
[pid=8360] ppid=8357 vsize=26772 CPUtime=582.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1520 0 0 0 58229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5024402 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 26772
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8379
/proc/meminfo: memFree=32117984/32770624 swapFree=5880/118660
[pid=8360] ppid=8357 vsize=26772 CPUtime=642.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1560 0 0 0 64229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4947036 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 26772
[startup+702.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 8380
/proc/meminfo: memFree=32117612/32770624 swapFree=5880/118704
[pid=8360] ppid=8357 vsize=26772 CPUtime=702.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1598 0 0 0 70229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892444104 4946544 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 26772
[startup+762.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/182 8382
/proc/meminfo: memFree=32117612/32770624 swapFree=5880/118744
[pid=8360] ppid=8357 vsize=26772 CPUtime=762.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1622 0 0 0 76229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892444104 4946496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 26772
[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/182 8383
/proc/meminfo: memFree=32117492/32770624 swapFree=5880/118772
[pid=8360] ppid=8357 vsize=26772 CPUtime=822.28 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1662 0 0 0 82228 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4948375 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 26772
[startup+882.306 s]
/proc/loadavg: 2.01 2.00 2.04 3/182 8391
/proc/meminfo: memFree=32116896/32770624 swapFree=5880/118828
[pid=8360] ppid=8357 vsize=26772 CPUtime=882.29 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1702 0 0 0 88229 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4946531 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 26772
[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 8392
/proc/meminfo: memFree=32117416/32770624 swapFree=5880/118856
[pid=8360] ppid=8357 vsize=26772 CPUtime=942.28 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1726 0 0 0 94228 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5024193 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 26772
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 8393
/proc/meminfo: memFree=32117160/32770624 swapFree=5880/118896
[pid=8360] ppid=8357 vsize=26772 CPUtime=1002.28 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1766 0 0 0 100228 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4946576 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 26772
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8360 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1024 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8394
/proc/meminfo: memFree=32117268/32770624 swapFree=5880/118916
[pid=8360] ppid=8357 vsize=26772 CPUtime=1023.98 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 102398 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4945693 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1023.98
Current children cumulated vsize (KiB) 26772
[startup+1036.8 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118916
[pid=8360] ppid=8357 vsize=26772 CPUtime=1036.78 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 103678 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5024239 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1036.78
Current children cumulated vsize (KiB) 26772
[startup+1043.2 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118916
[pid=8360] ppid=8357 vsize=26772 CPUtime=1043.18 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 104318 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4948358 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1043.18
Current children cumulated vsize (KiB) 26772
[startup+1049.6 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118924
[pid=8360] ppid=8357 vsize=26772 CPUtime=1049.58 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 104958 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4948372 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1049.58
Current children cumulated vsize (KiB) 26772
[startup+1051.2 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118924
[pid=8360] ppid=8357 vsize=26772 CPUtime=1051.18 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 105118 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4946536 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1051.18
Current children cumulated vsize (KiB) 26772
[startup+1052.81 s]
/proc/loadavg: 2.01 2.01 2.05 5/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118924
[pid=8360] ppid=8357 vsize=26772 CPUtime=1052.79 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 105279 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4948452 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1052.79
Current children cumulated vsize (KiB) 26772
[startup+1053.2 s]
/proc/loadavg: 2.01 2.01 2.05 5/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118924
[pid=8360] ppid=8357 vsize=26772 CPUtime=1053.18 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 105318 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4948528 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1053.18
Current children cumulated vsize (KiB) 26772
[startup+1053.4 s]
/proc/loadavg: 2.01 2.01 2.05 5/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118924
[pid=8360] ppid=8357 vsize=26772 CPUtime=1053.38 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 105338 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 5008640 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1053.38
Current children cumulated vsize (KiB) 26772
[startup+1053.5 s]
/proc/loadavg: 2.01 2.01 2.05 5/182 8394
/proc/meminfo: memFree=32117392/32770624 swapFree=5880/118924
[pid=8360] ppid=8357 vsize=26772 CPUtime=1053.48 cores=1,3,5,7
/proc/8360/stat : 8360 (cosoco) R 8357 8360 3617 0 -1 4202496 1790 0 0 0 105348 0 0 0 20 0 1 0 2286531 27414528 856 33554432000 4194304 5744392 140735892446496 140735892433848 4947940 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 7841632 7846472 37318656 140735892452545 140735892452675 140735892452675 140735892455374 0
/proc/8360/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1053.48
Current children cumulated vsize (KiB) 26772
Child status: 0
Real time (s): 1053.57
CPU time (s): 1053.55
CPU user time (s): 1053.55
CPU system time (s): 0.000999
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 26772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1053.55
system time used= 0.000999
maximum resident set size= 3504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1844
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= 6
involuntary context switches= 275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.64975 second user time and 3.26099 second system time
The end