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-4259980-1502033911/watcher-4259980-1502033911 -o /tmp/evaluation-result-4259980-1502033911/solver-4259980-1502033911 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22616 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259980-1502033911.xml 

pid=26468
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 2/180 26471
/proc/meminfo: memFree=29403672/32770624 swapFree=0/348728
[pid=26471] ppid=26468 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/26471/stat : 26471 (runsolver) D 26468 26471 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5586895 24240128 108 18446744073709551615 4194304 4338465 140735877201696 140735877199336 140087615574743 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 25088000 140735877210306 140735877210698 140735877210698 140735877214154 0
/proc/26471/statm: 5918 108 54 36 0 2156 0

[startup+0.100195 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26471
/proc/meminfo: memFree=29403672/32770624 swapFree=0/348728
[pid=26471] ppid=26468 vsize=28224 CPUtime=0.02 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 1327 0 0 0 2 0 0 0 20 0 1 0 5586895 28901376 1126 18446744073709551615 4194304 5747388 140737456595456 140737456592104 5329609 0 0 1 0 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 7056 1126 699 380 0 474 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 28224

[startup+0.200355 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26471
/proc/meminfo: memFree=29403672/32770624 swapFree=0/348728
[pid=26471] ppid=26468 vsize=60804 CPUtime=0.12 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 9495 0 0 0 12 0 0 0 20 0 1 0 5586895 62263296 9306 18446744073709551615 4194304 5747388 140737456595456 140737456592104 5206009 0 0 1 0 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 15201 9306 726 380 0 8619 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 60804

[startup+0.300381 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26471
/proc/meminfo: memFree=29403672/32770624 swapFree=0/348728
[pid=26471] ppid=26468 vsize=61728 CPUtime=0.22 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 9734 0 0 0 22 0 0 0 20 0 1 0 5586895 63209472 9569 18446744073709551615 4194304 5747388 140737456595456 140737456592104 139635850886117 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 15432 9569 760 380 0 8850 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 61728

[startup+0.700291 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 26471
/proc/meminfo: memFree=29403672/32770624 swapFree=0/348728
[pid=26471] ppid=26468 vsize=73876 CPUtime=0.62 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 12794 0 0 0 61 1 0 0 20 0 1 0 5586895 75649024 12599 18446744073709551615 4194304 5747388 140737456595456 140737456592104 4949032 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 18469 12599 761 380 0 11887 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 73876

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26472
/proc/meminfo: memFree=29354752/32770624 swapFree=0/348768
[pid=26471] ppid=26468 vsize=75612 CPUtime=1.42 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 13205 0 0 0 141 1 0 0 20 0 1 0 5586895 77426688 12995 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949588 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 18903 12995 761 380 0 12321 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 75612

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26472
/proc/meminfo: memFree=29353016/32770624 swapFree=0/348768
[pid=26471] ppid=26468 vsize=77616 CPUtime=3.02 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 15408 0 0 0 301 1 0 0 20 0 1 0 5586895 79478784 13553 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4995152 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19404 13553 761 380 0 12822 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 77616

[startup+6.30028 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 26472
/proc/meminfo: memFree=29350884/32770624 swapFree=0/348480
[pid=26471] ppid=26468 vsize=78696 CPUtime=6.22 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 29745 0 0 0 621 1 0 0 20 0 1 0 5586895 80584704 13814 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5000080 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19674 13814 761 380 0 13092 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 78696

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 26472
/proc/meminfo: memFree=29349772/32770624 swapFree=0/348492
[pid=26471] ppid=26468 vsize=79240 CPUtime=12.62 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 38338 0 0 0 1260 2 0 0 20 0 1 0 5586895 81141760 13955 18446744073709551615 4194304 5747388 140737456595456 140737456592312 4947667 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19810 13955 761 380 0 13228 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 79240

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 26472
/proc/meminfo: memFree=29349616/32770624 swapFree=0/348508
[pid=26471] ppid=26468 vsize=79516 CPUtime=25.42 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 53497 0 0 0 2539 3 0 0 20 0 1 0 5586895 81424384 14028 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4947667 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19879 14028 761 380 0 13297 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 79516

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 26474
/proc/meminfo: memFree=29349604/32770624 swapFree=0/348532
[pid=26471] ppid=26468 vsize=79516 CPUtime=51.02 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 61765 0 0 0 5099 3 0 0 20 0 1 0 5586895 81424384 14037 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949024 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19879 14037 761 380 0 13297 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 79516

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 26475
/proc/meminfo: memFree=29349124/32770624 swapFree=0/348540
[pid=26471] ppid=26468 vsize=79648 CPUtime=102.22 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 69691 0 0 0 10219 3 0 0 20 0 1 0 5586895 81559552 14054 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025354 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14054 761 380 0 13330 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 79648

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 26477
/proc/meminfo: memFree=29345372/32770624 swapFree=0/348596
[pid=26471] ppid=26468 vsize=79648 CPUtime=162.21 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 77091 0 0 0 16217 4 0 0 20 0 1 0 5586895 81559552 14059 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025579 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14059 761 380 0 13330 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 79648

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 26480
/proc/meminfo: memFree=29333104/32770624 swapFree=0/348636
[pid=26471] ppid=26468 vsize=79648 CPUtime=222.22 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 84418 0 0 0 22217 5 0 0 20 0 1 0 5586895 81559552 14059 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4947720 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14059 761 380 0 13330 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 79648

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 26482
/proc/meminfo: memFree=29323356/32770624 swapFree=0/348672
[pid=26471] ppid=26468 vsize=79648 CPUtime=282.21 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 91475 0 0 0 28216 5 0 0 20 0 1 0 5586895 81559552 14059 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5121146 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14059 761 380 0 13330 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79648

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 26498
/proc/meminfo: memFree=29307080/32770624 swapFree=0/348744
[pid=26471] ppid=26468 vsize=79648 CPUtime=342.21 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 98467 0 0 0 34216 5 0 0 20 0 1 0 5586895 81559552 14059 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5121146 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14059 761 380 0 13330 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 79648

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 26500
/proc/meminfo: memFree=29292852/32770624 swapFree=0/348784
[pid=26471] ppid=26468 vsize=79648 CPUtime=402.2 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 105472 0 0 0 40215 5 0 0 20 0 1 0 5586895 81559552 14059 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949065 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14059 761 380 0 13330 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 79648

[startup+462.3 s]
/proc/loadavg: 2.14 2.04 2.05 3/181 26502
/proc/meminfo: memFree=29283080/32770624 swapFree=0/348816
[pid=26471] ppid=26468 vsize=79648 CPUtime=462.21 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 112579 0 0 0 46215 6 0 0 20 0 1 0 5586895 81559552 14059 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5133705 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14059 761 380 0 13330 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 79648

[startup+522.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 26504
/proc/meminfo: memFree=29281376/32770624 swapFree=0/348844
[pid=26471] ppid=26468 vsize=79648 CPUtime=522.19 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 113368 0 0 0 52213 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025392 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 79648

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 26506
/proc/meminfo: memFree=29282420/32770624 swapFree=0/348888
[pid=26471] ppid=26468 vsize=79648 CPUtime=582.19 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 113625 0 0 0 58213 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949032 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 79648


################
# More data... #
################

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 26888
/proc/meminfo: memFree=31640940/32770624 swapFree=0/349636
[pid=26471] ppid=26468 vsize=79648 CPUtime=1482.16 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 117018 0 0 0 148210 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949032 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1482.16
Current children cumulated vsize (KiB) 79648

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 26906
/proc/meminfo: memFree=31636592/32770624 swapFree=0/349712
[pid=26471] ppid=26468 vsize=79648 CPUtime=1542.16 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 117184 0 0 0 154210 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5118336 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 79648

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 26907
/proc/meminfo: memFree=31636600/32770624 swapFree=0/349744
[pid=26471] ppid=26468 vsize=79648 CPUtime=1602.15 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 117439 0 0 0 160209 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025354 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 79648

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26909
/proc/meminfo: memFree=31639616/32770624 swapFree=0/349768
[pid=26471] ppid=26468 vsize=79648 CPUtime=1662.15 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 117603 0 0 0 166209 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4947331 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 79648

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26911
/proc/meminfo: memFree=31640148/32770624 swapFree=0/349800
[pid=26471] ppid=26468 vsize=79648 CPUtime=1722.15 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 117767 0 0 0 172209 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025399 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 79648

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26913
/proc/meminfo: memFree=31640152/32770624 swapFree=0/349824
[pid=26471] ppid=26468 vsize=79648 CPUtime=1782.15 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 118027 0 0 0 178209 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025392 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 79648

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26916
/proc/meminfo: memFree=31639564/32770624 swapFree=0/349876
[pid=26471] ppid=26468 vsize=79648 CPUtime=1842.14 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 118194 0 0 0 184208 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025354 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 79648

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26918
/proc/meminfo: memFree=31639836/32770624 swapFree=0/349896
[pid=26471] ppid=26468 vsize=79648 CPUtime=1902.14 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 118447 0 0 0 190208 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025392 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 79648

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26920
/proc/meminfo: memFree=31639832/32770624 swapFree=0/349928
[pid=26471] ppid=26468 vsize=79648 CPUtime=1962.14 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 118615 0 0 0 196208 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025409 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 79648

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26923
/proc/meminfo: memFree=31639348/32770624 swapFree=0/349972
[pid=26471] ppid=26468 vsize=79648 CPUtime=2022.14 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 118783 0 0 0 202208 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5121146 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 79648

[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 26925
/proc/meminfo: memFree=31639372/32770624 swapFree=0/350000
[pid=26471] ppid=26468 vsize=79648 CPUtime=2082.14 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 119036 0 0 0 208208 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949032 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 79648

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 26942
/proc/meminfo: memFree=31635860/32770624 swapFree=0/350056
[pid=26471] ppid=26468 vsize=79648 CPUtime=2142.13 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 119203 0 0 0 214207 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949028 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 79648

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 26969
/proc/meminfo: memFree=31634336/32770624 swapFree=0/350128
[pid=26471] ppid=26468 vsize=79648 CPUtime=2202.14 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 119370 0 0 0 220208 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5121136 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 79648

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 26971
/proc/meminfo: memFree=31635352/32770624 swapFree=0/350168
[pid=26471] ppid=26468 vsize=79648 CPUtime=2262.13 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 119537 0 0 0 226207 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4947676 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 79648

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 26973
/proc/meminfo: memFree=31638652/32770624 swapFree=0/350208
[pid=26471] ppid=26468 vsize=79648 CPUtime=2322.13 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 119786 0 0 0 232207 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4949583 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 79648

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 26975
/proc/meminfo: memFree=31639140/32770624 swapFree=0/350240
[pid=26471] ppid=26468 vsize=79648 CPUtime=2382.12 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 119954 0 0 0 238206 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 4947303 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 79648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 26977
/proc/meminfo: memFree=31638876/32770624 swapFree=0/350268
[pid=26471] ppid=26468 vsize=79648 CPUtime=2400.03 cores=0,2,4,6
/proc/26471/stat : 26471 (cosoco) R 26468 26471 21827 0 -1 4202496 120122 0 0 0 239997 6 0 0 20 0 1 0 5586895 81559552 14061 18446744073709551615 4194304 5747388 140737456595456 140737456592200 5025409 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 40964096 140737456599535 140737456599630 140737456599630 140737456603086 0
/proc/26471/statm: 19912 14061 761 380 0 13330 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 79648

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 26471 sig 9
??? kill -26471 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.04
CPU user time (s): 2399.97
CPU system time (s): 0.060997
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 79648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.060997
maximum resident set size= 56320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120212
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= 29
involuntary context switches= 612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96307 second user time and 7.89482 second system time

The end