runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456935-1307206396/watcher-3456935-1307206396 -o /tmp/evaluation-result-3456935-1307206396/solver-3456935-1307206396 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456935-1307206396.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.99 0.97 2/394 16149
/proc/meminfo: memFree=29998940/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 1235 0 0 0 0 0 0 0 25 0 2 0 832239344 31260672 955 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 7632 955 728 9 0 383 0
[pid=16149/tid=16150] ppid=16147 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4202560 1495 0 1 0 0 0 0 0 25 0 2 0 832239345 10681323520 2311 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.062953 s]
/proc/loadavg: 0.93 0.99 0.97 2/394 16149
/proc/meminfo: memFree=29998940/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=10468644 CPUtime=0.05 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 11549 0 1 0 4 1 0 0 25 0 14 0 832239344 10719891456 11246 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 2617161 11246 1691 9 0 2607909 0
[pid=16149/tid=16150] ppid=16147 vsize=10468644 CPUtime=0.04 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) S 16147 16149 15661 0 -1 4202560 10402 0 1 0 3 1 0 0 25 0 14 0 832239345 10719891456 11246 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800971 18446604465300795456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10468644
[startup+0.100905 s]
/proc/loadavg: 0.93 0.99 0.97 2/394 16149
/proc/meminfo: memFree=29998940/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=10540088 CPUtime=0.09 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 12938 0 1 0 8 1 0 0 25 0 18 0 832239344 10793050112 12635 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 2635022 12637 2092 9 0 2625756 0
[pid=16149/tid=16150] ppid=16147 vsize=10540088 CPUtime=0.08 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4202560 11077 0 1 0 7 1 0 0 25 0 18 0 832239345 10793050112 12638 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237278540833 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540088
[startup+0.300872 s]
/proc/loadavg: 0.93 0.99 0.97 2/394 16149
/proc/meminfo: memFree=29998940/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=10543940 CPUtime=0.48 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 16622 0 1 0 46 2 0 0 25 0 19 0 832239344 10796994560 15744 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 2635985 15745 2206 9 0 2626719 0
[pid=16149/tid=16150] ppid=16147 vsize=10543940 CPUtime=0.27 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4202560 13024 0 1 0 26 1 0 0 25 0 19 0 832239345 10796994560 15745 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 47110117681972 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543940
[startup+0.700799 s]
/proc/loadavg: 0.93 0.99 0.97 2/394 16149
/proc/meminfo: memFree=29998940/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=10556704 CPUtime=1.64 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 47893 0 1 0 158 6 0 0 25 0 19 0 832239344 10810064896 44326 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 2639176 44334 2220 9 0 2629910 0
[pid=16149/tid=16150] ppid=16147 vsize=10556704 CPUtime=0.68 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4202560 36318 0 1 0 63 5 0 0 25 0 19 0 832239345 10810064896 44339 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 46912505528255 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10556704
[startup+1.50066 s]
/proc/loadavg: 0.93 0.99 0.97 2/413 16168
/proc/meminfo: memFree=29694392/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=10556704 CPUtime=2.62 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 133226 0 1 0 246 16 0 0 25 0 19 0 832239344 10810064896 129342 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 2639176 129344 2226 9 0 2629910 0
[pid=16149/tid=16150] ppid=16147 vsize=10556704 CPUtime=1.47 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4202560 121304 0 1 0 133 14 0 0 25 0 19 0 832239345 10810064896 129344 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 46912505606416 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129344 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129344 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129344 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129344 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129344 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129348 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129354 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 129358 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832239348 10810064896 129358 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 0 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832239348 10810064896 129358 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832239348 10810064896 129358 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239350 10810064896 129358 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290703281 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=10556704 CPUtime=0.55 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15661 0 -1 4202560 3824 0 0 0 55 0 0 0 19 0 19 0 832239350 10810064896 129359 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 3 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=10556704 CPUtime=0.56 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15661 0 -1 4202560 6940 0 0 0 56 0 0 0 20 0 19 0 832239350 10810064896 129359 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239350 10810064896 129359 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832239350 10810064896 129359 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 4 0 16800975 18446604465300795456 0 0 -1 3 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832239361 10810064896 129363 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10556704
[startup+3.10137 s]
/proc/loadavg: 0.93 0.99 0.97 2/413 16168
/proc/meminfo: memFree=29321648/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=10556704 CPUtime=4.22 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 202909 0 1 0 397 25 0 0 25 0 19 0 832239344 10810064896 199026 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 2639176 199036 2226 9 0 2629910 0
[pid=16149/tid=16150] ppid=16147 vsize=10556704 CPUtime=3.07 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4202560 191001 0 1 0 284 23 0 0 25 0 19 0 832239345 10810064896 199041 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 46912505528298 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199049 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199056 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199062 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832239348 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 0 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832239348 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832239348 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239350 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290703281 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=10556704 CPUtime=0.55 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15661 0 -1 4202560 3824 0 0 0 55 0 0 0 19 0 19 0 832239350 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 3 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=10556704 CPUtime=0.56 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15661 0 -1 4202560 6940 0 0 0 56 0 0 0 20 0 19 0 832239350 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239350 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832239350 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 4 0 16800975 18446604465300795456 0 0 -1 3 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832239361 10810064896 199069 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 10556704
[startup+6.30086 s]
/proc/loadavg: 0.93 0.99 0.97 2/413 16168
/proc/meminfo: memFree=28766748/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=10556704 CPUtime=7.42 cores=1,3,5,7
/proc/16149/stat : 16149 (java) S 16147 16149 15661 0 -1 4202496 334643 0 1 0 702 40 0 0 25 0 19 0 832239344 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 2639176 330494 2227 9 0 2629910 0
[pid=16149/tid=16150] ppid=16147 vsize=10556704 CPUtime=6.28 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4202560 322718 0 1 0 589 39 0 0 25 0 19 0 832239345 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 46912505967292 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16149/tid=16152] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16152/stat : 16152 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16153] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16153/stat : 16153 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16154] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16154/stat : 16154 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16155] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16155/stat : 16155 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16156] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16156/stat : 16156 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16157] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16157/stat : 16157 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16158] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16158/stat : 16158 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330494 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16159] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16159/stat : 16159 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239347 10810064896 330495 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 5 0 0 0
[pid=16149/tid=16160] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16160/stat : 16160 (java) S 16147 16149 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832239348 10810064896 330501 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 0 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16161] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16161/stat : 16161 (java) S 16147 16149 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832239348 10810064896 330508 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16162] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16162/stat : 16162 (java) S 16147 16149 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832239348 10810064896 330514 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16163] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16163/stat : 16163 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239350 10810064896 330520 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290703281 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16164] ppid=16147 vsize=10556704 CPUtime=0.56 cores=1,3,5,7
/proc/16149/task/16164/stat : 16164 (java) S 16147 16149 15661 0 -1 4202560 3824 0 0 0 56 0 0 0 15 0 19 0 832239350 10810064896 330527 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 3 0 0 0
[pid=16149/tid=16165] ppid=16147 vsize=10556704 CPUtime=0.56 cores=1,3,5,7
/proc/16149/task/16165/stat : 16165 (java) S 16147 16149 15661 0 -1 4202560 6940 0 0 0 56 0 0 0 20 0 19 0 832239350 10810064896 330533 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16166] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16166/stat : 16166 (java) S 16147 16149 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832239350 10810064896 330535 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290695577 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
[pid=16149/tid=16167] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16167/stat : 16167 (java) S 16147 16149 15661 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 832239350 10810064896 330535 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 4 0 16800975 18446604465300795456 0 0 -1 3 0 0 0
[pid=16149/tid=16168] ppid=16147 vsize=10556704 CPUtime=0 cores=1,3,5,7
/proc/16149/task/16168/stat : 16168 (java) S 16147 16149 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832239361 10810064896 330535 33554432000 1073741824 1073778376 140735163017120 18446744073709551615 237290696192 0 4 0 16800975 18446604465300795456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 10556704
Solver just ended. Dumping a history of the last processes samples
[startup+6.70079 s]
/proc/loadavg: 0.93 0.99 0.97 2/413 16169
/proc/meminfo: memFree=28675708/32950904 swapFree=56615552/67111528
[pid=16149] ppid=16147 vsize=0 CPUtime=7.82 cores=1,3,5,7
/proc/16149/stat : 16149 (java) Z 16147 16149 15661 0 -1 4203548 342258 0 1 0 736 46 0 0 18 0 2 0 832239344 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16149/statm: 0 0 0 0 0 0 0
[pid=16149/tid=16150] ppid=16147 vsize=0 CPUtime=6.67 cores=1,3,5,7
/proc/16149/task/16150/stat : 16150 (java) R 16147 16149 15661 0 -1 4203588 330317 0 1 0 623 44 0 0 25 0 2 0 832239345 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 6.71093
CPU time (s): 7.84281
CPU user time (s): 7.36788
CPU system time (s): 0.474927
CPU usage (%): 116.866
Max. virtual memory (cumulated for all children) (KiB): 10556704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.36788
system time used= 0.474927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 342258
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 344
involuntary context switches= 72
runsolver used 0.026995 second user time and 0.073988 second system time
The end