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-4260471-1502331832/watcher-4260471-1502331832 -o /tmp/evaluation-result-4260471-1502331832/solver-4260471-1502331832 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502330969-25279 --watchdog 2580 BTD 2520 HOME/instance-4260471-1502331832.xml
pid=25295
running on 4 cores: 1,3,5,7
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: 1.08 1.12 1.47 3/178 25298
/proc/meminfo: memFree=31161464/32770624 swapFree=0/422104
[pid=25298] ppid=25295 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25298/stat : 25298 (runsolver) D 25295 25298 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 132836163 24240128 107 18446744073709551615 4194304 4338465 140723793417200 140723793414840 139877769306839 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34316288 140723793424596 140723793424969 140723793424969 140723793428426 0
/proc/25298/statm: 5918 107 54 36 0 2156 0
[startup+0.100148 s]
/proc/loadavg: 1.08 1.12 1.47 3/178 25298
/proc/meminfo: memFree=31161464/32770624 swapFree=0/422104
[pid=25298] ppid=25295 vsize=30676 CPUtime=0 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 132836163 31412224 260 18446744073709551615 4194304 35031035 140735397059184 140735397059184 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 7669 260 227 7529 0 116 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30676
[startup+0.200276 s]
/proc/loadavg: 1.08 1.12 1.47 3/178 25298
/proc/meminfo: memFree=31161464/32770624 swapFree=0/422104
[pid=25298] ppid=25295 vsize=36880 CPUtime=0.09 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 2062 0 0 0 9 0 0 0 20 0 1 0 132836163 37765120 1910 18446744073709551615 4194304 35031035 140735397059184 140735397051608 4623999 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 9220 1910 324 7529 0 1667 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36880
[startup+0.300274 s]
/proc/loadavg: 1.08 1.12 1.47 3/178 25298
/proc/meminfo: memFree=31161464/32770624 swapFree=0/422104
[pid=25298] ppid=25295 vsize=41672 CPUtime=0.19 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 3220 0 0 0 19 0 0 0 20 0 1 0 132836163 42672128 3087 18446744073709551615 4194304 35031035 140735397059184 140735397051608 4544927 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10418 3087 338 7529 0 2865 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41672
[startup+0.700219 s]
/proc/loadavg: 1.08 1.12 1.47 3/178 25298
/proc/meminfo: memFree=31161464/32770624 swapFree=0/422104
[pid=25298] ppid=25295 vsize=41672 CPUtime=0.59 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 3224 0 0 0 59 0 0 0 20 0 1 0 132836163 42672128 3087 18446744073709551615 4194304 35031035 140735397059184 140735397051608 4491730 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10418 3087 338 7529 0 2865 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 41672
[startup+1.50026 s]
/proc/loadavg: 1.08 1.12 1.47 3/185 25309
/proc/meminfo: memFree=31121048/32770624 swapFree=0/420304
[pid=25298] ppid=25295 vsize=41804 CPUtime=1.39 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 3256 0 0 0 139 0 0 0 20 0 1 0 132836163 42807296 3087 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491573 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10451 3087 338 7529 0 2898 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 41804
[startup+3.10021 s]
/proc/loadavg: 1.08 1.12 1.47 3/185 25309
/proc/meminfo: memFree=31146024/32770624 swapFree=0/420304
[pid=25298] ppid=25295 vsize=41936 CPUtime=2.99 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 3439 0 0 0 299 0 0 0 20 0 1 0 132836163 42942464 3166 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491611 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10484 3166 338 7529 0 2931 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 41936
[startup+6.30022 s]
/proc/loadavg: 1.08 1.12 1.47 3/185 25309
/proc/meminfo: memFree=31145468/32770624 swapFree=0/420304
[pid=25298] ppid=25295 vsize=42332 CPUtime=6.18 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 3725 0 0 0 618 0 0 0 20 0 1 0 132836163 43347968 3244 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491569 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10583 3244 338 7529 0 3030 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 42332
[startup+12.7002 s]
/proc/loadavg: 1.15 1.13 1.47 3/185 25309
/proc/meminfo: memFree=31144352/32770624 swapFree=0/420304
[pid=25298] ppid=25295 vsize=42724 CPUtime=12.59 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 3965 0 0 0 1258 1 0 0 20 0 1 0 132836163 43749376 3360 18446744073709551615 4194304 35031035 140735397059184 140735397058184 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10681 3360 338 7529 0 3128 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 42724
[startup+25.5002 s]
/proc/loadavg: 1.34 1.18 1.48 3/185 25309
/proc/meminfo: memFree=31144404/32770624 swapFree=0/420300
[pid=25298] ppid=25295 vsize=42724 CPUtime=25.39 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 4212 0 0 0 2536 3 0 0 20 0 1 0 132836163 43749376 3373 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544944 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10681 3373 338 7529 0 3128 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 42724
[startup+51.1002 s]
/proc/loadavg: 1.68 1.27 1.51 3/188 25325
/proc/meminfo: memFree=31140168/32770624 swapFree=0/420328
[pid=25298] ppid=25295 vsize=42856 CPUtime=50.98 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 4369 0 0 0 5094 4 0 0 20 0 1 0 132836163 43884544 3400 18446744073709551615 4194304 35031035 140735397059184 140735397058184 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10714 3400 338 7529 0 3161 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 42856
[startup+102.3 s]
/proc/loadavg: 1.86 1.38 1.53 3/188 25326
/proc/meminfo: memFree=31139768/32770624 swapFree=0/420352
[pid=25298] ppid=25295 vsize=42988 CPUtime=102.19 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 4543 0 0 0 10211 8 0 0 20 0 1 0 132836163 44019712 3412 18446744073709551615 4194304 35031035 140735397059184 140735397058184 6458007 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10747 3412 338 7529 0 3194 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 42988
[startup+162.3 s]
/proc/loadavg: 1.95 1.50 1.56 3/185 25328
/proc/meminfo: memFree=31142012/32770624 swapFree=0/420360
[pid=25298] ppid=25295 vsize=42988 CPUtime=162.18 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 4722 0 0 0 16206 12 0 0 20 0 1 0 132836163 44019712 3429 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544915 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10747 3429 338 7529 0 3194 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 42988
[startup+222.3 s]
/proc/loadavg: 1.98 1.59 1.59 3/185 25330
/proc/meminfo: memFree=31142744/32770624 swapFree=0/420376
[pid=25298] ppid=25295 vsize=43120 CPUtime=222.19 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 4922 0 0 0 22202 17 0 0 20 0 1 0 132836163 44154880 3448 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544913 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10780 3448 338 7529 0 3227 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 43120
[startup+282.3 s]
/proc/loadavg: 1.99 1.66 1.61 3/185 25332
/proc/meminfo: memFree=31142716/32770624 swapFree=0/420392
[pid=25298] ppid=25295 vsize=43120 CPUtime=282.18 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 5115 0 0 0 28194 24 0 0 20 0 1 0 132836163 44154880 3468 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544913 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10780 3468 338 7529 0 3227 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 43120
[startup+342.3 s]
/proc/loadavg: 2.00 1.72 1.64 3/184 25334
/proc/meminfo: memFree=31142736/32770624 swapFree=0/420404
[pid=25298] ppid=25295 vsize=43120 CPUtime=342.18 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 5322 0 0 0 34189 29 0 0 20 0 1 0 132836163 44154880 3472 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544944 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10780 3472 338 7529 0 3227 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 43120
[startup+402.3 s]
/proc/loadavg: 2.01 1.78 1.66 3/184 25336
/proc/meminfo: memFree=31142460/32770624 swapFree=0/420416
[pid=25298] ppid=25295 vsize=43120 CPUtime=402.18 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 5539 0 0 0 40182 36 0 0 20 0 1 0 132836163 44154880 3480 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544913 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10780 3480 338 7529 0 3227 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 43120
[startup+462.306 s]
/proc/loadavg: 2.00 1.82 1.68 3/185 25339
/proc/meminfo: memFree=31142448/32770624 swapFree=0/420432
[pid=25298] ppid=25295 vsize=43252 CPUtime=462.18 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 5699 0 0 0 46177 41 0 0 20 0 1 0 132836163 44290048 3489 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491555 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10813 3489 338 7529 0 3260 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 43252
[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.70 3/185 25341
/proc/meminfo: memFree=31142540/32770624 swapFree=0/420436
[pid=25298] ppid=25295 vsize=43252 CPUtime=522.18 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 5862 0 0 0 52172 46 0 0 20 0 1 0 132836163 44290048 3498 18446744073709551615 4194304 35031035 140735397059184 140735397058184 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10813 3498 338 7529 0 3260 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 43252
[startup+582.3 s]
/proc/loadavg: 2.00 1.88 1.72 3/185 25343
/proc/meminfo: memFree=31142732/32770624 swapFree=0/420440
[pid=25298] ppid=25295 vsize=43252 CPUtime=582.17 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 6030 0 0 0 58165 52 0 0 20 0 1 0 132836163 44290048 3510 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544953 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10813 3510 338 7529 0 3260 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 43252
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.97 1.96 1.88 3/185 25412
/proc/meminfo: memFree=31140464/32770624 swapFree=0/420696
[pid=25298] ppid=25295 vsize=43516 CPUtime=1602.16 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7229 0 0 0 160071 145 0 0 20 0 1 0 132836163 44560384 3606 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4395216 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10879 3606 338 7529 0 3326 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 43516
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/185 25414
/proc/meminfo: memFree=31140816/32770624 swapFree=0/420708
[pid=25298] ppid=25295 vsize=43516 CPUtime=1662.16 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7318 0 0 0 166067 149 0 0 20 0 1 0 132836163 44560384 3606 18446744073709551615 4194304 35031035 140735397059184 140735397058184 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10879 3606 338 7529 0 3326 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 43516
[startup+1722.3 s]
/proc/loadavg: 2.06 1.99 1.90 3/185 25416
/proc/meminfo: memFree=31140784/32770624 swapFree=0/420724
[pid=25298] ppid=25295 vsize=43516 CPUtime=1722.15 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7359 0 0 0 172061 154 0 0 20 0 1 0 132836163 44560384 3615 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4395167 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10879 3615 338 7529 0 3326 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 43516
[startup+1782.31 s]
/proc/loadavg: 2.02 1.99 1.91 3/185 25418
/proc/meminfo: memFree=31139896/32770624 swapFree=0/420732
[pid=25298] ppid=25295 vsize=43516 CPUtime=1782.15 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7413 0 0 0 178055 160 0 0 20 0 1 0 132836163 44560384 3615 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491742 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10879 3615 338 7529 0 3326 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 43516
[startup+1842.3 s]
/proc/loadavg: 2.01 1.99 1.91 3/188 25435
/proc/meminfo: memFree=31135536/32770624 swapFree=0/420752
[pid=25298] ppid=25295 vsize=43648 CPUtime=1842.15 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7507 0 0 0 184051 164 0 0 20 0 1 0 132836163 44695552 3621 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491765 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3621 338 7529 0 3359 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 43648
[startup+1902.3 s]
/proc/loadavg: 2.01 1.99 1.92 3/188 25437
/proc/meminfo: memFree=31136032/32770624 swapFree=0/420768
[pid=25298] ppid=25295 vsize=43648 CPUtime=1902.15 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7585 0 0 0 190044 171 0 0 20 0 1 0 132836163 44695552 3621 18446744073709551615 4194304 35031035 140735397059184 140735397058184 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3621 338 7529 0 3359 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 43648
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/185 25439
/proc/meminfo: memFree=31139152/32770624 swapFree=0/420772
[pid=25298] ppid=25295 vsize=43648 CPUtime=1962.15 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7635 0 0 0 196039 176 0 0 20 0 1 0 132836163 44695552 3621 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4394061 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3621 338 7529 0 3359 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 43648
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/186 25442
/proc/meminfo: memFree=31139728/32770624 swapFree=0/420792
[pid=25298] ppid=25295 vsize=43648 CPUtime=2022.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7754 0 0 0 202034 180 0 0 20 0 1 0 132836163 44695552 3627 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4213314 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3627 338 7529 0 3359 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 43648
[startup+2082.3 s]
/proc/loadavg: 1.96 1.98 1.93 3/186 25444
/proc/meminfo: memFree=31139980/32770624 swapFree=0/420808
[pid=25298] ppid=25295 vsize=43648 CPUtime=2082.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7797 0 0 0 208028 186 0 0 20 0 1 0 132836163 44695552 3627 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491569 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3627 338 7529 0 3359 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 43648
[startup+2142.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/185 25446
/proc/meminfo: memFree=31140460/32770624 swapFree=0/420816
[pid=25298] ppid=25295 vsize=43648 CPUtime=2142.15 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7853 0 0 0 214022 193 0 0 20 0 1 0 132836163 44695552 3627 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544927 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3627 338 7529 0 3359 0
Current children cumulated CPU time (s) 2142.15
Current children cumulated vsize (KiB) 43648
[startup+2202.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/185 25448
/proc/meminfo: memFree=31139804/32770624 swapFree=0/420828
[pid=25298] ppid=25295 vsize=43648 CPUtime=2202.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 7951 0 0 0 220016 198 0 0 20 0 1 0 132836163 44695552 3627 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4491569 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3627 338 7529 0 3359 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 43648
[startup+2262.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/185 25450
/proc/meminfo: memFree=31140604/32770624 swapFree=0/420844
[pid=25298] ppid=25295 vsize=43648 CPUtime=2262.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 8031 0 0 0 226010 204 0 0 20 0 1 0 132836163 44695552 3633 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4213314 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3633 338 7529 0 3359 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 43648
[startup+2322.3 s]
/proc/loadavg: 1.91 1.97 1.95 3/184 25452
/proc/meminfo: memFree=31140968/32770624 swapFree=0/420856
[pid=25298] ppid=25295 vsize=43648 CPUtime=2322.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 8085 0 0 0 232006 208 0 0 20 0 1 0 132836163 44695552 3633 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4213307 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3633 338 7529 0 3359 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 43648
[startup+2382.3 s]
/proc/loadavg: 1.97 1.97 1.95 3/184 25454
/proc/meminfo: memFree=31140440/32770624 swapFree=0/420868
[pid=25298] ppid=25295 vsize=43648 CPUtime=2382.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 8194 0 0 0 238001 213 0 0 20 0 1 0 132836163 44695552 3633 18446744073709551615 4194304 35031035 140735397059184 140735397058184 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3633 338 7529 0 3359 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 43648
[startup+2442.31 s]
/proc/loadavg: 2.06 1.99 1.96 3/187 25470
/proc/meminfo: memFree=31135076/32770624 swapFree=0/420880
[pid=25298] ppid=25295 vsize=43648 CPUtime=2442.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 8237 0 0 0 243996 218 0 0 20 0 1 0 132836163 44695552 3633 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544960 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3633 338 7529 0 3359 0
Current children cumulated CPU time (s) 2442.14
Current children cumulated vsize (KiB) 43648
[startup+2502.3 s]
/proc/loadavg: 2.02 1.99 1.96 3/187 25472
/proc/meminfo: memFree=31135524/32770624 swapFree=0/420884
[pid=25298] ppid=25295 vsize=43648 CPUtime=2502.14 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 8290 0 0 0 249991 223 0 0 20 0 1 0 132836163 44695552 3637 18446744073709551615 4194304 35031035 140735397059184 140735397058184 6458039 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3637 338 7529 0 3359 0
Current children cumulated CPU time (s) 2502.14
Current children cumulated vsize (KiB) 43648
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 1.99 1.96 3/188 25474
/proc/meminfo: memFree=31135632/32770624 swapFree=0/420884
[pid=25298] ppid=25295 vsize=43648 CPUtime=2519.84 cores=1,3,5,7
/proc/25298/stat : 25298 (BTD) R 25295 25298 4525 0 -1 4202496 8326 0 0 0 251759 225 0 0 20 0 1 0 132836163 44695552 3637 18446744073709551615 4194304 35031035 140735397059184 140735397058184 4544899 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 58589184 140735397061124 140735397061200 140735397061200 140735397064657 0
/proc/25298/statm: 10912 3637 338 7529 0 3359 0
Current children cumulated CPU time (s) 2519.84
Current children cumulated vsize (KiB) 43648
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 25298 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.85
CPU user time (s): 2517.59
CPU system time (s): 2.25095
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 43648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.59
system time used= 2.25095
maximum resident set size= 14548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8326
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= 7
involuntary context switches= 749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36055 second user time and 8.90771 second system time
The end