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-4260780-1502247977/watcher-4260780-1502247977 -o /tmp/evaluation-result-4260780-1502247977/solver-4260780-1502247977 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502234590-9216 --watchdog 2580 BTD 2520 HOME/instance-4260780-1502247977.xml
pid=13384
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.04 2/184 13387
/proc/meminfo: memFree=31245624/32770624 swapFree=0/392168
[pid=13387] ppid=13384 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13387/stat : 13387 (runsolver) D 13384 13387 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 66708753 24240128 107 18446744073709551615 4194304 4338465 140731695494400 140731695492040 140115695604439 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 24403968 140731695501525 140731695501897 140731695501897 140731695505354 0
/proc/13387/statm: 5918 107 54 36 0 2156 0
[startup+0.100105 s]
/proc/loadavg: 2.00 2.01 2.04 2/184 13387
/proc/meminfo: memFree=31245624/32770624 swapFree=0/392168
[pid=13387] ppid=13384 vsize=31432 CPUtime=0.01 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 576 0 0 0 1 0 0 0 20 0 1 0 66708753 32186368 423 18446744073709551615 4194304 35031035 140733001399344 140733001399344 7403862 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 7858 423 231 7529 0 305 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31432
[startup+0.200228 s]
/proc/loadavg: 2.00 2.01 2.04 2/184 13387
/proc/meminfo: memFree=31245624/32770624 swapFree=0/392168
[pid=13387] ppid=13384 vsize=36184 CPUtime=0.11 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 1794 0 0 0 11 0 0 0 20 0 1 0 66708753 37052416 1611 18446744073709551615 4194304 35031035 140733001399344 140733001395304 4208130 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 9046 1611 231 7529 0 1493 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 36184
[startup+0.300233 s]
/proc/loadavg: 2.00 2.01 2.04 2/184 13387
/proc/meminfo: memFree=31245624/32770624 swapFree=0/392168
[pid=13387] ppid=13384 vsize=41080 CPUtime=0.21 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 3016 0 0 0 21 0 0 0 20 0 1 0 66708753 42065920 2867 18446744073709551615 4194304 35031035 140733001399344 140733001395304 4214132 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 10270 2867 231 7529 0 2717 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 41080
[startup+0.700193 s]
/proc/loadavg: 2.00 2.01 2.04 2/184 13387
/proc/meminfo: memFree=31245624/32770624 swapFree=0/392168
[pid=13387] ppid=13384 vsize=63668 CPUtime=0.6 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 8664 0 0 0 60 0 0 0 20 0 1 0 66708753 65196032 8521 18446744073709551615 4194304 35031035 140733001399344 140733001395112 4223218 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 15917 8521 258 7529 0 8364 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 63668
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 13388
/proc/meminfo: memFree=31177716/32770624 swapFree=0/391788
[pid=13387] ppid=13384 vsize=133900 CPUtime=1.4 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 26224 0 0 0 138 2 0 0 20 0 1 0 66708753 137113600 26076 18446744073709551615 4194304 35031035 140733001399344 140733001392632 4223208 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 33475 26076 258 7529 0 25922 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 133900
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 13388
/proc/meminfo: memFree=31079532/32770624 swapFree=0/391788
[pid=13387] ppid=13384 vsize=275692 CPUtime=3 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 62115 0 0 0 294 6 0 0 20 0 1 0 66708753 282308608 61531 18446744073709551615 4194304 35031035 140733001399344 140733001392632 4223233 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 68923 61531 258 7529 0 61370 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 275692
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 13388
/proc/meminfo: memFree=30787056/32770624 swapFree=0/391936
[pid=13387] ppid=13384 vsize=530948 CPUtime=6.2 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 128127 0 0 0 606 14 0 0 20 0 1 0 66708753 543690752 125393 18446744073709551615 4194304 35031035 140733001399344 140733001398040 4445140 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 132737 125393 283 7529 0 125184 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 530948
[startup+12.7003 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 13388
/proc/meminfo: memFree=30742952/32770624 swapFree=0/391936
[pid=13387] ppid=13384 vsize=530948 CPUtime=12.59 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 129504 0 0 0 1245 14 0 0 20 0 1 0 66708753 543690752 125393 18446744073709551615 4194304 35031035 140733001399344 140733001398040 4445140 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 132737 125393 283 7529 0 125184 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 530948
[startup+25.5004 s]
/proc/loadavg: 1.94 2.00 2.04 3/185 13388
/proc/meminfo: memFree=30670340/32770624 swapFree=0/391948
[pid=13387] ppid=13384 vsize=610476 CPUtime=25.4 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 264694 0 0 0 2518 22 0 0 20 0 1 0 66708753 625127424 143704 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152619 143704 296 7529 0 145066 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 610476
[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 13388
/proc/meminfo: memFree=30670572/32770624 swapFree=0/391944
[pid=13387] ppid=13384 vsize=610476 CPUtime=51 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 266736 0 0 0 5078 22 0 0 20 0 1 0 66708753 625127424 143716 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152619 143716 296 7529 0 145066 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 610476
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 13390
/proc/meminfo: memFree=30670004/32770624 swapFree=0/391944
[pid=13387] ppid=13384 vsize=610608 CPUtime=102.2 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 269452 0 0 0 10198 22 0 0 20 0 1 0 66708753 625262592 143729 18446744073709551615 4194304 35031035 140733001399344 140733001397576 4213253 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 143729 296 7529 0 145099 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 610608
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 13393
/proc/meminfo: memFree=30669564/32770624 swapFree=0/391940
[pid=13387] ppid=13384 vsize=610608 CPUtime=162.21 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 271930 0 0 0 16198 23 0 0 20 0 1 0 66708753 625262592 143738 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213239 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 143738 296 7529 0 145099 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 610608
[startup+222.306 s]
/proc/loadavg: 2.05 2.01 2.04 3/186 13396
/proc/meminfo: memFree=30669740/32770624 swapFree=0/391960
[pid=13387] ppid=13384 vsize=610608 CPUtime=222.21 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 272557 0 0 0 22198 23 0 0 20 0 1 0 66708753 625262592 143738 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213244 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 143738 296 7529 0 145099 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 610608
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 13398
/proc/meminfo: memFree=30669704/32770624 swapFree=0/391980
[pid=13387] ppid=13384 vsize=610608 CPUtime=282.21 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 273122 0 0 0 28198 23 0 0 20 0 1 0 66708753 625262592 143738 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 143738 296 7529 0 145099 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 610608
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 13401
/proc/meminfo: memFree=30666620/32770624 swapFree=0/392000
[pid=13387] ppid=13384 vsize=610608 CPUtime=342.22 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 273585 0 0 0 34199 23 0 0 20 0 1 0 66708753 625262592 144373 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213253 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144373 296 7529 0 145099 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 610608
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 13403
/proc/meminfo: memFree=30665504/32770624 swapFree=0/392024
[pid=13387] ppid=13384 vsize=610608 CPUtime=402.22 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 273865 0 0 0 40199 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 6458018 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 610608
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 13420
/proc/meminfo: memFree=30661404/32770624 swapFree=0/392056
[pid=13387] ppid=13384 vsize=610608 CPUtime=462.22 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 274136 0 0 0 46199 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213239 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 610608
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 13447
/proc/meminfo: memFree=30659492/32770624 swapFree=0/392064
[pid=13387] ppid=13384 vsize=610608 CPUtime=522.23 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 274416 0 0 0 52200 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 610608
[startup+582.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/189 13449
/proc/meminfo: memFree=30660484/32770624 swapFree=0/392096
[pid=13387] ppid=13384 vsize=610608 CPUtime=582.23 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 274687 0 0 0 58200 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 610608
################
# More data... #
################
/proc/loadavg: 2.02 2.03 2.05 3/186 13451
/proc/meminfo: memFree=30664936/32770624 swapFree=0/392112
[pid=13387] ppid=13384 vsize=610608 CPUtime=642.23 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 274956 0 0 0 64200 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213253 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 610608
[startup+702.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 13454
/proc/meminfo: memFree=30665168/32770624 swapFree=0/392128
[pid=13387] ppid=13384 vsize=610608 CPUtime=702.24 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 275226 0 0 0 70201 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213244 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 610608
[startup+762.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 13456
/proc/meminfo: memFree=30665668/32770624 swapFree=0/392144
[pid=13387] ppid=13384 vsize=610608 CPUtime=762.25 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 275496 0 0 0 76202 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4443576 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 610608
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 13458
/proc/meminfo: memFree=30665172/32770624 swapFree=0/392160
[pid=13387] ppid=13384 vsize=610608 CPUtime=822.25 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 275767 0 0 0 82202 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213258 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 610608
[startup+882.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13460
/proc/meminfo: memFree=30665172/32770624 swapFree=0/392168
[pid=13387] ppid=13384 vsize=610608 CPUtime=882.26 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 276054 0 0 0 88203 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 610608
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13523
/proc/meminfo: memFree=30666216/32770624 swapFree=0/392188
[pid=13387] ppid=13384 vsize=610608 CPUtime=942.25 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 276344 0 0 0 94202 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 610608
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 13526
/proc/meminfo: memFree=30665876/32770624 swapFree=0/392228
[pid=13387] ppid=13384 vsize=610608 CPUtime=1002.26 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 276633 0 0 0 100203 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 610608
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13542
/proc/meminfo: memFree=30661776/32770624 swapFree=0/392248
[pid=13387] ppid=13384 vsize=610608 CPUtime=1062.26 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 277240 0 0 0 106203 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213235 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 610608
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13544
/proc/meminfo: memFree=30661668/32770624 swapFree=0/392264
[pid=13387] ppid=13384 vsize=610608 CPUtime=1122.26 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 277691 0 0 0 112203 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213239 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 610608
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 13547
/proc/meminfo: memFree=30665476/32770624 swapFree=0/392264
[pid=13387] ppid=13384 vsize=610608 CPUtime=1182.27 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 278141 0 0 0 118204 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213253 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 610608
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 13549
/proc/meminfo: memFree=30665908/32770624 swapFree=0/392288
[pid=13387] ppid=13384 vsize=610608 CPUtime=1242.27 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 278593 0 0 0 124204 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213247 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 610608
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 13551
/proc/meminfo: memFree=30665296/32770624 swapFree=0/392292
[pid=13387] ppid=13384 vsize=610608 CPUtime=1302.27 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 279045 0 0 0 130204 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213232 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 610608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13553
/proc/meminfo: memFree=30665544/32770624 swapFree=0/392300
[pid=13387] ppid=13384 vsize=610608 CPUtime=1362.27 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 279537 0 0 0 136204 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213253 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 610608
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13555
/proc/meminfo: memFree=30665668/32770624 swapFree=0/392304
[pid=13387] ppid=13384 vsize=610608 CPUtime=1422.28 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 279853 0 0 0 142205 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4443679 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 610608
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13387 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1424 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13555
/proc/meminfo: memFree=30665668/32770624 swapFree=0/392304
[pid=13387] ppid=13384 vsize=610608 CPUtime=1423.97 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 279853 0 0 0 142374 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213232 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1423.97
Current children cumulated vsize (KiB) 610608
[startup+1424.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13555
/proc/meminfo: memFree=30665544/32770624 swapFree=0/392304
[pid=13387] ppid=13384 vsize=610608 CPUtime=1424.77 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 279853 0 0 0 142454 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4213200 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1424.77
Current children cumulated vsize (KiB) 610608
[startup+1425.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13555
/proc/meminfo: memFree=30665544/32770624 swapFree=0/392304
[pid=13387] ppid=13384 vsize=610608 CPUtime=1425.17 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 279863 0 0 0 142494 23 0 0 20 0 1 0 66708753 625262592 144748 18446744073709551615 4194304 35031035 140733001399344 140733001398344 6458039 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 152652 144748 296 7529 0 145099 0
Current children cumulated CPU time (s) 1425.17
Current children cumulated vsize (KiB) 610608
[startup+1425.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13555
/proc/meminfo: memFree=30665544/32770624 swapFree=0/392304
[pid=13387] ppid=13384 vsize=574056 CPUtime=1425.37 cores=0,2,4,6
/proc/13387/stat : 13387 (BTD) R 13384 13387 9153 0 -1 4202496 280269 0 0 0 142514 23 0 0 20 0 1 0 66708753 587833344 136219 18446744073709551615 4194304 35031035 140733001399344 140733001398344 4355864 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 44711936 140733001400836 140733001400912 140733001400912 140733001404369 0
/proc/13387/statm: 143514 136219 309 7529 0 135961 0
Current children cumulated CPU time (s) 1425.37
Current children cumulated vsize (KiB) 574056
Child status: 0
Real time (s): 1425.46
CPU time (s): 1425.44
CPU user time (s): 1425.2
CPU system time (s): 0.242013
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 610608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1425.2
system time used= 0.242013
maximum resident set size= 578992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280484
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= 13
involuntary context switches= 1790
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67023 second user time and 6.16477 second system time
The end