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-4260364-1502240815/watcher-4260364-1502240815 -o /tmp/evaluation-result-4260364-1502240815/solver-4260364-1502240815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502234584-31451 --watchdog 2580 BTD 2520 HOME/instance-4260364-1502240815.xml
pid=2380
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.00 2.01 2.02 3/185 2383
/proc/meminfo: memFree=31122924/32770624 swapFree=0/506884
[pid=2383] ppid=2380 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2383/stat : 2383 (runsolver) D 2380 2383 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 71587607 24240128 108 18446744073709551615 4194304 4338465 140722770710080 140722770707720 140364943966935 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 25907200 140722770718932 140722770719305 140722770719305 140722770722762 0
/proc/2383/statm: 5918 108 54 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 2383
/proc/meminfo: memFree=31122924/32770624 swapFree=0/506884
[pid=2383] ppid=2380 vsize=31316 CPUtime=0 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 71587607 32067584 428 18446744073709551615 4194304 35031035 140727670092976 140727670092976 7408826 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 7829 428 231 7529 0 276 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31316
[startup+0.200335 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 2383
/proc/meminfo: memFree=31122924/32770624 swapFree=0/506884
[pid=2383] ppid=2380 vsize=33232 CPUtime=0.1 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 1094 0 0 0 10 0 0 0 20 0 1 0 71587607 34029568 955 18446744073709551615 4194304 35031035 140727670092976 140727670092976 4445167 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8308 955 290 7529 0 755 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 33232
[startup+0.300326 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 2383
/proc/meminfo: memFree=31122924/32770624 swapFree=0/506884
[pid=2383] ppid=2380 vsize=33232 CPUtime=0.2 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 1095 0 0 0 20 0 0 0 20 0 1 0 71587607 34029568 955 18446744073709551615 4194304 35031035 140727670092976 140727670092976 4445181 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8308 955 290 7529 0 755 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 33232
[startup+0.700278 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 2383
/proc/meminfo: memFree=31122924/32770624 swapFree=0/506884
[pid=2383] ppid=2380 vsize=33232 CPUtime=0.6 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 1099 0 0 0 60 0 0 0 20 0 1 0 71587607 34029568 955 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4213314 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8308 955 290 7529 0 755 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 33232
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 2384
/proc/meminfo: memFree=31120124/32770624 swapFree=0/506896
[pid=2383] ppid=2380 vsize=33364 CPUtime=1.4 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 1106 0 0 0 140 0 0 0 20 0 1 0 71587607 34164736 955 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445088 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8341 955 290 7529 0 788 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 33364
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 2384
/proc/meminfo: memFree=31119752/32770624 swapFree=0/506896
[pid=2383] ppid=2380 vsize=33364 CPUtime=3 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 1471 0 0 0 300 0 0 0 20 0 1 0 71587607 34164736 989 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445128 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8341 989 295 7529 0 788 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 33364
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 2384
/proc/meminfo: memFree=31119160/32770624 swapFree=0/506892
[pid=2383] ppid=2380 vsize=33496 CPUtime=6.2 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 1862 0 0 0 619 1 0 0 20 0 1 0 71587607 34299904 1005 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8374 1005 295 7529 0 821 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 33496
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 2384
/proc/meminfo: memFree=31118964/32770624 swapFree=0/506888
[pid=2383] ppid=2380 vsize=33628 CPUtime=12.6 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 2286 0 0 0 1258 2 0 0 20 0 1 0 71587607 34435072 1036 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4444598 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8407 1036 295 7529 0 854 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 33628
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 2384
/proc/meminfo: memFree=31118716/32770624 swapFree=0/506900
[pid=2383] ppid=2380 vsize=33760 CPUtime=25.4 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 3134 0 0 0 2534 6 0 0 20 0 1 0 71587607 34570240 1083 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4444630 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8440 1083 295 7529 0 887 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 33760
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 2385
/proc/meminfo: memFree=31118468/32770624 swapFree=0/506900
[pid=2383] ppid=2380 vsize=33892 CPUtime=50.99 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 3624 0 0 0 5085 14 0 0 20 0 1 0 71587607 34705408 1104 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4541516 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8473 1104 295 7529 0 920 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 33892
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 2387
/proc/meminfo: memFree=31117800/32770624 swapFree=0/506932
[pid=2383] ppid=2380 vsize=33892 CPUtime=102.2 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 4110 0 0 0 10184 36 0 0 20 0 1 0 71587607 34705408 1149 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8473 1149 295 7529 0 920 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 33892
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/185 2390
/proc/meminfo: memFree=31117412/32770624 swapFree=0/506964
[pid=2383] ppid=2380 vsize=34024 CPUtime=162.2 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 4405 0 0 0 16161 59 0 0 20 0 1 0 71587607 34840576 1170 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4443344 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8506 1170 295 7529 0 953 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 34024
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.02 3/184 2392
/proc/meminfo: memFree=31117776/32770624 swapFree=0/506980
[pid=2383] ppid=2380 vsize=34024 CPUtime=222.2 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 4716 0 0 0 22139 81 0 0 20 0 1 0 71587607 34840576 1195 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8506 1195 295 7529 0 953 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 34024
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/186 2396
/proc/meminfo: memFree=31117916/32770624 swapFree=0/506992
[pid=2383] ppid=2380 vsize=34156 CPUtime=282.21 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 5017 0 0 0 28117 104 0 0 20 0 1 0 71587607 34975744 1199 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4213232 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8539 1199 295 7529 0 986 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34156
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/186 2399
/proc/meminfo: memFree=31117668/32770624 swapFree=0/507012
[pid=2383] ppid=2380 vsize=34156 CPUtime=342.2 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 5326 0 0 0 34097 123 0 0 20 0 1 0 71587607 34975744 1212 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7398355 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8539 1212 295 7529 0 986 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 34156
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/186 2401
/proc/meminfo: memFree=31117620/32770624 swapFree=0/507032
[pid=2383] ppid=2380 vsize=34156 CPUtime=402.2 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 5638 0 0 0 40074 146 0 0 20 0 1 0 71587607 34975744 1226 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4442768 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8539 1226 295 7529 0 986 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 34156
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 2418
/proc/meminfo: memFree=31113852/32770624 swapFree=0/507048
[pid=2383] ppid=2380 vsize=34288 CPUtime=462.21 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 5958 0 0 0 46055 166 0 0 20 0 1 0 71587607 35110912 1226 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445156 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8572 1226 295 7529 0 1019 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34288
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 2445
/proc/meminfo: memFree=31111608/32770624 swapFree=0/507096
[pid=2383] ppid=2380 vsize=34288 CPUtime=522.21 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 6252 0 0 0 52035 186 0 0 20 0 1 0 71587607 35110912 1236 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445151 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8572 1236 295 7529 0 1019 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 34288
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/189 2447
/proc/meminfo: memFree=31112264/32770624 swapFree=0/507116
[pid=2383] ppid=2380 vsize=34288 CPUtime=582.21 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 6592 0 0 0 58012 209 0 0 20 0 1 0 71587607 35110912 1239 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4213232 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8572 1239 295 7529 0 1019 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 34288
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/185 2498
/proc/meminfo: memFree=31116088/32770624 swapFree=0/507332
[pid=2383] ppid=2380 vsize=34420 CPUtime=1602.24 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 11784 0 0 0 159644 580 0 0 20 0 1 0 71587607 35246080 1292 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8605 1292 295 7529 0 1052 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 34420
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/189 2514
/proc/meminfo: memFree=31111536/32770624 swapFree=0/507352
[pid=2383] ppid=2380 vsize=34552 CPUtime=1662.24 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 12117 0 0 0 165623 601 0 0 20 0 1 0 71587607 35381248 1299 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1299 295 7529 0 1085 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 34552
[startup+1722.3 s]
/proc/loadavg: 2.11 2.07 2.05 3/189 2576
/proc/meminfo: memFree=31095052/32770624 swapFree=0/507380
[pid=2383] ppid=2380 vsize=34552 CPUtime=1722.25 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 12410 0 0 0 171600 625 0 0 20 0 1 0 71587607 35381248 1299 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4443665 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1299 295 7529 0 1085 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 34552
[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 2578
/proc/meminfo: memFree=31098740/32770624 swapFree=0/507408
[pid=2383] ppid=2380 vsize=34552 CPUtime=1782.24 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 12703 0 0 0 177577 647 0 0 20 0 1 0 71587607 35381248 1299 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4443013 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1299 295 7529 0 1085 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 34552
[startup+1842.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 2581
/proc/meminfo: memFree=31098844/32770624 swapFree=0/507416
[pid=2383] ppid=2380 vsize=34552 CPUtime=1842.24 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 13048 0 0 0 183556 668 0 0 20 0 1 0 71587607 35381248 1304 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4213216 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1304 295 7529 0 1085 0
Current children cumulated CPU time (s) 1842.24
Current children cumulated vsize (KiB) 34552
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 2583
/proc/meminfo: memFree=31098844/32770624 swapFree=0/507424
[pid=2383] ppid=2380 vsize=34552 CPUtime=1902.25 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 13347 0 0 0 189538 687 0 0 20 0 1 0 71587607 35381248 1304 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4443535 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1304 295 7529 0 1085 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 34552
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2585
/proc/meminfo: memFree=31098796/32770624 swapFree=0/507452
[pid=2383] ppid=2380 vsize=34552 CPUtime=1962.25 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 13645 0 0 0 195520 705 0 0 20 0 1 0 71587607 35381248 1304 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445116 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1304 295 7529 0 1085 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 34552
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 2587
/proc/meminfo: memFree=31098796/32770624 swapFree=0/507464
[pid=2383] ppid=2380 vsize=34552 CPUtime=2022.25 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 13995 0 0 0 201498 727 0 0 20 0 1 0 71587607 35381248 1306 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4213247 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1306 295 7529 0 1085 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 34552
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 2590
/proc/meminfo: memFree=31100156/32770624 swapFree=0/507492
[pid=2383] ppid=2380 vsize=34552 CPUtime=2082.26 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 14296 0 0 0 207476 750 0 0 20 0 1 0 71587607 35381248 1310 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4213239 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1310 295 7529 0 1085 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 34552
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 2595
/proc/meminfo: memFree=31099664/32770624 swapFree=0/507508
[pid=2383] ppid=2380 vsize=34552 CPUtime=2142.25 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 14596 0 0 0 213452 773 0 0 20 0 1 0 71587607 35381248 1310 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445132 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1310 295 7529 0 1085 0
Current children cumulated CPU time (s) 2142.25
Current children cumulated vsize (KiB) 34552
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 2597
/proc/meminfo: memFree=31098920/32770624 swapFree=0/507516
[pid=2383] ppid=2380 vsize=34552 CPUtime=2202.26 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 14948 0 0 0 219432 794 0 0 20 0 1 0 71587607 35381248 1315 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1315 295 7529 0 1085 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 34552
[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 2612
/proc/meminfo: memFree=31094688/32770624 swapFree=0/507556
[pid=2383] ppid=2380 vsize=34552 CPUtime=2262.26 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 15250 0 0 0 225414 812 0 0 20 0 1 0 71587607 35381248 1315 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4213184 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1315 295 7529 0 1085 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 34552
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 2614
/proc/meminfo: memFree=31093868/32770624 swapFree=0/507572
[pid=2383] ppid=2380 vsize=34552 CPUtime=2322.26 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 15552 0 0 0 231391 835 0 0 20 0 1 0 71587607 35381248 1315 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1315 295 7529 0 1085 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 34552
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 2616
/proc/meminfo: memFree=31097288/32770624 swapFree=0/507592
[pid=2383] ppid=2380 vsize=34552 CPUtime=2382.26 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 15854 0 0 0 237375 851 0 0 20 0 1 0 71587607 35381248 1315 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445128 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1315 295 7529 0 1085 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 34552
[startup+2442.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 2618
/proc/meminfo: memFree=31097208/32770624 swapFree=0/507604
[pid=2383] ppid=2380 vsize=34552 CPUtime=2442.27 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 16194 0 0 0 243351 876 0 0 20 0 1 0 71587607 35381248 1320 18446744073709551615 4194304 35031035 140727670092976 140727670091976 4445163 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1320 295 7529 0 1085 0
Current children cumulated CPU time (s) 2442.27
Current children cumulated vsize (KiB) 34552
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 2620
/proc/meminfo: memFree=31097956/32770624 swapFree=0/507620
[pid=2383] ppid=2380 vsize=34552 CPUtime=2502.26 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 16495 0 0 0 249327 899 0 0 20 0 1 0 71587607 35381248 1320 18446744073709551615 4194304 35031035 140727670092976 140727670091976 7760122 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1320 295 7529 0 1085 0
Current children cumulated CPU time (s) 2502.26
Current children cumulated vsize (KiB) 34552
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.10 2.05 2.05 3/185 2622
/proc/meminfo: memFree=31098204/32770624 swapFree=0/507644
[pid=2383] ppid=2380 vsize=34552 CPUtime=2519.97 cores=0,2,4,6
/proc/2383/stat : 2383 (BTD) R 2380 2383 31388 0 -1 4202496 16796 0 0 0 251091 906 0 0 20 0 1 0 71587607 35381248 1320 18446744073709551615 4194304 35031035 140727670092976 140727670091976 6458410 0 0 1 0 0 0 0 17 2 0 0 9 0 0 37130264 37226188 65777664 140727670100484 140727670100560 140727670100560 140727670104017 0
/proc/2383/statm: 8638 1320 295 7529 0 1085 0
Current children cumulated CPU time (s) 2519.97
Current children cumulated vsize (KiB) 34552
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 2383 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.98
CPU user time (s): 2510.91
CPU system time (s): 9.06325
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 34552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.91
system time used= 9.06325
maximum resident set size= 5280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16796
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= 3
involuntary context switches= 761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51194 second user time and 8.84372 second system time
The end