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-4260576-1502255787/watcher-4260576-1502255787 -o /tmp/evaluation-result-4260576-1502255787/solver-4260576-1502255787 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502234554-16653 --watchdog 2580 BTD 2520 HOME/instance-4260576-1502255787.xml
pid=22724
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.01 2.00 2.04 2/184 22727
/proc/meminfo: memFree=31383552/32770624 swapFree=0/438176
[pid=22727] ppid=22724 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22727/stat : 22727 (runsolver) D 22724 22727 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27772310 24240128 107 18446744073709551615 4194304 4338465 140726333400240 140726333397880 140208805143255 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 8364032 140726333407445 140726333407818 140726333407818 140726333411274 0
/proc/22727/statm: 5918 107 54 36 0 2156 0
[startup+0.100105 s]
/proc/loadavg: 2.01 2.00 2.04 2/184 22727
/proc/meminfo: memFree=31383552/32770624 swapFree=0/438176
[pid=22727] ppid=22724 vsize=32644 CPUtime=0.01 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 903 0 0 0 1 0 0 0 20 0 1 0 27772310 33427456 766 18446744073709551615 4194304 35031035 140732513984880 140732513984880 7408826 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 8161 766 231 7529 0 608 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 32644
[startup+0.200224 s]
/proc/loadavg: 2.01 2.00 2.04 2/184 22727
/proc/meminfo: memFree=31383552/32770624 swapFree=0/438176
[pid=22727] ppid=22724 vsize=34448 CPUtime=0.11 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 1389 0 0 0 11 0 0 0 20 0 1 0 27772310 35274752 1254 18446744073709551615 4194304 35031035 140732513984880 140732513977800 4254204 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 8612 1254 259 7529 0 1059 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 34448
[startup+0.300222 s]
/proc/loadavg: 2.01 2.00 2.04 2/184 22727
/proc/meminfo: memFree=31383552/32770624 swapFree=0/438176
[pid=22727] ppid=22724 vsize=35220 CPUtime=0.21 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 1565 0 0 0 21 0 0 0 20 0 1 0 27772310 36065280 1431 18446744073709551615 4194304 35031035 140732513984880 140732513977800 7501321 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 8805 1431 259 7529 0 1252 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 35220
[startup+0.700225 s]
/proc/loadavg: 2.01 2.00 2.04 2/184 22727
/proc/meminfo: memFree=31383552/32770624 swapFree=0/438176
[pid=22727] ppid=22724 vsize=72788 CPUtime=0.61 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 10975 0 0 0 60 1 0 0 20 0 1 0 27772310 74534912 10852 18446744073709551615 4194304 35031035 140732513984880 140732513977448 7993641 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 18196 10852 290 7529 0 10643 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 72788
[startup+1.5002 s]
/proc/loadavg: 2.01 2.00 2.04 3/185 22728
/proc/meminfo: memFree=31325404/32770624 swapFree=0/438172
[pid=22727] ppid=22724 vsize=91700 CPUtime=1.41 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 15225 0 0 0 140 1 0 0 20 0 1 0 27772310 93900800 15076 18446744073709551615 4194304 35031035 140732513984880 140732513983064 4213184 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 22925 15076 305 7529 0 15372 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 91700
[startup+3.1002 s]
/proc/loadavg: 2.01 2.00 2.04 3/185 22728
/proc/meminfo: memFree=31325032/32770624 swapFree=0/438172
[pid=22727] ppid=22724 vsize=93148 CPUtime=3.01 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 21756 0 0 0 299 2 0 0 20 0 1 0 27772310 95383552 15455 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376684 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23287 15455 305 7529 0 15734 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 93148
[startup+6.3002 s]
/proc/loadavg: 2.01 2.00 2.04 3/185 22729
/proc/meminfo: memFree=31321420/32770624 swapFree=0/438172
[pid=22727] ppid=22724 vsize=94184 CPUtime=6.2 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 33966 0 0 0 616 4 0 0 20 0 1 0 27772310 96444416 15702 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376535 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23546 15702 305 7529 0 15993 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 94184
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.04 3/185 22729
/proc/meminfo: memFree=31321296/32770624 swapFree=0/438184
[pid=22727] ppid=22724 vsize=94316 CPUtime=12.61 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 42721 0 0 0 1256 5 0 0 20 0 1 0 27772310 96579584 15736 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376388 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23579 15736 305 7529 0 16026 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 94316
[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 2.04 3/182 22729
/proc/meminfo: memFree=31323736/32770624 swapFree=0/438184
[pid=22727] ppid=22724 vsize=94828 CPUtime=25.4 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 63149 0 0 0 2533 7 0 0 20 0 1 0 27772310 97103872 15866 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213184 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23707 15866 305 7529 0 16154 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 94828
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 22729
/proc/meminfo: memFree=31324140/32770624 swapFree=0/438176
[pid=22727] ppid=22724 vsize=94960 CPUtime=51 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 73503 0 0 0 5092 8 0 0 20 0 1 0 27772310 97239040 15900 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376325 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23740 15900 305 7529 0 16187 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 94960
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 22731
/proc/meminfo: memFree=31322908/32770624 swapFree=0/438188
[pid=22727] ppid=22724 vsize=95084 CPUtime=102.2 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 79378 0 0 0 10211 9 0 0 20 0 1 0 27772310 97366016 16403 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376729 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23771 16403 305 7529 0 16218 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 95084
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 22733
/proc/meminfo: memFree=31323344/32770624 swapFree=0/438184
[pid=22727] ppid=22724 vsize=95084 CPUtime=162.18 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 79921 0 0 0 16208 10 0 0 20 0 1 0 27772310 97366016 16417 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376325 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23771 16417 305 7529 0 16218 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 95084
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 22735
/proc/meminfo: memFree=31323356/32770624 swapFree=0/438212
[pid=22727] ppid=22724 vsize=95348 CPUtime=222.19 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 80519 0 0 0 22206 13 0 0 20 0 1 0 27772310 97636352 16452 18446744073709551615 4194304 35031035 140732513984880 140732513983880 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23837 16452 305 7529 0 16284 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 95348
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 22737
/proc/meminfo: memFree=31323372/32770624 swapFree=0/438216
[pid=22727] ppid=22724 vsize=95480 CPUtime=282.18 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 81117 0 0 0 28203 15 0 0 20 0 1 0 27772310 97771520 16496 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213195 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23870 16496 305 7529 0 16317 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 95480
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 22739
/proc/meminfo: memFree=31322732/32770624 swapFree=0/438220
[pid=22727] ppid=22724 vsize=95612 CPUtime=342.18 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 81536 0 0 0 34200 18 0 0 20 0 1 0 27772310 97906688 16528 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376366 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23903 16528 305 7529 0 16350 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 95612
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 22741
/proc/meminfo: memFree=31322484/32770624 swapFree=0/438240
[pid=22727] ppid=22724 vsize=95744 CPUtime=402.18 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 81749 0 0 0 40197 21 0 0 20 0 1 0 27772310 98041856 16562 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376388 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23936 16562 305 7529 0 16383 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 95744
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 22758
/proc/meminfo: memFree=31318020/32770624 swapFree=0/438256
[pid=22727] ppid=22724 vsize=95868 CPUtime=462.18 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 81933 0 0 0 46195 23 0 0 20 0 1 0 27772310 98168832 16597 18446744073709551615 4194304 35031035 140732513984880 140732513983880 7409381 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23967 16597 305 7529 0 16414 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 95868
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 22760
/proc/meminfo: memFree=31317792/32770624 swapFree=0/438248
[pid=22727] ppid=22724 vsize=95868 CPUtime=522.17 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 82163 0 0 0 52193 24 0 0 20 0 1 0 27772310 98168832 16599 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4491692 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23967 16599 305 7529 0 16414 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 95868
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 22822
/proc/meminfo: memFree=30725552/32770624 swapFree=0/438240
[pid=22727] ppid=22724 vsize=95868 CPUtime=582.18 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 82370 0 0 0 58192 26 0 0 20 0 1 0 27772310 98168832 16603 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376366 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 23967 16603 305 7529 0 16414 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 95868
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 22875
/proc/meminfo: memFree=30725496/32770624 swapFree=0/438560
[pid=22727] ppid=22724 vsize=96256 CPUtime=1602.14 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 85928 0 0 0 160153 61 0 0 20 0 1 0 27772310 98566144 16714 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376684 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16714 305 7529 0 16511 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 96256
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 22891
/proc/meminfo: memFree=30721172/32770624 swapFree=0/438600
[pid=22727] ppid=22724 vsize=96256 CPUtime=1662.13 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 86046 0 0 0 166151 62 0 0 20 0 1 0 27772310 98566144 16714 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213184 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16714 305 7529 0 16511 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 96256
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22893
/proc/meminfo: memFree=30721776/32770624 swapFree=0/438632
[pid=22727] ppid=22724 vsize=96256 CPUtime=1722.13 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 86336 0 0 0 172150 63 0 0 20 0 1 0 27772310 98566144 16714 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376325 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16714 305 7529 0 16511 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 96256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22895
/proc/meminfo: memFree=30724568/32770624 swapFree=0/438660
[pid=22727] ppid=22724 vsize=96256 CPUtime=1782.12 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 86584 0 0 0 178148 64 0 0 20 0 1 0 27772310 98566144 16718 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213184 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16718 305 7529 0 16511 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 96256
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 22897
/proc/meminfo: memFree=30726168/32770624 swapFree=0/438684
[pid=22727] ppid=22724 vsize=96256 CPUtime=1842.13 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 86699 0 0 0 184148 65 0 0 20 0 1 0 27772310 98566144 16720 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213184 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16720 305 7529 0 16511 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 96256
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 22900
/proc/meminfo: memFree=30725152/32770624 swapFree=0/438704
[pid=22727] ppid=22724 vsize=96256 CPUtime=1902.12 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 86834 0 0 0 190147 65 0 0 20 0 1 0 27772310 98566144 16720 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4346776 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16720 305 7529 0 16511 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 96256
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 22902
/proc/meminfo: memFree=30725524/32770624 swapFree=0/438732
[pid=22727] ppid=22724 vsize=96256 CPUtime=1962.12 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 87002 0 0 0 196146 66 0 0 20 0 1 0 27772310 98566144 16721 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213195 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16721 305 7529 0 16511 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 96256
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 22904
/proc/meminfo: memFree=30725408/32770624 swapFree=0/438752
[pid=22727] ppid=22724 vsize=96256 CPUtime=2022.12 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 87269 0 0 0 202144 68 0 0 20 0 1 0 27772310 98566144 16721 18446744073709551615 4194304 35031035 140732513984880 140732513983880 7406199 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16721 305 7529 0 16511 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 96256
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22906
/proc/meminfo: memFree=30725284/32770624 swapFree=0/438776
[pid=22727] ppid=22724 vsize=96256 CPUtime=2082.12 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 87463 0 0 0 208141 71 0 0 20 0 1 0 27772310 98566144 16721 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376383 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24064 16721 305 7529 0 16511 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 96256
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22908
/proc/meminfo: memFree=30725160/32770624 swapFree=0/438784
[pid=22727] ppid=22724 vsize=96388 CPUtime=2142.11 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 87791 0 0 0 214138 73 0 0 20 0 1 0 27772310 98701312 16735 18446744073709551615 4194304 35031035 140732513984880 140732513983880 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16735 305 7529 0 16544 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 96388
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 22910
/proc/meminfo: memFree=30725408/32770624 swapFree=0/438788
[pid=22727] ppid=22724 vsize=96388 CPUtime=2202.11 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 87921 0 0 0 220137 74 0 0 20 0 1 0 27772310 98701312 16735 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213195 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16735 305 7529 0 16544 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 96388
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22927
/proc/meminfo: memFree=30720328/32770624 swapFree=0/438812
[pid=22727] ppid=22724 vsize=96388 CPUtime=2262.11 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 88050 0 0 0 226136 75 0 0 20 0 1 0 27772310 98701312 16735 18446744073709551615 4194304 35031035 140732513984880 140732513983880 7406276 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16735 305 7529 0 16544 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 96388
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 22929
/proc/meminfo: memFree=30721212/32770624 swapFree=0/438860
[pid=22727] ppid=22724 vsize=96388 CPUtime=2322.1 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 88173 0 0 0 232135 75 0 0 20 0 1 0 27772310 98701312 16735 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213184 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16735 305 7529 0 16544 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 96388
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 22931
/proc/meminfo: memFree=30723740/32770624 swapFree=0/438864
[pid=22727] ppid=22724 vsize=96388 CPUtime=2382.1 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 88291 0 0 0 238134 76 0 0 20 0 1 0 27772310 98701312 16735 18446744073709551615 4194304 35031035 140732513984880 140732513983880 6441388 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16735 305 7529 0 16544 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 96388
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 22934
/proc/meminfo: memFree=30723724/32770624 swapFree=0/438884
[pid=22727] ppid=22724 vsize=96388 CPUtime=2442.1 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 88413 0 0 0 244133 77 0 0 20 0 1 0 27772310 98701312 16735 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376325 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16735 305 7529 0 16544 0
Current children cumulated CPU time (s) 2442.1
Current children cumulated vsize (KiB) 96388
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 22936
/proc/meminfo: memFree=30723972/32770624 swapFree=0/438892
[pid=22727] ppid=22724 vsize=96388 CPUtime=2502.1 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 88648 0 0 0 250131 79 0 0 20 0 1 0 27772310 98701312 16745 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4376153 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16745 305 7529 0 16544 0
Current children cumulated CPU time (s) 2502.1
Current children cumulated vsize (KiB) 96388
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 22936
/proc/meminfo: memFree=30723972/32770624 swapFree=0/438888
[pid=22727] ppid=22724 vsize=96388 CPUtime=2519.8 cores=0,2,4,6
/proc/22727/stat : 22727 (BTD) R 22724 22727 16590 0 -1 4202496 88756 0 0 0 251899 81 0 0 20 0 1 0 27772310 98701312 16745 18446744073709551615 4194304 35031035 140732513984880 140732513983880 4213184 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 68689920 140732513993221 140732513993297 140732513993297 140732513996753 0
/proc/22727/statm: 24097 16745 305 7529 0 16544 0
Current children cumulated CPU time (s) 2519.8
Current children cumulated vsize (KiB) 96388
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 22727 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.81
CPU user time (s): 2519
CPU system time (s): 0.814967
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 96388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519
system time used= 0.814967
maximum resident set size= 66980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88756
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= 17
involuntary context switches= 777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56807 second user time and 10.0604 second system time
The end