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-3459177-1307134172/watcher-3459177-1307134172 -o /tmp/evaluation-result-3459177-1307134172/solver-3459177-1307134172 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459177-1307134172.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: 2.37 2.50 3.07 2/464 17236
/proc/meminfo: memFree=31329136/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 3025 0 1 0 0 0 0 0 25 0 2 0 825015926 13833195520 2728 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3377245 2741 906 9 0 3368401 0
[pid=17236/tid=17237] ppid=17234 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 6308 0 1 0 0 0 0 0 25 0 2 0 825015926 13850947584 7124 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0844769 s]
/proc/loadavg: 2.37 2.50 3.07 2/464 17236
/proc/meminfo: memFree=31329136/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13686320 CPUtime=0.07 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 14582 0 1 0 5 2 0 0 25 0 18 0 825015926 14014791680 14280 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3405196 14295 1769 9 0 3395930 0
[pid=17236/tid=17237] ppid=17234 vsize=13620784 CPUtime=0.07 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 13406 0 1 0 5 2 0 0 25 0 18 0 825015926 13947682816 14301 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 47534231083859 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13686320
[startup+0.100413 s]
/proc/loadavg: 2.37 2.50 3.07 2/464 17236
/proc/meminfo: memFree=31329136/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13621716 CPUtime=0.11 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 15554 0 1 0 8 3 0 0 25 0 18 0 825015926 13948637184 15225 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3405429 15225 2093 9 0 3396163 0
[pid=17236/tid=17237] ppid=17234 vsize=13621716 CPUtime=0.08 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 13625 0 1 0 6 2 0 0 25 0 18 0 825015926 13948637184 15225 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 47534226603880 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621716
[startup+0.300378 s]
/proc/loadavg: 2.37 2.50 3.07 2/464 17236
/proc/meminfo: memFree=31329136/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625496 CPUtime=0.55 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 18333 0 1 0 51 4 0 0 25 0 19 0 825015926 13952507904 17178 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406374 17178 2215 9 0 3397108 0
[pid=17236/tid=17237] ppid=17234 vsize=13625496 CPUtime=0.28 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14209 0 1 0 26 2 0 0 25 0 19 0 825015926 13952507904 17178 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505647345 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13625496
[startup+0.700309 s]
/proc/loadavg: 2.37 2.50 3.07 2/464 17236
/proc/meminfo: memFree=31329136/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625496 CPUtime=1.05 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 19711 0 1 0 101 4 0 0 25 0 19 0 825015926 13952507904 18173 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406374 18173 2247 9 0 3397108 0
[pid=17236/tid=17237] ppid=17234 vsize=13625496 CPUtime=0.65 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14394 0 1 0 63 2 0 0 25 0 19 0 825015926 13952507904 18173 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505554476 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 13625496
[startup+1.50116 s]
/proc/loadavg: 2.37 2.50 3.07 4/483 17255
/proc/meminfo: memFree=31263724/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625496 CPUtime=1.88 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 20056 0 1 0 184 4 0 0 25 0 19 0 825015926 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406374 18423 2248 9 0 3397108 0
[pid=17236/tid=17237] ppid=17234 vsize=13625496 CPUtime=1.42 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14395 0 1 0 140 2 0 0 25 0 19 0 825015926 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505523028 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17236/tid=17239] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17234 17236 12983 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17240] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17241] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17234 17236 12983 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17242] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17234 17236 12983 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17243] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17244] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17245] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17234 17236 12983 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17246] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17234 17236 12983 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17247] ppid=17234 vsize=13625496 CPUtime=0.04 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17234 17236 12983 0 -1 4202560 389 0 0 0 4 0 0 0 16 0 19 0 825015929 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17248] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17234 17236 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17249] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17234 17236 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17250] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17251] ppid=17234 vsize=13625496 CPUtime=0.19 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17234 17236 12983 0 -1 4202560 1824 0 0 0 19 0 0 0 17 0 19 0 825015932 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17252] ppid=17234 vsize=13625496 CPUtime=0.18 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17234 17236 12983 0 -1 4202560 1746 0 0 0 18 0 0 0 18 0 19 0 825015932 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17253] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17254] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015932 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17255] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17255/stat : 17255 (java) S 17234 17236 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015942 13952507904 18423 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13625496
[startup+3.10088 s]
/proc/loadavg: 2.34 2.49 3.06 3/483 17255
/proc/meminfo: memFree=31261512/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625496 CPUtime=3.49 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 20347 0 1 0 345 4 0 0 25 0 19 0 825015926 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406374 18709 2248 9 0 3397108 0
[pid=17236/tid=17237] ppid=17234 vsize=13625496 CPUtime=2.95 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14400 0 1 0 293 2 0 0 25 0 19 0 825015926 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505617575 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17236/tid=17239] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17234 17236 12983 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17240] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17241] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17234 17236 12983 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17242] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17234 17236 12983 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17243] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17234 17236 12983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17244] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17234 17236 12983 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17245] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17234 17236 12983 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17246] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17234 17236 12983 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17247] ppid=17234 vsize=13625496 CPUtime=0.11 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17234 17236 12983 0 -1 4202560 612 0 0 0 11 0 0 0 16 0 19 0 825015929 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17248] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17234 17236 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17249] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17234 17236 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17250] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17251] ppid=17234 vsize=13625496 CPUtime=0.19 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17234 17236 12983 0 -1 4202560 1824 0 0 0 19 0 0 0 17 0 19 0 825015932 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17252] ppid=17234 vsize=13625496 CPUtime=0.18 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17234 17236 12983 0 -1 4202560 1746 0 0 0 18 0 0 0 18 0 19 0 825015932 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17253] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17254] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015932 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17255] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17255/stat : 17255 (java) S 17234 17236 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015942 13952507904 18709 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13625496
[startup+6.30132 s]
/proc/loadavg: 2.34 2.49 3.06 3/483 17301
/proc/meminfo: memFree=31261840/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625496 CPUtime=6.7 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 20457 0 1 0 666 4 0 0 25 0 19 0 825015926 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406374 18809 2248 9 0 3397108 0
[pid=17236/tid=17237] ppid=17234 vsize=13625496 CPUtime=6.01 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14410 0 1 0 599 2 0 0 25 0 19 0 825015926 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505538080 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17236/tid=17239] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17234 17236 12983 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17240] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17234 17236 12983 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17241] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17234 17236 12983 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17242] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17234 17236 12983 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17243] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17234 17236 12983 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17244] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17234 17236 12983 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17245] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17234 17236 12983 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17246] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17234 17236 12983 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17247] ppid=17234 vsize=13625496 CPUtime=0.24 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17234 17236 12983 0 -1 4202560 705 0 0 0 24 0 0 0 16 0 19 0 825015929 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17248] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17234 17236 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17249] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17234 17236 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17250] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17251] ppid=17234 vsize=13625496 CPUtime=0.19 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17234 17236 12983 0 -1 4202560 1824 0 0 0 19 0 0 0 17 0 19 0 825015932 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17252] ppid=17234 vsize=13625496 CPUtime=0.18 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17234 17236 12983 0 -1 4202560 1746 0 0 0 18 0 0 0 18 0 19 0 825015932 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17253] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17254] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015932 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17255] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17255/stat : 17255 (java) S 17234 17236 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015942 13952507904 18809 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 13625496
[startup+12.7012 s]
/proc/loadavg: 2.28 2.47 3.05 3/483 17347
/proc/meminfo: memFree=31259336/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625496 CPUtime=13.13 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 20498 0 1 0 1309 4 0 0 25 0 19 0 825015926 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406374 18831 2248 9 0 3397108 0
[pid=17236/tid=17237] ppid=17234 vsize=13625496 CPUtime=12.13 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14429 0 1 0 1211 2 0 0 25 0 19 0 825015926 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505626208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17236/tid=17239] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17234 17236 12983 0 -1 4202560 226 0 0 0 1 0 0 0 15 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17240] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17234 17236 12983 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17241] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17234 17236 12983 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17242] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17234 17236 12983 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17243] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17234 17236 12983 0 -1 4202560 22 0 0 0 1 0 0 0 15 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17244] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17234 17236 12983 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17245] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17234 17236 12983 0 -1 4202560 68 0 0 0 1 0 0 0 16 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17246] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17234 17236 12983 0 -1 4202560 217 0 0 0 1 0 0 0 15 0 19 0 825015928 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17247] ppid=17234 vsize=13625496 CPUtime=0.5 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17234 17236 12983 0 -1 4202560 721 0 0 0 50 0 0 0 16 0 19 0 825015929 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17248] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17234 17236 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17249] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17234 17236 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17250] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17251] ppid=17234 vsize=13625496 CPUtime=0.19 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17234 17236 12983 0 -1 4202560 1824 0 0 0 19 0 0 0 17 0 19 0 825015932 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17252] ppid=17234 vsize=13625496 CPUtime=0.18 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17234 17236 12983 0 -1 4202560 1746 0 0 0 18 0 0 0 18 0 19 0 825015932 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17253] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17254] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015932 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17255] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17255/stat : 17255 (java) S 17234 17236 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015942 13952507904 18831 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.13
Current children cumulated vsize (KiB) 13625496
Solver just ended. Dumping a history of the last processes samples
[startup+13.5011 s]
/proc/loadavg: 2.28 2.47 3.05 3/483 17347
/proc/meminfo: memFree=31259460/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625496 CPUtime=13.93 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 20514 0 1 0 1389 4 0 0 25 0 19 0 825015926 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406374 18845 2248 9 0 3397108 0
[pid=17236/tid=17237] ppid=17234 vsize=13625496 CPUtime=12.9 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14431 0 1 0 1288 2 0 0 25 0 19 0 825015926 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505538706 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17236/tid=17239] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17234 17236 12983 0 -1 4202560 226 0 0 0 1 0 0 0 16 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17240] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17234 17236 12983 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17241] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17234 17236 12983 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17242] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17234 17236 12983 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17243] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17234 17236 12983 0 -1 4202560 22 0 0 0 1 0 0 0 15 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17244] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17234 17236 12983 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17245] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17234 17236 12983 0 -1 4202560 68 0 0 0 1 0 0 0 15 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17246] ppid=17234 vsize=13625496 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17234 17236 12983 0 -1 4202560 217 0 0 0 1 0 0 0 16 0 19 0 825015928 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17247] ppid=17234 vsize=13625496 CPUtime=0.52 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17234 17236 12983 0 -1 4202560 735 0 0 0 52 0 0 0 16 0 19 0 825015929 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17248] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17234 17236 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17249] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17234 17236 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015930 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17250] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17251] ppid=17234 vsize=13625496 CPUtime=0.19 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17234 17236 12983 0 -1 4202560 1824 0 0 0 19 0 0 0 17 0 19 0 825015932 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17252] ppid=17234 vsize=13625496 CPUtime=0.18 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) S 17234 17236 12983 0 -1 4202560 1746 0 0 0 18 0 0 0 18 0 19 0 825015932 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 1 0 0 0
[pid=17236/tid=17253] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17254] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015932 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17255] ppid=17234 vsize=13625496 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17255/stat : 17255 (java) S 17234 17236 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015942 13952507904 18845 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.93
Current children cumulated vsize (KiB) 13625496
[startup+13.901 s]
/proc/loadavg: 2.28 2.47 3.05 3/483 17347
/proc/meminfo: memFree=31259460/32950928 swapFree=34365992/67111528
[pid=17236] ppid=17234 vsize=13625628 CPUtime=14.62 cores=1,3,5,7
/proc/17236/stat : 17236 (java) S 17234 17236 12983 0 -1 4202496 28012 0 1 0 1456 6 0 0 25 0 19 0 825015926 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/17236/statm: 3406407 23249 2250 9 0 3397141 0
[pid=17236/tid=17237] ppid=17234 vsize=13625628 CPUtime=13.29 cores=1,3,5,7
/proc/17236/task/17237/stat : 17237 (java) R 17234 17236 12983 0 -1 4202560 14441 0 1 0 1327 2 0 0 25 0 19 0 825015926 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 46912505679531 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=17236/tid=17239] ppid=17234 vsize=13625628 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17239/stat : 17239 (java) S 17234 17236 12983 0 -1 4202560 226 0 0 0 1 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17240] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17240/stat : 17240 (java) S 17234 17236 12983 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17241] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17241/stat : 17241 (java) S 17234 17236 12983 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17242] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17242/stat : 17242 (java) S 17234 17236 12983 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17243] ppid=17234 vsize=13625628 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17243/stat : 17243 (java) S 17234 17236 12983 0 -1 4202560 22 0 0 0 1 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17244] ppid=17234 vsize=13625628 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17244/stat : 17244 (java) S 17234 17236 12983 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17245] ppid=17234 vsize=13625628 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17245/stat : 17245 (java) S 17234 17236 12983 0 -1 4202560 68 0 0 0 1 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17246] ppid=17234 vsize=13625628 CPUtime=0.01 cores=1,3,5,7
/proc/17236/task/17246/stat : 17246 (java) S 17234 17236 12983 0 -1 4202560 217 0 0 0 1 0 0 0 15 0 19 0 825015928 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17247] ppid=17234 vsize=13625628 CPUtime=0.54 cores=1,3,5,7
/proc/17236/task/17247/stat : 17247 (java) S 17234 17236 12983 0 -1 4202560 736 0 0 0 54 0 0 0 16 0 19 0 825015929 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 0 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17248] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17248/stat : 17248 (java) S 17234 17236 12983 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 825015930 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17249] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17249/stat : 17249 (java) S 17234 17236 12983 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 825015930 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17250] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17250/stat : 17250 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606690225 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17251] ppid=17234 vsize=13625628 CPUtime=0.23 cores=1,3,5,7
/proc/17236/task/17251/stat : 17251 (java) S 17234 17236 12983 0 -1 4202560 1937 0 0 0 23 0 0 0 15 0 19 0 825015932 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 5 0 0 0
[pid=17236/tid=17252] ppid=17234 vsize=13625628 CPUtime=0.43 cores=1,3,5,7
/proc/17236/task/17252/stat : 17252 (java) R 17234 17236 12983 0 -1 4202560 9120 0 0 0 42 1 0 0 17 0 19 0 825015932 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 47534229162848 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17236/tid=17253] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17253/stat : 17253 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825015932 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606682521 0 4 0 16800975 18446604464813176640 0 0 -1 3 0 0 0
[pid=17236/tid=17254] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17254/stat : 17254 (java) S 17234 17236 12983 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825015932 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
[pid=17236/tid=17255] ppid=17234 vsize=13625628 CPUtime=0 cores=1,3,5,7
/proc/17236/task/17255/stat : 17255 (java) S 17234 17236 12983 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825015942 13952643072 23249 33554432000 1073741824 1073778376 140736072336320 18446744073709551615 235606683136 0 4 0 16800975 18446604464813176640 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.62
Current children cumulated vsize (KiB) 13625628
Child status: 20
Real time (s): 13.9864
CPU time (s): 14.7838
CPU user time (s): 14.7178
CPU system time (s): 0.065989
CPU usage (%): 105.701
Max. virtual memory (cumulated for all children) (KiB): 13686320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.7178
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28767
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= 1635
involuntary context switches= 616
runsolver used 0.058991 second user time and 0.155976 second system time
The end