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-4252927-1500934393/watcher-4252927-1500934393 -o /tmp/evaluation-result-4252927-1500934393/solver-4252927-1500934393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500914928-3982 --watchdog 2560 miniBTD 2400 HOME/instance-4252927-1500934393.xml
pid=8945
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: 2.00 2.01 2.05 3/181 8948
/proc/meminfo: memFree=31986180/32770624 swapFree=5872/147296
[pid=8948] ppid=8945 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 2978312 26628096 601 33554432000 4194304 4832315 140724093333776 140724093330776 139699897359333 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 6501 601 507 156 0 143 0
[startup+0.100108 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8948
/proc/meminfo: memFree=31986180/32770624 swapFree=5872/147296
[pid=8948] ppid=8945 vsize=31256 CPUtime=0.09 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 2127 0 0 0 9 0 0 0 20 0 1 0 2978312 32006144 1928 33554432000 4194304 4832315 140724093333776 140724093330776 139699897358304 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 7845 1960 512 156 0 1487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31256
[startup+0.200262 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8948
/proc/meminfo: memFree=31986180/32770624 swapFree=5872/147296
[pid=8948] ppid=8945 vsize=36968 CPUtime=0.19 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 3538 0 0 0 19 0 0 0 20 0 1 0 2978312 37855232 3358 33554432000 4194304 4832315 140724093333776 140724093330776 139699897359333 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 9242 3358 512 156 0 2884 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36968
[startup+0.300222 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8948
/proc/meminfo: memFree=31986180/32770624 swapFree=5872/147296
[pid=8948] ppid=8945 vsize=42568 CPUtime=0.29 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 4946 0 0 0 29 0 0 0 20 0 1 0 2978312 43589632 4757 33554432000 4194304 4832315 140724093333776 140724093330776 139699897359333 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 10642 4757 512 156 0 4284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42568
[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8948
/proc/meminfo: memFree=31986180/32770624 swapFree=5872/147296
[pid=8948] ppid=8945 vsize=114488 CPUtime=0.69 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 22909 0 0 0 67 2 0 0 20 0 1 0 2978312 117235712 22712 33554432000 4194304 4832315 140724093333776 140724093328808 4228176 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 28622 22712 534 156 0 22264 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114488
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8949
/proc/meminfo: memFree=31781656/32770624 swapFree=5872/147288
[pid=8948] ppid=8945 vsize=345112 CPUtime=1.49 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 80572 0 0 0 141 8 0 0 20 0 1 0 2978312 353394688 80396 33554432000 4194304 4832315 140724093333776 140724093328808 4228184 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 86278 80396 534 156 0 79920 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 345112
[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8949
/proc/meminfo: memFree=31484428/32770624 swapFree=5872/147288
[pid=8948] ppid=8945 vsize=526976 CPUtime=3.09 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 126928 0 0 0 295 14 0 0 20 0 1 0 2978312 539623424 125917 33554432000 4194304 4832315 140724093333776 140724093331320 4339595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 131744 125917 559 156 0 125386 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 526976
[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8949
/proc/meminfo: memFree=31483340/32770624 swapFree=5872/147288
[pid=8948] ppid=8945 vsize=526976 CPUtime=6.29 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 127796 0 0 0 615 14 0 0 20 0 1 0 2978312 539623424 125917 33554432000 4194304 4832315 140724093333776 140724093331320 139699906806227 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 131744 125917 559 156 0 125386 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 526976
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8949
/proc/meminfo: memFree=31483168/32770624 swapFree=5872/147340
[pid=8948] ppid=8945 vsize=526976 CPUtime=12.69 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 128668 0 0 0 1255 14 0 0 20 0 1 0 2978312 539623424 125917 33554432000 4194304 4832315 140724093333776 140724093331320 4340810 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 131744 125917 559 156 0 125386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 526976
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8949
/proc/meminfo: memFree=31409988/32770624 swapFree=5872/147340
[pid=8948] ppid=8945 vsize=606112 CPUtime=25.49 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 265248 0 0 0 2527 22 0 0 20 0 1 0 2978312 620658688 144110 33554432000 4194304 4832315 140724093333776 140724093330728 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 144110 573 156 0 145170 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 606112
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8949
/proc/meminfo: memFree=31409820/32770624 swapFree=5872/147376
[pid=8948] ppid=8945 vsize=606112 CPUtime=51.08 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 266982 0 0 0 5086 22 0 0 20 0 1 0 2978312 620658688 144121 33554432000 4194304 4832315 140724093333776 140724093330728 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 144121 573 156 0 145170 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 606112
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8950
/proc/meminfo: memFree=31409028/32770624 swapFree=5872/147400
[pid=8948] ppid=8945 vsize=606112 CPUtime=102.29 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 269584 0 0 0 10207 22 0 0 20 0 1 0 2978312 620658688 144134 33554432000 4194304 4832315 140724093333776 140724093330728 4339945 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 144134 573 156 0 145170 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 606112
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 8951
/proc/meminfo: memFree=31409480/32770624 swapFree=5872/147420
[pid=8948] ppid=8945 vsize=606112 CPUtime=162.28 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 271266 0 0 0 16206 22 0 0 20 0 1 0 2978312 620658688 144140 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 144140 573 156 0 145170 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 606112
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 8952
/proc/meminfo: memFree=31409348/32770624 swapFree=5872/147440
[pid=8948] ppid=8945 vsize=606112 CPUtime=222.28 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 271695 0 0 0 22206 22 0 0 20 0 1 0 2978312 620658688 144140 33554432000 4194304 4832315 140724093333776 140724093331496 4339963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 144140 573 156 0 145170 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 606112
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8954
/proc/meminfo: memFree=31408124/32770624 swapFree=5872/147468
[pid=8948] ppid=8945 vsize=606112 CPUtime=282.27 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272023 0 0 0 28205 22 0 0 20 0 1 0 2978312 620658688 144140 33554432000 4194304 4832315 140724093333776 140724093331496 4339931 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 144140 573 156 0 145170 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 606112
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8955
/proc/meminfo: memFree=31408276/32770624 swapFree=5872/147492
[pid=8948] ppid=8945 vsize=606112 CPUtime=342.27 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272272 0 0 0 34205 22 0 0 20 0 1 0 2978312 620658688 144140 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 144140 573 156 0 145170 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 606112
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 8956
/proc/meminfo: memFree=31404740/32770624 swapFree=5872/147516
[pid=8948] ppid=8945 vsize=606112 CPUtime=402.27 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272341 0 0 0 40205 22 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339931 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 606112
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8964
/proc/meminfo: memFree=31404488/32770624 swapFree=5872/147548
[pid=8948] ppid=8945 vsize=606112 CPUtime=462.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272414 0 0 0 46204 22 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 606112
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8965
/proc/meminfo: memFree=31404448/32770624 swapFree=5872/147568
[pid=8948] ppid=8945 vsize=606112 CPUtime=522.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272478 0 0 0 52204 22 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 139699906806279 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 606112
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8966
/proc/meminfo: memFree=31404560/32770624 swapFree=5872/147596
[pid=8948] ppid=8945 vsize=606112 CPUtime=582.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272542 0 0 0 58204 22 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 139699906806336 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 606112
################
# More data... #
################
/proc/loadavg: 2.01 2.02 2.05 3/182 8968
/proc/meminfo: memFree=31404468/32770624 swapFree=5872/147640
[pid=8948] ppid=8945 vsize=606112 CPUtime=702.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272668 0 0 0 70204 22 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 606112
[startup+762.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8970
/proc/meminfo: memFree=31404220/32770624 swapFree=5872/147668
[pid=8948] ppid=8945 vsize=606112 CPUtime=762.27 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272730 0 0 0 76204 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 606112
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8971
/proc/meminfo: memFree=31404204/32770624 swapFree=5872/147688
[pid=8948] ppid=8945 vsize=606112 CPUtime=822.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272796 0 0 0 82203 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 606112
[startup+882.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 8972
/proc/meminfo: memFree=31404320/32770624 swapFree=5872/147712
[pid=8948] ppid=8945 vsize=606112 CPUtime=882.27 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 272883 0 0 0 88204 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 139699906806304 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 606112
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 8974
/proc/meminfo: memFree=31404420/32770624 swapFree=5872/147744
[pid=8948] ppid=8945 vsize=606112 CPUtime=942.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 273163 0 0 0 94203 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339872 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 606112
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 8975
/proc/meminfo: memFree=31404420/32770624 swapFree=5872/147768
[pid=8948] ppid=8945 vsize=606112 CPUtime=1002.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 273420 0 0 0 100203 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 606112
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8983
/proc/meminfo: memFree=31403816/32770624 swapFree=5872/147796
[pid=8948] ppid=8945 vsize=606112 CPUtime=1062.26 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 273681 0 0 0 106203 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 139699906806311 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 606112
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8984
/proc/meminfo: memFree=31403688/32770624 swapFree=5872/147816
[pid=8948] ppid=8945 vsize=606112 CPUtime=1122.25 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 273941 0 0 0 112202 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339954 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 606112
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8985
/proc/meminfo: memFree=31403444/32770624 swapFree=5872/147844
[pid=8948] ppid=8945 vsize=606112 CPUtime=1182.25 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274205 0 0 0 118202 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4340004 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 606112
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8986
/proc/meminfo: memFree=31403320/32770624 swapFree=5872/147864
[pid=8948] ppid=8945 vsize=606112 CPUtime=1242.25 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274483 0 0 0 124202 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339027 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 606112
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8948 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8986
/proc/meminfo: memFree=31403320/32770624 swapFree=5872/147872
[pid=8948] ppid=8945 vsize=606112 CPUtime=1254.35 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274484 0 0 0 125412 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339928 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1254.35
Current children cumulated vsize (KiB) 606112
[startup+1267.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8987
/proc/meminfo: memFree=31403008/32770624 swapFree=5872/147872
[pid=8948] ppid=8945 vsize=606112 CPUtime=1267.15 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274547 0 0 0 126692 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 139699906806279 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1267.15
Current children cumulated vsize (KiB) 606112
[startup+1270.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8987
/proc/meminfo: memFree=31403144/32770624 swapFree=5872/147888
[pid=8948] ppid=8945 vsize=606112 CPUtime=1270.35 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274548 0 0 0 127012 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339945 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1270.35
Current children cumulated vsize (KiB) 606112
[startup+1273.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8987
/proc/meminfo: memFree=31403144/32770624 swapFree=5872/147888
[pid=8948] ppid=8945 vsize=606112 CPUtime=1273.55 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274548 0 0 0 127332 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 139699906806307 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1273.55
Current children cumulated vsize (KiB) 606112
[startup+1274.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8987
/proc/meminfo: memFree=31403144/32770624 swapFree=5872/147888
[pid=8948] ppid=8945 vsize=606112 CPUtime=1274.35 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274548 0 0 0 127412 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339940 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1274.35
Current children cumulated vsize (KiB) 606112
[startup+1274.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8987
/proc/meminfo: memFree=31403144/32770624 swapFree=5872/147888
[pid=8948] ppid=8945 vsize=606112 CPUtime=1274.75 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274548 0 0 0 127452 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4339945 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1274.75
Current children cumulated vsize (KiB) 606112
[startup+1275.01 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8987
/proc/meminfo: memFree=31403144/32770624 swapFree=5872/147888
[pid=8948] ppid=8945 vsize=606112 CPUtime=1274.95 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274553 0 0 0 127472 23 0 0 20 0 1 0 2978312 620658688 145099 33554432000 4194304 4832315 140724093333776 140724093331496 4340208 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 151528 145099 573 156 0 145170 0
Current children cumulated CPU time (s) 1274.95
Current children cumulated vsize (KiB) 606112
[startup+1275.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8987
/proc/meminfo: memFree=31403144/32770624 swapFree=5872/147888
[pid=8948] ppid=8945 vsize=569576 CPUtime=1275.05 cores=0,2,4,6
/proc/8948/stat : 8948 (miniBTD) R 8945 8948 3951 0 -1 4202496 274875 0 0 0 127482 23 0 0 20 0 1 0 2978312 583245824 136614 33554432000 4194304 4832315 140724093333776 140724093331496 139699897352193 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 29282304 140724093338866 140724093338946 140724093338946 140724093341645 0
/proc/8948/statm: 142394 136614 587 156 0 136036 0
Current children cumulated CPU time (s) 1275.05
Current children cumulated vsize (KiB) 569576
Child status: 0
Real time (s): 1275.15
CPU time (s): 1275.1
CPU user time (s): 1274.86
CPU system time (s): 0.237993
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 606112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1274.86
system time used= 0.237993
maximum resident set size= 580396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274896
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= 21
involuntary context switches= 1307
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73587 second user time and 4.62605 second system time
The end