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-4260138-1502028857/watcher-4260138-1502028857 -o /tmp/evaluation-result-4260138-1502028857/solver-4260138-1502028857 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10661 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260138-1502028857.xml
pid=14630
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.11 2.05 2.05 2/184 14633
/proc/meminfo: memFree=31790996/32770624 swapFree=0/321684
[pid=14633] ppid=14630 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14633/stat : 14633 (runsolver) D 14630 14633 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5106658 24240128 108 18446744073709551615 4194304 4338465 140722822603072 140722822600712 140559041766103 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 10489856 140722822607042 140722822607434 140722822607434 140722822610890 0
/proc/14633/statm: 5918 108 54 36 0 2156 0
[startup+0.100108 s]
/proc/loadavg: 2.11 2.05 2.05 2/184 14633
/proc/meminfo: memFree=31790996/32770624 swapFree=0/321684
[pid=14633] ppid=14630 vsize=29160 CPUtime=0.03 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 1597 0 0 0 3 0 0 0 20 0 1 0 5106658 29859840 1428 18446744073709551615 4194304 5747388 140725106512144 140725106508792 5000064 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1428 769 380 0 708 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29160
[startup+0.200223 s]
/proc/loadavg: 2.11 2.05 2.05 2/184 14633
/proc/meminfo: memFree=31790996/32770624 swapFree=0/321684
[pid=14633] ppid=14630 vsize=29160 CPUtime=0.13 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 1607 0 0 0 13 0 0 0 20 0 1 0 5106658 29859840 1428 18446744073709551615 4194304 5747388 140725106512144 140725106509000 4941174 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1428 769 380 0 708 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 29160
[startup+0.300199 s]
/proc/loadavg: 2.11 2.05 2.05 2/184 14633
/proc/meminfo: memFree=31790996/32770624 swapFree=0/321684
[pid=14633] ppid=14630 vsize=29160 CPUtime=0.23 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 1607 0 0 0 23 0 0 0 20 0 1 0 5106658 29859840 1428 18446744073709551615 4194304 5747388 140725106512144 140725106509000 5121136 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1428 769 380 0 708 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29160
[startup+0.700174 s]
/proc/loadavg: 2.11 2.05 2.05 2/184 14633
/proc/meminfo: memFree=31790996/32770624 swapFree=0/321684
[pid=14633] ppid=14630 vsize=29160 CPUtime=0.63 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 1607 0 0 0 63 0 0 0 20 0 1 0 5106658 29859840 1428 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4918228 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1428 769 380 0 708 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 29160
[startup+1.50017 s]
/proc/loadavg: 2.11 2.05 2.05 3/185 14634
/proc/meminfo: memFree=31788576/32770624 swapFree=0/321696
[pid=14633] ppid=14630 vsize=29160 CPUtime=1.43 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 1608 0 0 0 143 0 0 0 20 0 1 0 5106658 29859840 1428 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4941136 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1428 769 380 0 708 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 29160
[startup+3.10017 s]
/proc/loadavg: 2.11 2.05 2.05 3/185 14634
/proc/meminfo: memFree=31788204/32770624 swapFree=0/321696
[pid=14633] ppid=14630 vsize=29160 CPUtime=3.03 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 2204 0 0 0 303 0 0 0 20 0 1 0 5106658 29859840 1450 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1450 773 380 0 708 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 29160
[startup+6.30017 s]
/proc/loadavg: 2.10 2.05 2.05 3/185 14634
/proc/meminfo: memFree=31787984/32770624 swapFree=0/321700
[pid=14633] ppid=14630 vsize=29160 CPUtime=6.23 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 2801 0 0 0 623 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 29160
[startup+12.7002 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 14634
/proc/meminfo: memFree=31787140/32770624 swapFree=0/321708
[pid=14633] ppid=14630 vsize=29160 CPUtime=12.62 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 2911 0 0 0 1262 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915034 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 29160
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 14634
/proc/meminfo: memFree=31787016/32770624 swapFree=0/321724
[pid=14633] ppid=14630 vsize=29160 CPUtime=25.42 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3131 0 0 0 2542 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4912632 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 29160
[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 14659
/proc/meminfo: memFree=31785856/32770624 swapFree=0/321792
[pid=14633] ppid=14630 vsize=29160 CPUtime=51.03 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3241 0 0 0 5103 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 29160
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 14661
/proc/meminfo: memFree=31786340/32770624 swapFree=0/321868
[pid=14633] ppid=14630 vsize=29160 CPUtime=102.24 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3353 0 0 0 10224 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4919285 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 29160
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 14663
/proc/meminfo: memFree=31789884/32770624 swapFree=0/321916
[pid=14633] ppid=14630 vsize=29160 CPUtime=162.24 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3464 0 0 0 16224 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915311 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29160
[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 14665
/proc/meminfo: memFree=31790652/32770624 swapFree=0/321976
[pid=14633] ppid=14630 vsize=29160 CPUtime=222.25 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3575 0 0 0 22225 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29160
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 14667
/proc/meminfo: memFree=31790304/32770624 swapFree=0/322036
[pid=14633] ppid=14630 vsize=29160 CPUtime=282.25 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3575 0 0 0 28225 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4911538 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29160
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14669
/proc/meminfo: memFree=31790708/32770624 swapFree=0/322080
[pid=14633] ppid=14630 vsize=29160 CPUtime=342.25 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3686 0 0 0 34225 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915296 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 29160
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14671
/proc/meminfo: memFree=31790476/32770624 swapFree=0/322128
[pid=14633] ppid=14630 vsize=29160 CPUtime=402.26 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3686 0 0 0 40226 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 29160
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14673
/proc/meminfo: memFree=31791100/32770624 swapFree=0/322172
[pid=14633] ppid=14630 vsize=29160 CPUtime=462.26 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3797 0 0 0 46226 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915120 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 29160
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14675
/proc/meminfo: memFree=31790888/32770624 swapFree=0/322208
[pid=14633] ppid=14630 vsize=29160 CPUtime=522.27 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3797 0 0 0 52227 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000046 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 29160
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14677
/proc/meminfo: memFree=31791028/32770624 swapFree=0/322244
[pid=14633] ppid=14630 vsize=29160 CPUtime=582.28 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 3908 0 0 0 58228 0 0 0 20 0 1 0 5106658 29859840 1453 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915136 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1453 773 380 0 708 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 29160
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14737
/proc/meminfo: memFree=31789072/32770624 swapFree=0/322912
[pid=14633] ppid=14630 vsize=29160 CPUtime=1542.37 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 4777 0 0 0 154237 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915311 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 29160
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 14739
/proc/meminfo: memFree=31789544/32770624 swapFree=0/322944
[pid=14633] ppid=14630 vsize=29160 CPUtime=1602.37 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 4800 0 0 0 160237 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 29160
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14741
/proc/meminfo: memFree=31789176/32770624 swapFree=0/322976
[pid=14633] ppid=14630 vsize=29160 CPUtime=1662.38 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 4889 0 0 0 166238 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4941146 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 29160
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14744
/proc/meminfo: memFree=31789276/32770624 swapFree=0/323020
[pid=14633] ppid=14630 vsize=29160 CPUtime=1722.38 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 4890 0 0 0 172238 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915296 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 29160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14746
/proc/meminfo: memFree=31788656/32770624 swapFree=0/323052
[pid=14633] ppid=14630 vsize=29160 CPUtime=1782.39 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5001 0 0 0 178239 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 29160
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14763
/proc/meminfo: memFree=31784960/32770624 swapFree=0/323132
[pid=14633] ppid=14630 vsize=29160 CPUtime=1842.4 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5001 0 0 0 184240 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915704 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1842.4
Current children cumulated vsize (KiB) 29160
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14765
/proc/meminfo: memFree=31788348/32770624 swapFree=0/323164
[pid=14633] ppid=14630 vsize=29160 CPUtime=1902.4 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5091 0 0 0 190240 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4941188 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1902.4
Current children cumulated vsize (KiB) 29160
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14767
/proc/meminfo: memFree=31788968/32770624 swapFree=0/323200
[pid=14633] ppid=14630 vsize=29160 CPUtime=1962.41 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5113 0 0 0 196241 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4941155 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 1962.41
Current children cumulated vsize (KiB) 29160
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14769
/proc/meminfo: memFree=31788844/32770624 swapFree=0/323224
[pid=14633] ppid=14630 vsize=29160 CPUtime=2022.41 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5202 0 0 0 202241 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4918665 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2022.41
Current children cumulated vsize (KiB) 29160
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14771
/proc/meminfo: memFree=31789464/32770624 swapFree=0/323260
[pid=14633] ppid=14630 vsize=29160 CPUtime=2082.42 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5203 0 0 0 208242 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5121146 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2082.42
Current children cumulated vsize (KiB) 29160
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14773
/proc/meminfo: memFree=31789232/32770624 swapFree=0/323284
[pid=14633] ppid=14630 vsize=29160 CPUtime=2142.42 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5293 0 0 0 214242 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4911846 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2142.42
Current children cumulated vsize (KiB) 29160
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14775
/proc/meminfo: memFree=31789960/32770624 swapFree=0/323320
[pid=14633] ppid=14630 vsize=29160 CPUtime=2202.44 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5315 0 0 0 220244 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 5000064 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2202.44
Current children cumulated vsize (KiB) 29160
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14777
/proc/meminfo: memFree=31789584/32770624 swapFree=0/323352
[pid=14633] ppid=14630 vsize=29160 CPUtime=2262.44 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5405 0 0 0 226244 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4915024 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2262.44
Current children cumulated vsize (KiB) 29160
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14779
/proc/meminfo: memFree=31789336/32770624 swapFree=0/323380
[pid=14633] ppid=14630 vsize=29160 CPUtime=2322.44 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5405 0 0 0 232244 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4919312 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 29160
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 14842
/proc/meminfo: memFree=31492248/32770624 swapFree=0/323624
[pid=14633] ppid=14630 vsize=29160 CPUtime=2382.45 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5517 0 0 0 238245 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4912661 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2382.45
Current children cumulated vsize (KiB) 29160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 1.98 2.01 2.04 3/185 14858
/proc/meminfo: memFree=31487080/32770624 swapFree=0/323664
[pid=14633] ppid=14630 vsize=29160 CPUtime=2400.05 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5517 0 0 0 240005 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4919272 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 29160
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 14633 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 1.98 2.01 2.04 3/185 14858
/proc/meminfo: memFree=31487080/32770624 swapFree=0/323664
[pid=14633] ppid=14630 vsize=29160 CPUtime=2400.05 cores=0,2,4,6
/proc/14633/stat : 14633 (cosoco) R 14630 14633 9955 0 -1 4202496 5517 0 0 0 240005 0 0 0 20 0 1 0 5106658 29859840 1454 18446744073709551615 4194304 5747388 140725106512144 140725106509544 4919272 0 0 1 8405026 0 0 0 17 2 0 0 6 0 0 7845728 7850568 35594240 140725106520559 140725106520654 140725106520654 140725106524110 0
/proc/14633/statm: 7290 1454 773 380 0 708 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 29160
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.06
CPU user time (s): 2400.05
CPU system time (s): 0.007
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 29160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.007
maximum resident set size= 5888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5554
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= 10
involuntary context switches= 741
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38869 second user time and 8.34293 second system time
The end