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-4268336-1502530284/watcher-4268336-1502530284 -o /tmp/evaluation-result-4268336-1502530284/solver-4268336-1502530284 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22047 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268336-1502530284.xml
pid=29434
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.18 2.06 2.06 3/180 29437
/proc/meminfo: memFree=31118444/32770624 swapFree=0/523356
[pid=29437] ppid=29434 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29437/stat : 29437 (runsolver) D 29434 29437 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 55249149 24240128 107 18446744073709551615 4194304 4338465 140728918123584 140728918121224 140247079781079 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 27914240 140728918126785 140728918127177 140728918127177 140728918130634 0
/proc/29437/statm: 5918 107 54 36 0 2156 0
[startup+0.100148 s]
/proc/loadavg: 2.18 2.06 2.06 3/180 29437
/proc/meminfo: memFree=31118444/32770624 swapFree=0/523356
[pid=29437] ppid=29434 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29437/stat : 29437 (runsolver) D 29434 29437 21984 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 55249149 24240128 107 18446744073709551615 4194304 4338465 140728918123584 140728918121224 140247079781079 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 27914240 140728918126785 140728918127177 140728918127177 140728918130634 0
/proc/29437/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200367 s]
/proc/loadavg: 2.18 2.06 2.06 3/180 29437
/proc/meminfo: memFree=31118444/32770624 swapFree=0/523356
[pid=29437] ppid=29434 vsize=34212 CPUtime=0.09 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 2798 0 0 0 9 0 0 0 20 0 1 0 55249149 35033088 2611 18446744073709551615 4194304 5972588 140732657782032 140732657778600 140356541217765 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 8553 2611 744 435 0 1916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34212
[startup+0.300353 s]
/proc/loadavg: 2.18 2.06 2.06 3/180 29437
/proc/meminfo: memFree=31118444/32770624 swapFree=0/523356
[pid=29437] ppid=29434 vsize=35552 CPUtime=0.18 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 3169 0 0 0 18 0 0 0 20 0 1 0 55249149 36405248 2901 18446744073709551615 4194304 5972588 140732657782032 140732657778600 140356541217765 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 8888 2901 750 435 0 2251 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 35552
[startup+0.70028 s]
/proc/loadavg: 2.18 2.06 2.06 3/180 29437
/proc/meminfo: memFree=31118444/32770624 swapFree=0/523356
[pid=29437] ppid=29434 vsize=43416 CPUtime=0.58 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 5161 0 0 0 58 0 0 0 20 0 1 0 55249149 44457984 4947 18446744073709551615 4194304 5972588 140732657782032 140732657775528 140356550857581 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 10854 4947 797 435 0 4217 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 43416
[startup+1.50028 s]
/proc/loadavg: 2.18 2.06 2.06 3/181 29438
/proc/meminfo: memFree=31093724/32770624 swapFree=0/523340
[pid=29437] ppid=29434 vsize=59444 CPUtime=1.39 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 9147 0 0 0 138 1 0 0 20 0 1 0 55249149 60870656 8907 18446744073709551615 4194304 5972588 140732657782032 140732657775528 140356541217765 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 14861 8907 797 435 0 8224 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 59444
[startup+3.10028 s]
/proc/loadavg: 2.18 2.06 2.06 3/181 29438
/proc/meminfo: memFree=31071776/32770624 swapFree=0/523340
[pid=29437] ppid=29434 vsize=91208 CPUtime=2.99 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 17552 0 0 0 297 2 0 0 20 0 1 0 55249149 93396992 16848 18446744073709551615 4194304 5972588 140732657782032 140732657775528 140356541254496 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 22802 16848 797 435 0 16165 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 91208
[startup+6.30028 s]
/proc/loadavg: 2.17 2.06 2.06 3/181 29438
/proc/meminfo: memFree=31005740/32770624 swapFree=0/523336
[pid=29437] ppid=29434 vsize=155040 CPUtime=6.19 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 33952 0 0 0 614 5 0 0 20 0 1 0 55249149 158760960 32816 18446744073709551615 4194304 5972588 140732657782032 140732657773800 140356550563089 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 38760 32816 797 435 0 32123 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 155040
[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 2.06 3/181 29438
/proc/meminfo: memFree=30880996/32770624 swapFree=0/523336
[pid=29437] ppid=29434 vsize=263064 CPUtime=12.59 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 68096 0 0 0 1250 9 0 0 20 0 1 0 55249149 269377536 59903 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5053090 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 65766 59903 830 435 0 59129 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 263064
[startup+25.5004 s]
/proc/loadavg: 2.12 2.05 2.05 3/181 29438
/proc/meminfo: memFree=30878028/32770624 swapFree=0/523328
[pid=29437] ppid=29434 vsize=266448 CPUtime=25.39 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 94749 0 0 0 2528 11 0 0 20 0 1 0 55249149 272842752 60769 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4966035 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60769 830 435 0 59975 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 266448
[startup+51.1004 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 29439
/proc/meminfo: memFree=30878028/32770624 swapFree=0/523320
[pid=29437] ppid=29434 vsize=266448 CPUtime=51 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 107551 0 0 0 5088 12 0 0 20 0 1 0 55249149 272842752 60769 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4909158 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60769 830 435 0 59975 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 266448
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 29440
/proc/meminfo: memFree=30878124/32770624 swapFree=0/523324
[pid=29437] ppid=29434 vsize=266448 CPUtime=102.2 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 120908 0 0 0 10207 13 0 0 20 0 1 0 55249149 272842752 60773 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4962170 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60773 830 435 0 59975 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 266448
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 29442
/proc/meminfo: memFree=30876472/32770624 swapFree=0/523336
[pid=29437] ppid=29434 vsize=266448 CPUtime=162.19 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 133979 0 0 0 16205 14 0 0 20 0 1 0 55249149 272842752 60773 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4965247 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60773 830 435 0 59975 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 266448
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 29458
/proc/meminfo: memFree=30871492/32770624 swapFree=0/523352
[pid=29437] ppid=29434 vsize=266448 CPUtime=222.17 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 142572 0 0 0 22203 14 0 0 20 0 1 0 55249149 272842752 60773 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60773 830 435 0 59975 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 266448
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29460
/proc/meminfo: memFree=30875668/32770624 swapFree=0/523348
[pid=29437] ppid=29434 vsize=266448 CPUtime=282.17 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 146126 0 0 0 28202 15 0 0 20 0 1 0 55249149 272842752 60773 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60773 830 435 0 59975 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 266448
[startup+342.3 s]
/proc/loadavg: 2.14 2.06 2.06 3/181 29526
/proc/meminfo: memFree=30991644/32770624 swapFree=0/523376
[pid=29437] ppid=29434 vsize=266448 CPUtime=342.17 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 146635 0 0 0 34202 15 0 0 20 0 1 0 55249149 272842752 60773 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5071408 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60773 830 435 0 59975 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 266448
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/181 29528
/proc/meminfo: memFree=30991544/32770624 swapFree=0/523380
[pid=29437] ppid=29434 vsize=266448 CPUtime=402.18 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 146659 0 0 0 40203 15 0 0 20 0 1 0 55249149 272842752 60773 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5071088 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60773 830 435 0 59975 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 266448
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 29530
/proc/meminfo: memFree=30991208/32770624 swapFree=0/523384
[pid=29437] ppid=29434 vsize=266448 CPUtime=462.19 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 147114 0 0 0 46204 15 0 0 20 0 1 0 55249149 272842752 60773 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4965342 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60773 830 435 0 59975 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 266448
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 29533
/proc/meminfo: memFree=30991436/32770624 swapFree=0/523392
[pid=29437] ppid=29434 vsize=266448 CPUtime=522.19 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 147188 0 0 0 52204 15 0 0 20 0 1 0 55249149 272842752 60778 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4966031 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60778 830 435 0 59975 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 266448
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 29535
/proc/meminfo: memFree=30991912/32770624 swapFree=0/523392
[pid=29437] ppid=29434 vsize=266448 CPUtime=582.2 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 147674 0 0 0 58205 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5139312 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 266448
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/181 29600
/proc/meminfo: memFree=30990696/32770624 swapFree=0/523548
[pid=29437] ppid=29434 vsize=266448 CPUtime=1602.29 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 151342 0 0 0 160214 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 266448
[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/181 29602
/proc/meminfo: memFree=30990876/32770624 swapFree=0/523548
[pid=29437] ppid=29434 vsize=266448 CPUtime=1662.3 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 151595 0 0 0 166215 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5139493 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 266448
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 29604
/proc/meminfo: memFree=30991008/32770624 swapFree=0/523560
[pid=29437] ppid=29434 vsize=266448 CPUtime=1722.3 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 151813 0 0 0 172215 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5040659 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 266448
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 29606
/proc/meminfo: memFree=30990520/32770624 swapFree=0/523564
[pid=29437] ppid=29434 vsize=266448 CPUtime=1782.31 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 152156 0 0 0 178216 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5338181 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 266448
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 29608
/proc/meminfo: memFree=30990236/32770624 swapFree=0/523576
[pid=29437] ppid=29434 vsize=266448 CPUtime=1842.31 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 152162 0 0 0 184216 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5039164 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 266448
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29610
/proc/meminfo: memFree=30990468/32770624 swapFree=0/523580
[pid=29437] ppid=29434 vsize=266448 CPUtime=1902.32 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 152727 0 0 0 190217 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5099664 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 266448
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29634
/proc/meminfo: memFree=30989544/32770624 swapFree=0/523600
[pid=29437] ppid=29434 vsize=266448 CPUtime=1962.32 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 152729 0 0 0 196217 15 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5338177 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 266448
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29650
/proc/meminfo: memFree=30986304/32770624 swapFree=0/523608
[pid=29437] ppid=29434 vsize=266448 CPUtime=2022.34 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 153169 0 0 0 202218 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 266448
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29652
/proc/meminfo: memFree=30989392/32770624 swapFree=0/523624
[pid=29437] ppid=29434 vsize=266448 CPUtime=2082.35 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 153190 0 0 0 208219 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5070704 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 266448
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29654
/proc/meminfo: memFree=30989848/32770624 swapFree=0/523624
[pid=29437] ppid=29434 vsize=266448 CPUtime=2142.35 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 153456 0 0 0 214219 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5070896 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 266448
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29656
/proc/meminfo: memFree=30990240/32770624 swapFree=0/523640
[pid=29437] ppid=29434 vsize=266448 CPUtime=2202.36 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 153459 0 0 0 220220 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4965428 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 266448
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29658
/proc/meminfo: memFree=30990600/32770624 swapFree=0/523648
[pid=29437] ppid=29434 vsize=266448 CPUtime=2262.36 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 153724 0 0 0 226220 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4909657 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 266448
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29661
/proc/meminfo: memFree=30990644/32770624 swapFree=0/523656
[pid=29437] ppid=29434 vsize=266448 CPUtime=2322.37 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 153943 0 0 0 232221 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4965400 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 266448
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29663
/proc/meminfo: memFree=30990520/32770624 swapFree=0/523656
[pid=29437] ppid=29434 vsize=266448 CPUtime=2382.37 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 154242 0 0 0 238221 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4909602 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 266448
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29666
/proc/meminfo: memFree=30989548/32770624 swapFree=0/523656
[pid=29437] ppid=29434 vsize=266448 CPUtime=2442.38 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 154243 0 0 0 244222 16 0 0 20 0 1 0 55249149 272842752 60780 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4965342 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66612 60780 830 435 0 59975 0
Current children cumulated CPU time (s) 2442.38
Current children cumulated vsize (KiB) 266448
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29668
/proc/meminfo: memFree=30989628/32770624 swapFree=0/523664
[pid=29437] ppid=29434 vsize=267116 CPUtime=2502.38 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 154897 0 0 0 250222 16 0 0 20 0 1 0 55249149 273526784 60940 18446744073709551615 4194304 5972588 140732657782032 140732657779336 5338173 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66779 60940 830 435 0 60142 0
Current children cumulated CPU time (s) 2502.38
Current children cumulated vsize (KiB) 267116
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29669
/proc/meminfo: memFree=30989884/32770624 swapFree=0/523660
[pid=29437] ppid=29434 vsize=267116 CPUtime=2520.08 cores=0,2,4,6
/proc/29437/stat : 29437 (cosoco) R 29434 29437 21984 0 -1 4202496 154897 0 0 0 251992 16 0 0 20 0 1 0 55249149 273526784 60940 18446744073709551615 4194304 5972588 140732657782032 140732657779336 4965365 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 8212480 140732657783278 140732657783373 140732657783373 140732657786830 0
/proc/29437/statm: 66779 60940 830 435 0 60142 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 267116
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 29437 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2520.09
CPU user time (s): 2519.93
CPU system time (s): 0.165015
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 267116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.165015
maximum resident set size= 243824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154932
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= 105
involuntary context switches= 642
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94965 second user time and 9.93315 second system time
The end