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-4082866-1465244033/watcher-4082866-1465244033 -o /tmp/evaluation-result-4082866-1465244033/solver-4082866-1465244033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1465227048-7038 --watchdog 1960 naps-1.02 HOME/instance-4082866-1465244033.opb 

pid=8744
running on 4 cores: 0,2,4,6

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.04 2.01 2.00 2/176 8747
/proc/meminfo: memFree=31884132/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=6564 CPUtime=0 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 106334476 6721536 206 33554432000 4194304 5796924 140735792306848 140734578105880 4404063 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 1641 206 124 392 0 1240 0

[startup+0.100159 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 8747
/proc/meminfo: memFree=31884132/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=10128 CPUtime=0.09 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 1230 0 0 0 9 0 0 0 20 0 1 0 106334476 10371072 1104 33554432000 4194304 5796924 140735792306848 140734578105880 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 2532 1104 124 392 0 2131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10128

[startup+0.200298 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 8747
/proc/meminfo: memFree=31884132/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=14044 CPUtime=0.19 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 2187 0 0 0 19 0 0 0 20 0 1 0 106334476 14381056 2061 33554432000 4194304 5796924 140735792306848 140734578105880 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 3511 2061 124 392 0 3110 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14044

[startup+0.300262 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 8747
/proc/meminfo: memFree=31884132/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=17836 CPUtime=0.29 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 3138 0 0 0 29 0 0 0 20 0 1 0 106334476 18264064 3013 33554432000 4194304 5796924 140735792306848 140734578105880 5095032 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 4459 3013 124 392 0 4058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17836

[startup+0.70023 s]
/proc/loadavg: 2.04 2.01 2.00 2/176 8747
/proc/meminfo: memFree=31884132/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=26100 CPUtime=0.69 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 5386 0 0 0 68 1 0 0 20 0 1 0 106334476 26726400 5116 33554432000 4194304 5796924 140735792306848 140734578105880 5096706 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 6525 5116 139 392 0 6124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26100

[startup+1.50024 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8748
/proc/meminfo: memFree=31862912/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=28328 CPUtime=1.49 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 6170 0 0 0 148 1 0 0 20 0 1 0 106334476 29007872 5652 33554432000 4194304 5796924 140735792306848 140735792303064 5087766 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 7082 5652 139 392 0 6681 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28328

[startup+3.10022 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8748
/proc/meminfo: memFree=31858020/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=32260 CPUtime=3.09 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 7433 0 0 0 308 1 0 0 20 0 1 0 106334476 33034240 6585 33554432000 4194304 5796924 140735792306848 140735792303064 4425326 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 8065 6585 139 392 0 7664 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32260

[startup+6.30022 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8748
/proc/meminfo: memFree=31849740/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=39296 CPUtime=6.28 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 8649 0 0 0 627 1 0 0 20 0 1 0 106334476 40239104 8164 33554432000 4194304 5796924 140735792306848 140735792303064 4425326 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 9824 8164 139 392 0 9423 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 39296

[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8748
/proc/meminfo: memFree=31832484/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=55328 CPUtime=12.68 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 11542 0 0 0 1266 2 0 0 20 0 1 0 106334476 56655872 11783 33554432000 4194304 5796924 140735792306848 140735792303064 5087571 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 13832 11783 139 392 0 13431 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55328

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8748
/proc/meminfo: memFree=31847760/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=79876 CPUtime=25.49 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 14742 0 0 0 2545 4 0 0 20 0 1 0 106334476 81793024 18479 33554432000 4194304 5796924 140735792306848 140735792303064 4806802 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 19969 18479 139 392 0 19568 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79876

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8748
/proc/meminfo: memFree=31076372/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=935816 CPUtime=51.08 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 55750 0 0 0 5088 20 0 0 20 0 1 0 106334476 958275584 215898 33554432000 4194304 5796924 140735792306848 140735792304168 4564248 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 233954 215899 152 392 0 233553 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 935816

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8749
/proc/meminfo: memFree=30876984/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1127564 CPUtime=102.28 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 69844 0 0 0 10200 28 0 0 20 0 1 0 106334476 1154625536 249411 33554432000 4194304 5796924 140735792306848 140735792304120 4569788 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 281891 249411 168 392 0 281490 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1127564

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8751
/proc/meminfo: memFree=30893112/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1128076 CPUtime=162.26 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 69977 0 0 0 16197 29 0 0 20 0 1 0 106334476 1155149824 249756 33554432000 4194304 5796924 140735792306848 140735792303832 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 282019 249756 168 392 0 281618 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1128076

[startup+222.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8752
/proc/meminfo: memFree=30915600/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1128472 CPUtime=222.25 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 70102 0 0 0 22196 29 0 0 20 0 1 0 106334476 1155555328 249871 33554432000 4194304 5796924 140735792306848 140735792303960 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 282118 249871 168 392 0 281717 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1128472

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8753
/proc/meminfo: memFree=30877972/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1129000 CPUtime=282.24 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 70220 0 0 0 28195 29 0 0 20 0 1 0 106334476 1156096000 249979 33554432000 4194304 5796924 140735792306848 140735792303960 4583192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 282250 249979 168 392 0 281849 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1129000

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 8754
/proc/meminfo: memFree=30907668/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1129300 CPUtime=342.23 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 70292 0 0 0 34194 29 0 0 20 0 1 0 106334476 1156403200 250288 33554432000 4194304 5796924 140735792306848 140735792304120 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 282325 250288 168 392 0 281924 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1129300

[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/178 8758
/proc/meminfo: memFree=30863940/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=402.21 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71744 0 0 0 40192 29 0 0 20 0 1 0 106334476 1167392768 253054 33554432000 4194304 5796924 140735792306848 140735792304152 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 253054 178 392 0 284607 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1140032

[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 8760
/proc/meminfo: memFree=30837192/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=462.2 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71754 0 0 0 46191 29 0 0 20 0 1 0 106334476 1167392768 253865 33554432000 4194304 5796924 140735792306848 140735792304152 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 253865 178 392 0 284607 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1140032

[startup+522.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 8761
/proc/meminfo: memFree=30866760/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=522.18 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71768 0 0 0 52189 29 0 0 20 0 1 0 106334476 1167392768 255420 33554432000 4194304 5796924 140735792306848 140735792304152 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 255420 178 392 0 284607 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1140032

[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 8762
/proc/meminfo: memFree=30839296/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=582.17 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71768 0 0 0 58188 29 0 0 20 0 1 0 106334476 1167392768 255420 33554432000 4194304 5796924 140735792306848 140735792304152 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 255420 178 392 0 284607 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1140032


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


[startup+882.307 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 8768
/proc/meminfo: memFree=30828136/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=882.12 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71786 0 0 0 88183 29 0 0 20 0 1 0 106334476 1167392768 256456 33554432000 4194304 5796924 140735792306848 140735792304152 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 256456 178 392 0 284607 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 1140032

[startup+942.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 8769
/proc/meminfo: memFree=30844532/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=942.1 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71786 0 0 0 94181 29 0 0 20 0 1 0 106334476 1167392768 256456 33554432000 4194304 5796924 140735792306848 140735792304152 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 256456 178 392 0 284607 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 1140032

[startup+1002.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/178 8773
/proc/meminfo: memFree=30864240/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1002.09 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71787 0 0 0 100180 29 0 0 20 0 1 0 106334476 1167392768 256968 33554432000 4194304 5796924 140735792306848 140735792304152 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 256968 178 392 0 284607 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 1140032

[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/176 8774
/proc/meminfo: memFree=30834532/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1062.08 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71787 0 0 0 106179 29 0 0 20 0 1 0 106334476 1167392768 256968 33554432000 4194304 5796924 140735792306848 140735792304152 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 256968 178 392 0 284607 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 1140032

[startup+1122.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 8776
/proc/meminfo: memFree=30865548/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1122.07 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71787 0 0 0 112178 29 0 0 20 0 1 0 106334476 1167392768 256968 33554432000 4194304 5796924 140735792306848 140735792304152 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 256968 178 392 0 284607 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1140032

[startup+1182.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 8777
/proc/meminfo: memFree=30840732/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1182.06 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71787 0 0 0 118177 29 0 0 20 0 1 0 106334476 1167392768 256968 33554432000 4194304 5796924 140735792306848 140735792304152 4606495 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 256968 178 392 0 284607 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 1140032

[startup+1242.3 s]
/proc/loadavg: 2.16 2.09 2.01 3/177 9008
/proc/meminfo: memFree=31018260/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1242.05 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71787 0 0 0 124176 29 0 0 20 0 1 0 106334476 1167392768 256968 33554432000 4194304 5796924 140735792306848 140735792304152 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 256968 178 392 0 284607 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1140032

[startup+1302.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 9009
/proc/meminfo: memFree=30991076/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1302.05 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71788 0 0 0 130176 29 0 0 20 0 1 0 106334476 1167392768 257480 33554432000 4194304 5796924 140735792306848 140735792304152 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257480 178 392 0 284607 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1140032

[startup+1362.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 9010
/proc/meminfo: memFree=30986996/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1362.04 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71788 0 0 0 136175 29 0 0 20 0 1 0 106334476 1167392768 257480 33554432000 4194304 5796924 140735792306848 140735792304152 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257480 178 392 0 284607 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1140032

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 9012
/proc/meminfo: memFree=30975080/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1422.03 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71788 0 0 0 142174 29 0 0 20 0 1 0 106334476 1167392768 257480 33554432000 4194304 5796924 140735792306848 140735792304152 4568988 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257480 178 392 0 284607 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1140032

[startup+1482.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 9013
/proc/meminfo: memFree=30970760/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1482.02 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71789 0 0 0 148173 29 0 0 20 0 1 0 106334476 1167392768 257992 33554432000 4194304 5796924 140735792306848 140735792304152 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257992 178 392 0 284607 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1140032

[startup+1542.31 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 9014
/proc/meminfo: memFree=30970640/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1542.02 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71789 0 0 0 154173 29 0 0 20 0 1 0 106334476 1167392768 257992 33554432000 4194304 5796924 140735792306848 140735792304152 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257992 178 392 0 284607 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1140032

[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/178 9018
/proc/meminfo: memFree=30969800/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1602 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71789 0 0 0 160171 29 0 0 20 0 1 0 106334476 1167392768 257992 33554432000 4194304 5796924 140735792306848 140735792304152 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257992 178 392 0 284607 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1140032

[startup+1662.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 9019
/proc/meminfo: memFree=30950244/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1661.99 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71789 0 0 0 166170 29 0 0 20 0 1 0 106334476 1167392768 257992 33554432000 4194304 5796924 140735792306848 140735792304152 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257992 178 392 0 284607 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1140032

[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.01 3/177 9020
/proc/meminfo: memFree=30966444/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1721.98 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71789 0 0 0 172169 29 0 0 20 0 1 0 106334476 1167392768 257992 33554432000 4194304 5796924 140735792306848 140735792304152 4594171 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 257992 178 392 0 284607 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1140032

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/177 9022
/proc/meminfo: memFree=30945548/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1781.97 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71790 0 0 0 178168 29 0 0 20 0 1 0 106334476 1167392768 258504 33554432000 4194304 5796924 140735792306848 140735792304152 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 258504 178 392 0 284607 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1140032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.09 2.01 3/177 9022
/proc/meminfo: memFree=30945908/32872528 swapFree=9100/9100
[pid=8747] ppid=8744 vsize=1140032 CPUtime=1800.07 cores=0,2,4,6
/proc/8747/stat : 8747 (naps-1.02) R 8744 8747 7022 0 -1 4202496 71790 0 0 0 179978 29 0 0 20 0 1 0 106334476 1167392768 258504 33554432000 4194304 5796924 140735792306848 140735792304152 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/8747/statm: 285008 258504 178 392 0 284607 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1140032

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 8747 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.09
CPU user time (s): 1799.79
CPU system time (s): 0.301954
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1325592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.301954
maximum resident set size= 1145180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71802
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= 84
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36134 second user time and 7.10092 second system time

The end