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-3457941-1307166029/watcher-3457941-1307166029 -o /tmp/evaluation-result-3457941-1307166029/solver-3457941-1307166029 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457941-1307166029.opb
running on 4 cores: 0,2,4,6
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.10 2.07 2.02 2/507 28861
/proc/meminfo: memFree=26962436/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 5824 0 1 0 0 0 0 0 25 0 2 0 828201384 13850947584 5526 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3381579 5539 917 9 0 3372735 0
[pid=28861/tid=28862] ppid=28859 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 7194 0 1 0 0 0 0 0 25 0 2 0 828201384 13850947584 8010 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0722201 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28861
/proc/meminfo: memFree=26962436/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 14371 0 1 0 5 1 0 0 25 0 18 0 828201384 13880410112 14068 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3388772 14069 1754 9 0 3379506 0
[pid=28861/tid=28862] ppid=28859 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 13198 0 1 0 5 1 0 0 25 0 18 0 828201384 13880410112 14069 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46954312353304 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.101231 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28861
/proc/meminfo: memFree=26962436/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13622376 CPUtime=0.11 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 15583 0 1 0 9 2 0 0 25 0 18 0 828201384 13949313024 15279 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3405594 15279 2092 9 0 3396328 0
[pid=28861/tid=28862] ppid=28859 vsize=13622376 CPUtime=0.08 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 13675 0 1 0 7 1 0 0 18 0 18 0 828201384 13949313024 15280 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46954313788212 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622376
[startup+0.31086 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28861
/proc/meminfo: memFree=26962436/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13623572 CPUtime=0.52 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 19043 0 1 0 50 2 0 0 25 0 18 0 828201384 13950537728 18131 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3405893 18132 2201 9 0 3396627 0
[pid=28861/tid=28862] ppid=28859 vsize=13623572 CPUtime=0.3 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 15765 0 1 0 28 2 0 0 18 0 18 0 828201384 13950537728 18132 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13623572
[startup+0.701168 s]
/proc/loadavg: 2.10 2.07 2.02 2/507 28861
/proc/meminfo: memFree=26962436/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13694068 CPUtime=1.49 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 39309 0 1 0 145 4 0 0 25 0 19 0 828201384 14022725632 35474 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3423517 35474 2234 9 0 3414251 0
[pid=28861/tid=28862] ppid=28859 vsize=13694068 CPUtime=0.68 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 30443 0 1 0 66 2 0 0 19 0 19 0 828201384 14022725632 35474 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46912505775210 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13694068
[startup+1.50099 s]
/proc/loadavg: 2.10 2.07 2.02 5/526 28880
/proc/meminfo: memFree=26825888/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13694308 CPUtime=2.5 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 42168 0 1 0 246 4 0 0 25 0 19 0 828201384 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3423577 38330 2263 9 0 3414311 0
[pid=28861/tid=28862] ppid=28859 vsize=13694308 CPUtime=1.44 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 30930 0 1 0 141 3 0 0 17 0 19 0 828201384 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46912505662988 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28861/tid=28864] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28864/stat : 28864 (java) S 28859 28861 28154 0 -1 4202560 136 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28865] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28865/stat : 28865 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28866] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28866/stat : 28866 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28867] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28867/stat : 28867 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28868] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28868/stat : 28868 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28869] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28869/stat : 28869 (java) S 28859 28861 28154 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28870] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28870/stat : 28870 (java) S 28859 28861 28154 0 -1 4202560 467 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28871] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28871/stat : 28871 (java) S 28859 28861 28154 0 -1 4202560 531 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28872] ppid=28859 vsize=13694308 CPUtime=0.04 cores=0,2,4,6
/proc/28861/task/28872/stat : 28872 (java) S 28859 28861 28154 0 -1 4202560 1079 0 0 0 4 0 0 0 15 0 19 0 828201387 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 0 0 16800975 18446604446842622208 0 0 -1 0 0 0 0
[pid=28861/tid=28873] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28873/stat : 28873 (java) S 28859 28861 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28874] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28874/stat : 28874 (java) S 28859 28861 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28875] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28875/stat : 28875 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216470961 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28876] ppid=28859 vsize=13694308 CPUtime=0.49 cores=0,2,4,6
/proc/28861/task/28876/stat : 28876 (java) S 28859 28861 28154 0 -1 4202560 5053 0 0 0 48 1 0 0 20 0 19 0 828201390 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 0 0 0 0
[pid=28861/tid=28877] ppid=28859 vsize=13694308 CPUtime=0.5 cores=0,2,4,6
/proc/28861/task/28877/stat : 28877 (java) S 28859 28861 28154 0 -1 4202560 2745 0 0 0 50 0 0 0 15 0 19 0 828201390 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28878] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28878/stat : 28878 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28879] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28879/stat : 28879 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201390 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28880] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28880/stat : 28880 (java) S 28859 28861 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201437 14022971392 38330 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13694308
[startup+3.10074 s]
/proc/loadavg: 2.10 2.07 2.02 3/526 28880
/proc/meminfo: memFree=26815348/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13694308 CPUtime=4.16 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 42335 0 1 0 412 4 0 0 25 0 19 0 828201384 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3423577 38493 2263 9 0 3414311 0
[pid=28861/tid=28862] ppid=28859 vsize=13694308 CPUtime=2.94 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 30932 0 1 0 291 3 0 0 19 0 19 0 828201384 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46912505879616 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28861/tid=28864] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28864/stat : 28864 (java) S 28859 28861 28154 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28865] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28865/stat : 28865 (java) S 28859 28861 28154 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28866] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28866/stat : 28866 (java) S 28859 28861 28154 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28867] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28867/stat : 28867 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28868] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28868/stat : 28868 (java) S 28859 28861 28154 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28869] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28869/stat : 28869 (java) S 28859 28861 28154 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28870] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28870/stat : 28870 (java) S 28859 28861 28154 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28871] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28871/stat : 28871 (java) S 28859 28861 28154 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28872] ppid=28859 vsize=13694308 CPUtime=0.12 cores=0,2,4,6
/proc/28861/task/28872/stat : 28872 (java) S 28859 28861 28154 0 -1 4202560 1162 0 0 0 12 0 0 0 15 0 19 0 828201387 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 0 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28873] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28873/stat : 28873 (java) S 28859 28861 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28874] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28874/stat : 28874 (java) S 28859 28861 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28875] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28875/stat : 28875 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216470961 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28876] ppid=28859 vsize=13694308 CPUtime=0.54 cores=0,2,4,6
/proc/28861/task/28876/stat : 28876 (java) S 28859 28861 28154 0 -1 4202560 5080 0 0 0 53 1 0 0 15 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28877] ppid=28859 vsize=13694308 CPUtime=0.51 cores=0,2,4,6
/proc/28861/task/28877/stat : 28877 (java) S 28859 28861 28154 0 -1 4202560 2746 0 0 0 51 0 0 0 15 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28878] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28878/stat : 28878 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28879] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28879/stat : 28879 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28880] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28880/stat : 28880 (java) S 28859 28861 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201437 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13694308
Solver just ended. Dumping a history of the last processes samples
[startup+3.20171 s]
/proc/loadavg: 2.10 2.07 2.02 3/526 28880
/proc/meminfo: memFree=26815348/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13694308 CPUtime=4.26 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 42335 0 1 0 422 4 0 0 25 0 19 0 828201384 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3423577 38493 2263 9 0 3414311 0
[pid=28861/tid=28862] ppid=28859 vsize=13694308 CPUtime=3.04 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 30932 0 1 0 301 3 0 0 19 0 19 0 828201384 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46912505901183 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28861/tid=28864] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28864/stat : 28864 (java) S 28859 28861 28154 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28865] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28865/stat : 28865 (java) S 28859 28861 28154 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28866] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28866/stat : 28866 (java) S 28859 28861 28154 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28867] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28867/stat : 28867 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28868] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28868/stat : 28868 (java) S 28859 28861 28154 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28869] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28869/stat : 28869 (java) S 28859 28861 28154 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28870] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28870/stat : 28870 (java) S 28859 28861 28154 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28871] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28871/stat : 28871 (java) S 28859 28861 28154 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28872] ppid=28859 vsize=13694308 CPUtime=0.12 cores=0,2,4,6
/proc/28861/task/28872/stat : 28872 (java) S 28859 28861 28154 0 -1 4202560 1162 0 0 0 12 0 0 0 15 0 19 0 828201387 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 0 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28873] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28873/stat : 28873 (java) S 28859 28861 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28874] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28874/stat : 28874 (java) S 28859 28861 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28875] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28875/stat : 28875 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216470961 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28876] ppid=28859 vsize=13694308 CPUtime=0.54 cores=0,2,4,6
/proc/28861/task/28876/stat : 28876 (java) S 28859 28861 28154 0 -1 4202560 5080 0 0 0 53 1 0 0 15 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28877] ppid=28859 vsize=13694308 CPUtime=0.51 cores=0,2,4,6
/proc/28861/task/28877/stat : 28877 (java) S 28859 28861 28154 0 -1 4202560 2746 0 0 0 51 0 0 0 15 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28878] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28878/stat : 28878 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28879] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28879/stat : 28879 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201390 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28880] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28880/stat : 28880 (java) S 28859 28861 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201437 14022971392 38493 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 13694308
[startup+3.60166 s]
/proc/loadavg: 2.10 2.07 2.02 3/505 28884
/proc/meminfo: memFree=27037848/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13694308 CPUtime=4.67 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 42384 0 1 0 462 5 0 0 25 0 19 0 828201384 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3423577 38540 2263 9 0 3414311 0
[pid=28861/tid=28862] ppid=28859 vsize=13694308 CPUtime=3.4 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 30934 0 1 0 337 3 0 0 19 0 19 0 828201384 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46912505778416 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28861/tid=28864] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28864/stat : 28864 (java) S 28859 28861 28154 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28865] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28865/stat : 28865 (java) S 28859 28861 28154 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 0 0 0 0
[pid=28861/tid=28866] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28866/stat : 28866 (java) S 28859 28861 28154 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28867] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28867/stat : 28867 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28868] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28868/stat : 28868 (java) S 28859 28861 28154 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 0 0 0 0
[pid=28861/tid=28869] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28869/stat : 28869 (java) S 28859 28861 28154 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28870] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28870/stat : 28870 (java) S 28859 28861 28154 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28871] ppid=28859 vsize=13694308 CPUtime=0.01 cores=0,2,4,6
/proc/28861/task/28871/stat : 28871 (java) S 28859 28861 28154 0 -1 4202560 533 0 0 0 1 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28872] ppid=28859 vsize=13694308 CPUtime=0.16 cores=0,2,4,6
/proc/28861/task/28872/stat : 28872 (java) S 28859 28861 28154 0 -1 4202560 1205 0 0 0 16 0 0 0 15 0 19 0 828201387 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 0 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28873] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28873/stat : 28873 (java) S 28859 28861 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28874] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28874/stat : 28874 (java) S 28859 28861 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28875] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28875/stat : 28875 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216470961 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28876] ppid=28859 vsize=13694308 CPUtime=0.54 cores=0,2,4,6
/proc/28861/task/28876/stat : 28876 (java) S 28859 28861 28154 0 -1 4202560 5080 0 0 0 53 1 0 0 15 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28877] ppid=28859 vsize=13694308 CPUtime=0.51 cores=0,2,4,6
/proc/28861/task/28877/stat : 28877 (java) S 28859 28861 28154 0 -1 4202560 2746 0 0 0 51 0 0 0 15 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28878] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28878/stat : 28878 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28879] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28879/stat : 28879 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28880] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28880/stat : 28880 (java) S 28859 28861 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201437 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 13694308
[startup+3.70164 s]
/proc/loadavg: 2.10 2.07 2.02 3/505 28884
/proc/meminfo: memFree=27037848/32951124 swapFree=63649284/67111528
[pid=28861] ppid=28859 vsize=13694308 CPUtime=4.77 cores=0,2,4,6
/proc/28861/stat : 28861 (java) S 28859 28861 28154 0 -1 4202496 42384 0 1 0 472 5 0 0 25 0 19 0 828201384 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28861/statm: 3423577 38540 2263 9 0 3414311 0
[pid=28861/tid=28862] ppid=28859 vsize=13694308 CPUtime=3.5 cores=0,2,4,6
/proc/28861/task/28862/stat : 28862 (java) R 28859 28861 28154 0 -1 4202560 30934 0 1 0 347 3 0 0 19 0 19 0 828201384 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 46912505662767 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28861/tid=28864] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28864/stat : 28864 (java) S 28859 28861 28154 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28865] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28865/stat : 28865 (java) S 28859 28861 28154 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 0 0 0 0
[pid=28861/tid=28866] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28866/stat : 28866 (java) S 28859 28861 28154 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28867] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28867/stat : 28867 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28868] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28868/stat : 28868 (java) S 28859 28861 28154 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 0 0 0 0
[pid=28861/tid=28869] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28869/stat : 28869 (java) S 28859 28861 28154 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28870] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28870/stat : 28870 (java) S 28859 28861 28154 0 -1 4202560 467 0 0 0 0 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28871] ppid=28859 vsize=13694308 CPUtime=0.01 cores=0,2,4,6
/proc/28861/task/28871/stat : 28871 (java) S 28859 28861 28154 0 -1 4202560 533 0 0 0 1 0 0 0 15 0 19 0 828201386 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28872] ppid=28859 vsize=13694308 CPUtime=0.16 cores=0,2,4,6
/proc/28861/task/28872/stat : 28872 (java) S 28859 28861 28154 0 -1 4202560 1205 0 0 0 16 0 0 0 15 0 19 0 828201387 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 0 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28873] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28873/stat : 28873 (java) S 28859 28861 28154 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28874] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28874/stat : 28874 (java) S 28859 28861 28154 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 828201388 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28875] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28875/stat : 28875 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216470961 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28876] ppid=28859 vsize=13694308 CPUtime=0.54 cores=0,2,4,6
/proc/28861/task/28876/stat : 28876 (java) S 28859 28861 28154 0 -1 4202560 5080 0 0 0 53 1 0 0 15 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
[pid=28861/tid=28877] ppid=28859 vsize=13694308 CPUtime=0.51 cores=0,2,4,6
/proc/28861/task/28877/stat : 28877 (java) S 28859 28861 28154 0 -1 4202560 2746 0 0 0 51 0 0 0 15 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 2 0 0 0
[pid=28861/tid=28878] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28878/stat : 28878 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463257 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28879] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28879/stat : 28879 (java) S 28859 28861 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828201390 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 4 0 0 0
[pid=28861/tid=28880] ppid=28859 vsize=13694308 CPUtime=0 cores=0,2,4,6
/proc/28861/task/28880/stat : 28880 (java) S 28859 28861 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828201437 14022971392 38540 33554432000 1073741824 1073778376 140734555367664 18446744073709551615 210216463872 0 4 0 16800975 18446604446842622208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 13694308
Child status: 30
Real time (s): 3.75662
CPU time (s): 4.82827
CPU user time (s): 4.77027
CPU system time (s): 0.057991
CPU usage (%): 128.527
Max. virtual memory (cumulated for all children) (KiB): 13694308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.77027
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42403
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= 513
involuntary context switches= 131
runsolver used 0.026995 second user time and 0.048992 second system time
The end