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-4103835-1466268197/watcher-4103835-1466268197 -o /tmp/evaluation-result-4103835-1466268197/solver-4103835-1466268197 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466264583-28002 --watchdog 1960 naps-1.02 HOME/instance-4103835-1466268197.opb
pid=28507
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.22 2.22 2.20 4/176 28510
/proc/meminfo: memFree=29932588/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=6420 CPUtime=0 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 28865216 6574080 154 33554432000 4194304 5796924 140736615747408 140736631595224 5095032 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 1605 157 114 392 0 1204 0
[startup+0.10016 s]
/proc/loadavg: 2.22 2.22 2.20 4/176 28510
/proc/meminfo: memFree=29932588/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=7800 CPUtime=0.09 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 622 0 0 0 9 0 0 0 20 0 1 0 28865216 7987200 496 33554432000 4194304 5796924 140736615747408 140736631595224 5096633 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 1950 496 144 392 0 1549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7800
[startup+0.200288 s]
/proc/loadavg: 2.22 2.22 2.20 4/176 28510
/proc/meminfo: memFree=29932588/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=7800 CPUtime=0.19 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 623 0 0 0 19 0 0 0 20 0 1 0 28865216 7987200 497 33554432000 4194304 5796924 140736615747408 140736631595224 4809119 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 1950 497 145 392 0 1549 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7800
[startup+0.300259 s]
/proc/loadavg: 2.22 2.22 2.20 4/176 28510
/proc/meminfo: memFree=29932588/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=7800 CPUtime=0.29 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 623 0 0 0 29 0 0 0 20 0 1 0 28865216 7987200 497 33554432000 4194304 5796924 140736615747408 140736631595224 5092545 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 1950 497 145 392 0 1549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7800
[startup+0.700214 s]
/proc/loadavg: 2.22 2.22 2.20 4/176 28510
/proc/meminfo: memFree=29932588/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=7800 CPUtime=0.69 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 636 0 0 0 69 0 0 0 20 0 1 0 28865216 7987200 510 33554432000 4194304 5796924 140736615747408 140736615743624 5087682 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 1950 510 145 392 0 1549 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7800
[startup+1.50023 s]
/proc/loadavg: 2.20 2.22 2.20 4/177 28511
/proc/meminfo: memFree=29931208/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=8076 CPUtime=1.49 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 688 0 0 0 149 0 0 0 20 0 1 0 28865216 8269824 562 33554432000 4194304 5796924 140736615747408 140736615743624 4199792 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 2019 562 145 392 0 1618 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8076
[startup+3.10023 s]
/proc/loadavg: 2.20 2.22 2.20 4/177 28511
/proc/meminfo: memFree=29930464/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=8468 CPUtime=3.09 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 783 0 0 0 309 0 0 0 20 0 1 0 28865216 8671232 657 33554432000 4194304 5796924 140736615747408 140736615741208 5087743 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 2117 657 145 392 0 1716 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8468
[startup+6.30023 s]
/proc/loadavg: 2.20 2.22 2.20 3/177 28511
/proc/meminfo: memFree=29930232/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=8596 CPUtime=6.28 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 830 0 0 0 628 0 0 0 20 0 1 0 28865216 8802304 704 33554432000 4194304 5796924 140736615747408 140736615741480 5092545 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 2149 704 145 392 0 1748 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8596
[startup+12.7003 s]
/proc/loadavg: 2.17 2.21 2.19 3/177 28511
/proc/meminfo: memFree=29925780/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=8596 CPUtime=12.68 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 851 0 0 0 1268 0 0 0 20 0 1 0 28865216 8802304 725 33554432000 4194304 5796924 140736615747408 140736615741480 5087494 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 2149 725 145 392 0 1748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8596
[startup+25.5003 s]
/proc/loadavg: 2.23 2.22 2.19 3/177 28511
/proc/meminfo: memFree=29920024/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=8724 CPUtime=25.48 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 867 0 0 0 2548 0 0 0 20 0 1 0 28865216 8933376 741 33554432000 4194304 5796924 140736615747408 140736615741480 4295748 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 2181 741 145 392 0 1780 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8724
[startup+51.1003 s]
/proc/loadavg: 2.25 2.23 2.20 3/177 28511
/proc/meminfo: memFree=29926544/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=21656 CPUtime=51.08 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 4512 0 0 0 5107 1 0 0 20 0 1 0 28865216 22175744 4035 33554432000 4194304 5796924 140736615747408 140736615743624 5096620 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5414 4035 192 392 0 5013 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21656
[startup+102.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/177 28512
/proc/meminfo: memFree=29906776/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=21656 CPUtime=102.27 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 4512 0 0 0 10226 1 0 0 20 0 1 0 28865216 22175744 4035 33554432000 4194304 5796924 140736615747408 140736615743624 4806736 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5414 4035 192 392 0 5013 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21656
[startup+162.3 s]
/proc/loadavg: 2.20 2.22 2.19 3/177 28513
/proc/meminfo: memFree=29906628/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=21816 CPUtime=162.26 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 4528 0 0 0 16225 1 0 0 20 0 1 0 28865216 22339584 4051 33554432000 4194304 5796924 140736615747408 140736615743624 5087650 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5454 4051 192 392 0 5053 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 21816
[startup+222.307 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 28514
/proc/meminfo: memFree=29888172/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=21816 CPUtime=222.25 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 4528 0 0 0 22224 1 0 0 20 0 1 0 28865216 22339584 4051 33554432000 4194304 5796924 140736615747408 140736615743624 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5454 4051 192 392 0 5053 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 21816
[startup+282.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/177 28515
/proc/meminfo: memFree=29870120/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=23544 CPUtime=282.24 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 5105 0 0 0 28223 1 0 0 20 0 1 0 28865216 24109056 4463 33554432000 4194304 5796924 140736615747408 140736615743624 4865393 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5886 4463 192 392 0 5485 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 23544
[startup+342.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 28517
/proc/meminfo: memFree=29860088/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=23792 CPUtime=342.23 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 5146 0 0 0 34221 2 0 0 20 0 1 0 28865216 24363008 4504 33554432000 4194304 5796924 140736615747408 140736615741128 5087529 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5948 4504 192 392 0 5547 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 23792
[startup+402.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/177 28518
/proc/meminfo: memFree=29855584/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=23792 CPUtime=402.22 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 5148 0 0 0 40220 2 0 0 20 0 1 0 28865216 24363008 4506 33554432000 4194304 5796924 140736615747408 140736615743624 4839574 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5948 4506 192 392 0 5547 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 23792
[startup+462.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/178 28522
/proc/meminfo: memFree=29855732/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=23792 CPUtime=462.21 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 5170 0 0 0 46219 2 0 0 20 0 1 0 28865216 24363008 4541 33554432000 4194304 5796924 140736615747408 140736615743624 5096673 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 5948 4541 192 392 0 5547 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 23792
[startup+522.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 28523
/proc/meminfo: memFree=29855448/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=24152 CPUtime=522.2 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 5252 0 0 0 52218 2 0 0 20 0 1 0 28865216 24731648 4623 33554432000 4194304 5796924 140736615747408 140736615743624 5092526 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 6038 4623 192 392 0 5637 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 24152
[startup+582.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 28524
/proc/meminfo: memFree=29853592/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=26008 CPUtime=582.19 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 5991 0 0 0 58217 2 0 0 20 0 1 0 28865216 26632192 5032 33554432000 4194304 5796924 140736615747408 140736615743624 5087529 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 6502 5032 192 392 0 6101 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 26008
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.31 2.22 2.19 3/177 28530
/proc/meminfo: memFree=29853336/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=26816 CPUtime=882.15 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 6086 0 0 0 88212 3 0 0 20 0 1 0 28865216 27459584 5127 33554432000 4194304 5796924 140736615747408 140736615743624 4865437 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 6704 5127 192 392 0 6303 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 26816
[startup+942.3 s]
/proc/loadavg: 2.34 2.24 2.19 3/177 28532
/proc/meminfo: memFree=29853468/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=26816 CPUtime=942.14 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 6086 0 0 0 94211 3 0 0 20 0 1 0 28865216 27459584 5127 33554432000 4194304 5796924 140736615747408 140736615743624 4806751 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 6704 5127 192 392 0 6303 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 26816
[startup+1002.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 28533
/proc/meminfo: memFree=29853228/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=26816 CPUtime=1002.13 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 6097 0 0 0 100210 3 0 0 20 0 1 0 28865216 27459584 5138 33554432000 4194304 5796924 140736615747408 140736615743624 4295883 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 6704 5138 192 392 0 6303 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 26816
[startup+1062.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/178 28583
/proc/meminfo: memFree=29955936/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=42676 CPUtime=1062.12 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 9623 0 0 0 106207 5 0 0 20 0 1 0 28865216 43700224 9027 33554432000 4194304 5796924 140736615747408 140736615744392 5087778 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 10669 9027 192 392 0 10268 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 42676
[startup+1122.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 28607
/proc/meminfo: memFree=29939096/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=44492 CPUtime=1122.11 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 10303 0 0 0 112206 5 0 0 20 0 1 0 28865216 45559808 9707 33554432000 4194304 5796924 140736615747408 140736615744392 4863664 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 11123 9707 192 392 0 10722 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 44492
[startup+1182.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 28608
/proc/meminfo: memFree=29937984/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=46824 CPUtime=1182.1 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 10494 0 0 0 118205 5 0 0 20 0 1 0 28865216 47947776 9898 33554432000 4194304 5796924 140736615747408 140736615741896 5096706 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 11706 9898 192 392 0 11305 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 46824
[startup+1242.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 28610
/proc/meminfo: memFree=29794900/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=198764 CPUtime=1242.09 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 38628 0 0 0 124199 10 0 0 20 0 1 0 28865216 203534336 44447 33554432000 4194304 5796924 140736615747408 140736615744728 5092526 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 49691 44447 219 392 0 49290 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 198764
[startup+1302.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 28611
/proc/meminfo: memFree=29778768/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=214460 CPUtime=1302.08 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 42541 0 0 0 130197 11 0 0 20 0 1 0 28865216 219607040 48360 33554432000 4194304 5796924 140736615747408 140736615741992 5087747 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 53615 48360 219 392 0 53214 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 214460
[startup+1362.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 28612
/proc/meminfo: memFree=29761164/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=231788 CPUtime=1362.07 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 46893 0 0 0 136195 12 0 0 20 0 1 0 28865216 237350912 52712 33554432000 4194304 5796924 140736615747408 140736615741992 5087766 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 57947 52712 219 392 0 57546 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 231788
[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 28613
/proc/meminfo: memFree=29742244/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=251992 CPUtime=1422.07 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 50157 0 0 0 142195 12 0 0 20 0 1 0 28865216 258039808 57509 33554432000 4194304 5796924 140736615747408 140736615741992 4840376 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 62998 57509 219 392 0 62597 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 251992
[startup+1482.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 28614
/proc/meminfo: memFree=29700768/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=292304 CPUtime=1482.05 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 58831 0 0 0 148191 14 0 0 20 0 1 0 28865216 299319296 67710 33554432000 4194304 5796924 140736615747408 140736615741896 5077954 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 73076 67710 219 392 0 72675 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 292304
[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 28616
/proc/meminfo: memFree=29698704/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=292304 CPUtime=1542.03 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 58859 0 0 0 154188 15 0 0 20 0 1 0 28865216 299319296 68140 33554432000 4194304 5796924 140736615747408 140736615741896 5087724 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 73076 68140 219 392 0 72675 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 292304
[startup+1602.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 28617
/proc/meminfo: memFree=29680924/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=306712 CPUtime=1602.01 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 60444 0 0 0 160186 15 0 0 20 0 1 0 28865216 314073088 72498 33554432000 4194304 5796924 140736615747408 140736615741896 5101394 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 76678 72498 219 392 0 76277 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 306712
[startup+1662.3 s]
/proc/loadavg: 2.11 2.16 2.17 3/178 28621
/proc/meminfo: memFree=29670784/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=316844 CPUtime=1662 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 62969 0 0 0 166184 16 0 0 20 0 1 0 28865216 324448256 75023 33554432000 4194304 5796924 140736615747408 140736615741992 5087682 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 79211 75023 219 392 0 78810 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 316844
[startup+1722.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/177 28622
/proc/meminfo: memFree=29661680/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=325896 CPUtime=1721.99 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 65243 0 0 0 172182 17 0 0 20 0 1 0 28865216 333717504 77297 33554432000 4194304 5796924 140736615747408 140736615741992 5096591 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 81474 77297 219 392 0 81073 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 325896
[startup+1782.3 s]
/proc/loadavg: 2.31 2.20 2.18 3/177 28623
/proc/meminfo: memFree=29652684/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=334148 CPUtime=1781.98 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 67295 0 0 0 178180 18 0 0 20 0 1 0 28865216 342167552 79349 33554432000 4194304 5796924 140736615747408 140736615741992 4865385 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 83537 79349 219 392 0 83136 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 334148
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 28623
/proc/meminfo: memFree=29649676/32872528 swapFree=1459628/1655852
[pid=28510] ppid=28507 vsize=336156 CPUtime=1800.08 cores=1,3,5,7
/proc/28510/stat : 28510 (naps-1.02) R 28507 28510 27985 0 -1 4202496 67777 0 0 0 179990 18 0 0 20 0 1 0 28865216 344223744 79831 33554432000 4194304 5796924 140736615747408 140736615741992 4296071 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/28510/statm: 84039 79831 219 392 0 83638 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 336156
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 28510 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.91
CPU system time (s): 0.19097
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 336156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.19097
maximum resident set size= 319368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67788
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= 45
involuntary context switches= 2104
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6103 second user time and 7.44387 second system time
The end