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-4252566-1500930934/watcher-4252566-1500930934 -o /tmp/evaluation-result-4252566-1500930934/solver-4252566-1500930934 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500930934-4156 --watchdog 2560 miniBTD 2400 HOME/instance-4252566-1500930934.xml
pid=4186
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.00 1.03 1.05 3/184 4189
/proc/meminfo: memFree=32021880/32770624 swapFree=5836/136744
[pid=4189] ppid=4186 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 2632302 26628096 600 33554432000 4194304 4832315 140727793233616 140727793230616 139694748072933 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 6501 600 506 156 0 143 0
[startup+0.100194 s]
/proc/loadavg: 1.00 1.03 1.05 3/184 4189
/proc/meminfo: memFree=32021880/32770624 swapFree=5836/136744
[pid=4189] ppid=4186 vsize=26840 CPUtime=0.09 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 1902 0 0 0 9 0 0 0 20 0 1 0 2632302 27484160 853 33554432000 4194304 4832315 140727793233616 140727793230616 139694748533740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 6710 853 511 156 0 352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26840
[startup+0.200337 s]
/proc/loadavg: 1.00 1.03 1.05 3/184 4189
/proc/meminfo: memFree=32021880/32770624 swapFree=5836/136744
[pid=4189] ppid=4186 vsize=27132 CPUtime=0.19 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 8940 0 0 0 18 1 0 0 20 0 1 0 2632302 27783168 926 33554432000 4194304 4832315 140727793233616 140727793230616 139694748533740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 6783 926 511 156 0 425 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27132
[startup+0.300317 s]
/proc/loadavg: 1.00 1.03 1.05 3/184 4189
/proc/meminfo: memFree=32021880/32770624 swapFree=5836/136744
[pid=4189] ppid=4186 vsize=27424 CPUtime=0.29 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 18649 0 0 0 27 2 0 0 20 0 1 0 2632302 28082176 964 33554432000 4194304 4832315 140727793233616 140727793230616 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 6825 967 511 156 0 467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27424
[startup+0.700281 s]
/proc/loadavg: 1.00 1.03 1.05 3/184 4189
/proc/meminfo: memFree=32021880/32770624 swapFree=5836/136744
[pid=4189] ppid=4186 vsize=28108 CPUtime=0.69 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 84227 0 0 0 59 10 0 0 20 0 1 0 2632302 28782592 1170 33554432000 4194304 4832315 140727793233616 140727793230168 139694748533740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 7027 1170 511 156 0 669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28108
[startup+1.50028 s]
/proc/loadavg: 1.00 1.03 1.05 3/185 4190
/proc/meminfo: memFree=32014216/32770624 swapFree=5836/136876
[pid=4189] ppid=4186 vsize=28732 CPUtime=1.49 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 234163 0 0 0 125 24 0 0 20 0 1 0 2632302 29421568 1291 33554432000 4194304 4832315 140727793233616 140727793229944 4217657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 7219 1291 512 156 0 861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28732
[startup+3.10032 s]
/proc/loadavg: 1.00 1.03 1.05 3/185 4190
/proc/meminfo: memFree=32009504/32770624 swapFree=5836/136876
[pid=4189] ppid=4186 vsize=30100 CPUtime=3.09 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 606077 0 0 0 246 63 0 0 20 0 1 0 2632302 30822400 1618 33554432000 4194304 4832315 140727793233616 140727793229944 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 7525 1618 512 156 0 1167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30100
[startup+6.30028 s]
/proc/loadavg: 1.00 1.03 1.05 3/185 4190
/proc/meminfo: memFree=31997044/32770624 swapFree=5836/136648
[pid=4189] ppid=4186 vsize=32188 CPUtime=6.29 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 1452866 0 0 0 488 141 0 0 20 0 1 0 2632302 32960512 2120 33554432000 4194304 4832315 140727793233616 140727793229944 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 8047 2120 512 156 0 1689 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32188
[startup+12.7003 s]
/proc/loadavg: 1.08 1.05 1.05 3/185 4190
/proc/meminfo: memFree=31973740/32770624 swapFree=5836/136652
[pid=4189] ppid=4186 vsize=34432 CPUtime=12.69 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 3174770 0 0 0 964 305 0 0 20 0 1 0 2632302 35258368 2617 33554432000 4194304 4832315 140727793233616 140727793229944 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 8608 2683 512 156 0 2250 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34432
[startup+25.5004 s]
/proc/loadavg: 1.29 1.09 1.07 3/185 4190
/proc/meminfo: memFree=31930408/32770624 swapFree=5836/136676
[pid=4189] ppid=4186 vsize=39156 CPUtime=25.49 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 6792628 0 0 0 1895 654 0 0 20 0 1 0 2632302 40095744 3900 33554432000 4194304 4832315 140727793233616 140727793229944 139694748533740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 9789 3373 512 156 0 3431 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39156
[startup+51.1004 s]
/proc/loadavg: 1.53 1.17 1.09 3/185 4190
/proc/meminfo: memFree=31850852/32770624 swapFree=5836/136688
[pid=4189] ppid=4186 vsize=43728 CPUtime=51.09 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 13416309 0 0 0 3742 1367 0 0 20 0 1 0 2632302 44777472 5020 33554432000 4194304 4832315 140727793233616 140727793229944 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 10932 5020 512 156 0 4574 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43728
[startup+102.3 s]
/proc/loadavg: 1.81 1.31 1.14 3/185 4191
/proc/meminfo: memFree=31690560/32770624 swapFree=5836/136708
[pid=4189] ppid=4186 vsize=48156 CPUtime=102.3 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 25614320 0 0 0 7418 2812 0 0 20 0 1 0 2632302 49311744 5865 33554432000 4194304 4832315 140727793233616 140727793229944 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 12039 5931 512 156 0 5681 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 48156
[startup+162.3 s]
/proc/loadavg: 1.92 1.42 1.19 3/185 4192
/proc/meminfo: memFree=27427028/32770624 swapFree=5836/136736
[pid=4189] ppid=4186 vsize=50776 CPUtime=162.29 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 36823291 0 0 0 11959 4270 0 0 20 0 1 0 2632302 51994624 6790 33554432000 4194304 4832315 140727793233616 140727793229944 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 12694 6790 512 156 0 6336 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 50776
[startup+222.306 s]
/proc/loadavg: 1.97 1.53 1.24 3/185 4193
/proc/meminfo: memFree=27405756/32770624 swapFree=5836/136756
[pid=4189] ppid=4186 vsize=53136 CPUtime=222.3 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 47385447 0 0 0 16608 5622 0 0 20 0 1 0 2632302 54411264 7340 33554432000 4194304 4832315 140727793233616 140727793229944 4217661 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 13284 7340 512 156 0 6926 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 53136
[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.29 3/185 4201
/proc/meminfo: memFree=27370104/32770624 swapFree=5836/136792
[pid=4189] ppid=4186 vsize=68796 CPUtime=282.3 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 50419522 0 0 0 22248 5982 0 0 20 0 1 0 2632302 70447104 11254 33554432000 4194304 4832315 140727793233616 140727793229944 4216992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 17199 11254 513 156 0 10841 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 68796
[startup+342.3 s]
/proc/loadavg: 2.00 1.68 1.33 3/182 4202
/proc/meminfo: memFree=27344304/32770624 swapFree=5836/136812
[pid=4189] ppid=4186 vsize=75788 CPUtime=342.3 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 61472136 0 0 0 26843 7387 0 0 20 0 1 0 2632302 77606912 13059 33554432000 4194304 4832315 140727793233616 140727793229944 4217326 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 18947 13059 513 156 0 12589 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 75788
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.38 3/182 4203
/proc/meminfo: memFree=27318836/32770624 swapFree=5836/136832
[pid=4189] ppid=4186 vsize=80784 CPUtime=402.31 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 70934630 0 0 0 31587 8644 0 0 20 0 1 0 2632302 82722816 14305 33554432000 4194304 4832315 140727793233616 140727793230168 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 20196 14305 513 156 0 13838 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 80784
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.42 3/182 4204
/proc/meminfo: memFree=27286828/32770624 swapFree=5836/136860
[pid=4189] ppid=4186 vsize=93088 CPUtime=462.31 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 74537276 0 0 0 37138 9093 0 0 20 0 1 0 2632302 95322112 17380 33554432000 4194304 4832315 140727793233616 140727793229944 4215837 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 23272 17380 513 156 0 16914 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 93088
[startup+522.3 s]
/proc/loadavg: 2.00 1.83 1.45 3/182 4205
/proc/meminfo: memFree=27260924/32770624 swapFree=5836/136880
[pid=4189] ppid=4186 vsize=102192 CPUtime=522.32 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 84731488 0 0 0 41841 10391 0 0 20 0 1 0 2632302 104644608 18271 33554432000 4194304 4832315 140727793233616 140727793229944 139694748533740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 25548 18271 513 156 0 19190 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 102192
[startup+582.3 s]
/proc/loadavg: 2.04 1.87 1.49 3/182 4207
/proc/meminfo: memFree=27236572/32770624 swapFree=5836/136904
[pid=4189] ppid=4186 vsize=99916 CPUtime=582.31 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 93626613 0 0 0 46648 11583 0 0 20 0 1 0 2632302 102313984 19055 33554432000 4194304 4832315 140727793233616 140727793229944 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 25310 19055 513 156 0 18952 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 99916
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.81 3/183 4238
/proc/meminfo: memFree=26817904/32770624 swapFree=5836/137264
[pid=4189] ppid=4186 vsize=219024 CPUtime=1482.35 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 205805982 0 0 0 122137 26098 0 0 20 0 1 0 2632302 224280576 48808 33554432000 4194304 4832315 140727793233616 140727793229944 4216677 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 54756 48808 513 156 0 48398 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 219024
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.82 3/183 4239
/proc/meminfo: memFree=26796820/32770624 swapFree=5836/137284
[pid=4189] ppid=4186 vsize=220160 CPUtime=1542.36 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 214904762 0 0 0 126940 27296 0 0 20 0 1 0 2632302 225443840 49124 33554432000 4194304 4832315 140727793233616 140727793229944 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 55040 49124 513 156 0 48682 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 220160
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/183 4240
/proc/meminfo: memFree=26765196/32770624 swapFree=5836/137308
[pid=4189] ppid=4186 vsize=233952 CPUtime=1602.35 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 221003634 0 0 0 132133 28102 0 0 20 0 1 0 2632302 239566848 52581 33554432000 4194304 4832315 140727793233616 140727793229944 4216664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 58488 52581 513 156 0 52130 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 233952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 4241
/proc/meminfo: memFree=26737612/32770624 swapFree=5836/137336
[pid=4189] ppid=4186 vsize=241012 CPUtime=1662.36 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 227737894 0 0 0 137321 28915 0 0 20 0 1 0 2632302 246796288 54335 33554432000 4194304 4832315 140727793233616 140727793229944 4217326 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 60253 54335 513 156 0 53895 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 241012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 4242
/proc/meminfo: memFree=26712908/32770624 swapFree=5836/137356
[pid=4189] ppid=4186 vsize=246996 CPUtime=1722.36 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 237613953 0 0 0 142020 30216 0 0 20 0 1 0 2632302 252923904 55861 33554432000 4194304 4832315 140727793233616 140727793229944 4217001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 61749 55861 513 156 0 55391 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 246996
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.87 3/182 4243
/proc/meminfo: memFree=26686552/32770624 swapFree=5836/137376
[pid=4189] ppid=4186 vsize=251252 CPUtime=1782.36 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 246360270 0 0 0 146878 31358 0 0 20 0 1 0 2632302 257282048 56929 33554432000 4194304 4832315 140727793233616 140727793229944 4216400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 62813 56929 513 156 0 56455 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 251252
[startup+1842.3 s]
/proc/loadavg: 2.09 2.03 1.88 3/182 4244
/proc/meminfo: memFree=26653688/32770624 swapFree=5836/137396
[pid=4189] ppid=4186 vsize=264664 CPUtime=1842.37 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 249804672 0 0 0 152475 31762 0 0 20 0 1 0 2632302 271015936 60217 33554432000 4194304 4832315 140727793233616 140727793229944 4216998 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 66166 60217 513 156 0 59808 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 264664
[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 1.89 3/182 4245
/proc/meminfo: memFree=26629936/32770624 swapFree=5836/137420
[pid=4189] ppid=4186 vsize=269756 CPUtime=1902.37 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 259510788 0 0 0 157215 33022 0 0 20 0 1 0 2632302 276230144 61502 33554432000 4194304 4832315 140727793233616 140727793229944 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 67439 61502 513 156 0 61081 0
Current children cumulated CPU time (s) 1902.37
Current children cumulated vsize (KiB) 269756
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.90 3/182 4246
/proc/meminfo: memFree=26606500/32770624 swapFree=5836/137448
[pid=4189] ppid=4186 vsize=270888 CPUtime=1962.37 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 270093225 0 0 0 161801 34436 0 0 20 0 1 0 2632302 277389312 61786 33554432000 4194304 4832315 140727793233616 140727793229944 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 67722 61786 513 156 0 61364 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 270888
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/182 4247
/proc/meminfo: memFree=26571216/32770624 swapFree=5836/137468
[pid=4189] ppid=4186 vsize=288164 CPUtime=2022.37 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 273502144 0 0 0 167377 34860 0 0 20 0 1 0 2632302 295079936 66038 33554432000 4194304 4832315 140727793233616 140727793229944 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 72041 66038 513 156 0 65683 0
Current children cumulated CPU time (s) 2022.37
Current children cumulated vsize (KiB) 288164
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/182 4255
/proc/meminfo: memFree=26545384/32770624 swapFree=5836/137492
[pid=4189] ppid=4186 vsize=290688 CPUtime=2082.38 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 284145529 0 0 0 172016 36222 0 0 20 0 1 0 2632302 297664512 66727 33554432000 4194304 4832315 140727793233616 140727793229944 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 72672 66727 513 156 0 66314 0
Current children cumulated CPU time (s) 2082.38
Current children cumulated vsize (KiB) 290688
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/182 4256
/proc/meminfo: memFree=26520916/32770624 swapFree=5836/137516
[pid=4189] ppid=4186 vsize=298048 CPUtime=2142.37 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 292765130 0 0 0 176867 37370 0 0 20 0 1 0 2632302 305201152 68575 33554432000 4194304 4832315 140727793233616 140727793229944 4216998 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 74512 68575 513 156 0 68154 0
Current children cumulated CPU time (s) 2142.37
Current children cumulated vsize (KiB) 298048
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 1.92 3/182 4257
/proc/meminfo: memFree=26489512/32770624 swapFree=5836/137536
[pid=4189] ppid=4186 vsize=308820 CPUtime=2202.38 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 297286198 0 0 0 182283 37955 0 0 20 0 1 0 2632302 316231680 71314 33554432000 4194304 4832315 140727793233616 140727793229944 4216998 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 77205 71314 513 156 0 70847 0
Current children cumulated CPU time (s) 2202.38
Current children cumulated vsize (KiB) 308820
[startup+2262.3 s]
/proc/loadavg: 2.12 2.05 1.94 3/182 4269
/proc/meminfo: memFree=26463572/32770624 swapFree=5836/137872
[pid=4189] ppid=4186 vsize=315264 CPUtime=2262.38 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 305705137 0 0 0 187232 39006 0 0 20 0 1 0 2632302 322830336 72868 33554432000 4194304 4832315 140727793233616 140727793229944 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 78816 72868 513 156 0 72458 0
Current children cumulated CPU time (s) 2262.38
Current children cumulated vsize (KiB) 315264
[startup+2322.3 s]
/proc/loadavg: 2.08 2.06 1.95 3/182 4270
/proc/meminfo: memFree=26437588/32770624 swapFree=5836/137896
[pid=4189] ppid=4186 vsize=320668 CPUtime=2322.38 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 314583106 0 0 0 192051 40187 0 0 20 0 1 0 2632302 328364032 74254 33554432000 4194304 4832315 140727793233616 140727793230168 4217654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 80167 74254 513 156 0 73809 0
Current children cumulated CPU time (s) 2322.38
Current children cumulated vsize (KiB) 320668
[startup+2382.3 s]
/proc/loadavg: 2.14 2.08 1.96 3/182 4272
/proc/meminfo: memFree=26408228/32770624 swapFree=5836/137924
[pid=4189] ppid=4186 vsize=330976 CPUtime=2382.39 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 320546714 0 0 0 197271 40968 0 0 20 0 1 0 2632302 338919424 76798 33554432000 4194304 4832315 140727793233616 140727793229944 4217654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 82744 76798 513 156 0 76386 0
Current children cumulated CPU time (s) 2382.39
Current children cumulated vsize (KiB) 330976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.17 2.09 1.97 3/182 4272
/proc/meminfo: memFree=26398432/32770624 swapFree=5836/137932
[pid=4189] ppid=4186 vsize=334812 CPUtime=2400.08 cores=0,2,4,6
/proc/4189/stat : 4189 (miniBTD) R 4186 4189 4125 0 -1 4202496 322599315 0 0 0 198806 41202 0 0 20 0 1 0 2632302 342847488 77771 33554432000 4194304 4832315 140727793233616 140727793229944 4217001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 32931840 140727793235186 140727793235266 140727793235266 140727793237965 0
/proc/4189/statm: 83703 77771 513 156 0 77345 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 334812
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 4189 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): 2400.02
CPU time (s): 2400.11
CPU user time (s): 1988.07
CPU system time (s): 412.045
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 335612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1988.07
system time used= 412.045
maximum resident set size= 311876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322599315
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= 9
involuntary context switches= 975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66621 second user time and 9.36463 second system time
The end