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-4253114-1500927404/watcher-4253114-1500927404 -o /tmp/evaluation-result-4253114-1500927404/solver-4253114-1500927404 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500914927-3626 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4253114-1500927404.xml
pid=7492
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 7495
/proc/meminfo: memFree=32115184/32770624 swapFree=5864/124632
[pid=7495] ppid=7492 vsize=26772 CPUtime=0 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1012 0 0 0 0 0 0 0 20 0 1 0 2279635 27414528 825 33554432000 4194304 5744392 140731673088352 140731673085000 5125952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 825 729 379 0 112 0
[startup+0.100197 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7495
/proc/meminfo: memFree=32115184/32770624 swapFree=5864/124632
[pid=7495] ppid=7492 vsize=26772 CPUtime=0.09 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1015 0 0 0 9 0 0 0 20 0 1 0 2279635 27414528 825 33554432000 4194304 5744392 140731673088352 140731673085000 4948528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26772
[startup+0.200329 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7495
/proc/meminfo: memFree=32115184/32770624 swapFree=5864/124632
[pid=7495] ppid=7492 vsize=26772 CPUtime=0.19 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1015 0 0 0 19 0 0 0 20 0 1 0 2279635 27414528 825 33554432000 4194304 5744392 140731673088352 140731673085000 4946169 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26772
[startup+0.300312 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7495
/proc/meminfo: memFree=32115184/32770624 swapFree=5864/124632
[pid=7495] ppid=7492 vsize=26772 CPUtime=0.29 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1015 0 0 0 29 0 0 0 20 0 1 0 2279635 27414528 825 33554432000 4194304 5744392 140731673088352 140731673085000 4946840 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26772
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7495
/proc/meminfo: memFree=32115184/32770624 swapFree=5864/124632
[pid=7495] ppid=7492 vsize=26772 CPUtime=0.69 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1015 0 0 0 69 0 0 0 20 0 1 0 2279635 27414528 825 33554432000 4194304 5744392 140731673088352 140731673085960 5024236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26772
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7496
/proc/meminfo: memFree=32114804/32770624 swapFree=5864/124600
[pid=7495] ppid=7492 vsize=26772 CPUtime=1.49 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1015 0 0 0 149 0 0 0 20 0 1 0 2279635 27414528 825 33554432000 4194304 5744392 140731673088352 140731673085960 4948352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 825 729 379 0 112 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26772
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7496
/proc/meminfo: memFree=32114804/32770624 swapFree=5864/124600
[pid=7495] ppid=7492 vsize=26772 CPUtime=3.09 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1055 0 0 0 309 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4946485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26772
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7496
/proc/meminfo: memFree=32115160/32770624 swapFree=5864/124648
[pid=7495] ppid=7492 vsize=26772 CPUtime=6.29 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1095 0 0 0 629 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 5024419 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26772
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7496
/proc/meminfo: memFree=32114788/32770624 swapFree=5864/124648
[pid=7495] ppid=7492 vsize=26772 CPUtime=12.69 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1119 0 0 0 1269 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4945877 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26772
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7496
/proc/meminfo: memFree=32114536/32770624 swapFree=5864/124656
[pid=7495] ppid=7492 vsize=26772 CPUtime=25.49 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1181 0 0 0 2549 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4946023 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26772
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7496
/proc/meminfo: memFree=32114432/32770624 swapFree=5864/124680
[pid=7495] ppid=7492 vsize=26772 CPUtime=51.09 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1223 0 0 0 5109 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4946485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/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 7497
/proc/meminfo: memFree=32114452/32770624 swapFree=5864/124740
[pid=7495] ppid=7492 vsize=26772 CPUtime=102.3 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1263 0 0 0 10230 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/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: 2.04 2.03 2.05 3/182 7498
/proc/meminfo: memFree=32114308/32770624 swapFree=5864/124772
[pid=7495] ppid=7492 vsize=26772 CPUtime=162.3 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1287 0 0 0 16230 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4947249 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26772
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7506
/proc/meminfo: memFree=32112716/32770624 swapFree=5864/124824
[pid=7495] ppid=7492 vsize=26772 CPUtime=222.31 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1311 0 0 0 22231 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4948498 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 26772
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7507
/proc/meminfo: memFree=32114088/32770624 swapFree=5864/124868
[pid=7495] ppid=7492 vsize=26772 CPUtime=282.31 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1311 0 0 0 28231 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4948328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 26772
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7508
/proc/meminfo: memFree=32114180/32770624 swapFree=5864/124916
[pid=7495] ppid=7492 vsize=26772 CPUtime=342.31 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1351 0 0 0 34231 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4946584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 26772
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7509
/proc/meminfo: memFree=32113660/32770624 swapFree=5864/124952
[pid=7495] ppid=7492 vsize=26772 CPUtime=402.31 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1351 0 0 0 40231 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4948537 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 26772
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7510
/proc/meminfo: memFree=32113996/32770624 swapFree=5864/125000
[pid=7495] ppid=7492 vsize=26772 CPUtime=462.31 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1375 0 0 0 46231 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4948452 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 26772
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 7512
/proc/meminfo: memFree=32113968/32770624 swapFree=5864/125032
[pid=7495] ppid=7492 vsize=26772 CPUtime=522.32 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1399 0 0 0 52232 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4998912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 26772
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 7513
/proc/meminfo: memFree=32113652/32770624 swapFree=5864/125068
[pid=7495] ppid=7492 vsize=26772 CPUtime=582.32 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1399 0 0 0 58232 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4948308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 26772
################
# More data... #
################
/proc/loadavg: 2.07 2.03 2.05 3/183 7529
/proc/meminfo: memFree=32114232/32770624 swapFree=5864/125348
[pid=7495] ppid=7492 vsize=26772 CPUtime=1002.34 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1527 0 0 0 100234 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4948328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 26772
[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 7530
/proc/meminfo: memFree=32114364/32770624 swapFree=5864/125392
[pid=7495] ppid=7492 vsize=26772 CPUtime=1062.34 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1527 0 0 0 106234 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 26772
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7531
/proc/meminfo: memFree=32114336/32770624 swapFree=5864/125428
[pid=7495] ppid=7492 vsize=26772 CPUtime=1122.34 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1550 0 0 0 112234 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 26772
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7532
/proc/meminfo: memFree=32114224/32770624 swapFree=5864/125448
[pid=7495] ppid=7492 vsize=26772 CPUtime=1182.35 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1551 0 0 0 118235 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 26772
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7533
/proc/meminfo: memFree=32115504/32770624 swapFree=5864/125496
[pid=7495] ppid=7492 vsize=26772 CPUtime=1242.35 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1589 0 0 0 124235 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4946159 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 26772
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7535
/proc/meminfo: memFree=32114532/32770624 swapFree=5864/125544
[pid=7495] ppid=7492 vsize=26772 CPUtime=1302.35 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1615 0 0 0 130235 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673075704 4946584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 26772
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7536
/proc/meminfo: memFree=32114640/32770624 swapFree=5864/125584
[pid=7495] ppid=7492 vsize=26772 CPUtime=1362.36 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1629 0 0 0 136236 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4946488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 26772
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7544
/proc/meminfo: memFree=32113472/32770624 swapFree=5864/125608
[pid=7495] ppid=7492 vsize=26772 CPUtime=1422.36 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1653 0 0 0 142236 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024176 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 26772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7545
/proc/meminfo: memFree=32113588/32770624 swapFree=5864/125644
[pid=7495] ppid=7492 vsize=26772 CPUtime=1482.36 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1653 0 0 0 148236 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4945693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 26772
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7495 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7545
/proc/meminfo: memFree=32113588/32770624 swapFree=5864/125644
[pid=7495] ppid=7492 vsize=26772 CPUtime=1484.86 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1653 0 0 0 148486 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5124640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1484.86
Current children cumulated vsize (KiB) 26772
[startup+1510.41 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1510.47 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 151047 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024245 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1510.47
Current children cumulated vsize (KiB) 26772
[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1523.26 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 152326 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4946608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1523.26
Current children cumulated vsize (KiB) 26772
[startup+1529.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1529.66 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 152966 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1529.66
Current children cumulated vsize (KiB) 26772
[startup+1532.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1532.86 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 153286 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024193 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1532.86
Current children cumulated vsize (KiB) 26772
[startup+1534.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1534.46 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 153446 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024193 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1534.46
Current children cumulated vsize (KiB) 26772
[startup+1535.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1535.26 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 153526 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4998912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1535.26
Current children cumulated vsize (KiB) 26772
[startup+1536 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1536.06 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 153606 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 4998922 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1536.06
Current children cumulated vsize (KiB) 26772
[startup+1536.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7546
/proc/meminfo: memFree=32113348/32770624 swapFree=5864/125668
[pid=7495] ppid=7492 vsize=26772 CPUtime=1536.46 cores=0,2,4,6
/proc/7495/stat : 7495 (cosoco) R 7492 7495 3595 0 -1 4202496 1677 0 0 0 153646 0 0 0 20 0 1 0 2279635 27414528 856 33554432000 4194304 5744392 140731673088352 140731673085960 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 17653760 140731673097409 140731673097539 140731673097539 140731673100238 0
/proc/7495/statm: 6693 856 756 379 0 112 0
Current children cumulated CPU time (s) 1536.46
Current children cumulated vsize (KiB) 26772
Child status: 0
Real time (s): 1536.43
CPU time (s): 1536.49
CPU user time (s): 1536.49
CPU system time (s): 0.001331
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 26772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1536.49
system time used= 0.001331
maximum resident set size= 3504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1733
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= 386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.62764 second user time and 5.31606 second system time
The end