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-3479387-1307450461/watcher-3479387-1307450461 -o /tmp/evaluation-result-3479387-1307450461/solver-3479387-1307450461 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3479387-1307450461.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: 1.28 1.79 1.88 3/483 16530
/proc/meminfo: memFree=24619164/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 1316 0 0 0 0 0 0 0 24 0 2 0 935276764 36646912 1018 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 8947 1018 782 9 0 386 0
[pid=16530/tid=16532] ppid=16528 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 5378 0 1 0 0 0 0 0 25 0 2 0 935276765 13850947584 6195 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.113031 s]
/proc/loadavg: 1.28 1.79 1.88 3/483 16530
/proc/meminfo: memFree=24619164/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13621764 CPUtime=0.12 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 15457 0 1 0 10 2 0 0 24 0 18 0 935276764 13948686336 15154 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3405441 15154 2108 9 0 3396175 0
[pid=16530/tid=16532] ppid=16528 vsize=13621764 CPUtime=0.09 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 13676 0 1 0 8 1 0 0 23 0 18 0 935276765 13948686336 15154 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917220811 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13621764
[startup+0.210637 s]
/proc/loadavg: 1.28 1.79 1.88 3/483 16530
/proc/meminfo: memFree=24619164/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13623488 CPUtime=0.29 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 17105 0 1 0 27 2 0 0 24 0 18 0 935276764 13950451712 16449 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3405872 16449 2175 9 0 3396606 0
[pid=16530/tid=16532] ppid=16528 vsize=13623488 CPUtime=0.18 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 14214 0 1 0 17 1 0 0 23 0 18 0 935276765 13950451712 16449 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 47006090987539 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13623488
[startup+0.300994 s]
/proc/loadavg: 1.28 1.79 1.88 3/483 16530
/proc/meminfo: memFree=24619164/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13623796 CPUtime=0.44 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 18848 0 1 0 42 2 0 0 24 0 18 0 935276764 13950767104 18105 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3405949 18105 2200 9 0 3396683 0
[pid=16530/tid=16532] ppid=16528 vsize=13623796 CPUtime=0.25 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 15699 0 1 0 23 2 0 0 23 0 18 0 935276765 13950767104 18105 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 46912505164239 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13623796
[startup+0.700982 s]
/proc/loadavg: 1.28 1.79 1.88 3/483 16530
/proc/meminfo: memFree=24619164/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13626936 CPUtime=1.17 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 23634 0 1 0 114 3 0 0 24 0 19 0 935276764 13953982464 20358 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3406734 20358 2219 9 0 3397468 0
[pid=16530/tid=16532] ppid=16528 vsize=13626936 CPUtime=0.58 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 16294 0 1 0 56 2 0 0 25 0 19 0 935276765 13953982464 20358 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 47006093085523 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13626936
[startup+1.50077 s]
/proc/loadavg: 1.42 1.81 1.88 6/520 16567
/proc/meminfo: memFree=24183528/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13626936 CPUtime=1.98 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 24131 0 1 0 195 3 0 0 24 0 19 0 935276764 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3406734 20854 2221 9 0 3397468 0
[pid=16530/tid=16532] ppid=16528 vsize=13626936 CPUtime=1.38 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 16786 0 1 0 136 2 0 0 18 0 19 0 935276765 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 46912505785129 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16530/tid=16543] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16543/stat : 16543 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16544] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16544/stat : 16544 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16545] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16545/stat : 16545 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16546] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16546/stat : 16546 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16547] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16547/stat : 16547 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16548] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16548/stat : 16548 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16549] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16549/stat : 16549 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16550] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16550/stat : 16550 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16553] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16553/stat : 16553 (java) S 16528 16530 16073 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 0 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16554] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16554/stat : 16554 (java) S 16528 16530 16073 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 935276768 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16555] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16555/stat : 16555 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276768 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16561] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16561/stat : 16561 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 935276770 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917217713 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16562] ppid=16528 vsize=13626936 CPUtime=0.26 cores=1,3,5,7
/proc/16530/task/16562/stat : 16562 (java) S 16528 16530 16073 0 -1 4202560 1480 0 0 0 26 0 0 0 17 0 19 0 935276770 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16563] ppid=16528 vsize=13626936 CPUtime=0.32 cores=1,3,5,7
/proc/16530/task/16563/stat : 16563 (java) S 16528 16530 16073 0 -1 4202560 4705 0 0 0 32 0 0 0 15 0 19 0 935276770 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16564] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16564/stat : 16564 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 935276770 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16565] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16565/stat : 16565 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 935276770 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16566] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16566/stat : 16566 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276798 13953982464 20854 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13626936
[startup+3.10148 s]
/proc/loadavg: 1.42 1.81 1.88 5/520 16567
/proc/meminfo: memFree=24178328/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13626936 CPUtime=3.59 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 25047 0 1 0 356 3 0 0 24 0 19 0 935276764 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3406734 21770 2221 9 0 3397468 0
[pid=16530/tid=16532] ppid=16528 vsize=13626936 CPUtime=2.98 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 17702 0 1 0 296 2 0 0 21 0 19 0 935276765 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 46912505634977 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16530/tid=16543] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16543/stat : 16543 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16544] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16544/stat : 16544 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16545] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16545/stat : 16545 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16546] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16546/stat : 16546 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16547] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16547/stat : 16547 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16548] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16548/stat : 16548 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16549] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16549/stat : 16549 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16550] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16550/stat : 16550 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935276767 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16553] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16553/stat : 16553 (java) S 16528 16530 16073 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 935276768 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 0 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16554] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16554/stat : 16554 (java) S 16528 16530 16073 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 935276768 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16555] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16555/stat : 16555 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276768 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16561] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16561/stat : 16561 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 935276770 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917217713 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16562] ppid=16528 vsize=13626936 CPUtime=0.26 cores=1,3,5,7
/proc/16530/task/16562/stat : 16562 (java) S 16528 16530 16073 0 -1 4202560 1480 0 0 0 26 0 0 0 17 0 19 0 935276770 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16563] ppid=16528 vsize=13626936 CPUtime=0.32 cores=1,3,5,7
/proc/16530/task/16563/stat : 16563 (java) S 16528 16530 16073 0 -1 4202560 4705 0 0 0 32 0 0 0 15 0 19 0 935276770 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16564] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16564/stat : 16564 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 935276770 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16565] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16565/stat : 16565 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 935276770 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16566] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16566/stat : 16566 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276798 13953982464 21770 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13626936
[startup+6.30089 s]
/proc/loadavg: 1.42 1.81 1.88 5/520 16567
/proc/meminfo: memFree=24144268/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13626936 CPUtime=6.86 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 31215 0 1 0 683 3 0 0 24 0 19 0 935276764 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3406734 26890 2251 9 0 3397468 0
[pid=16530/tid=16532] ppid=16528 vsize=13626936 CPUtime=6.15 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 19432 0 1 0 613 2 0 0 25 0 19 0 935276765 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 46912505674512 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16530/tid=16543] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16543/stat : 16543 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16544] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16544/stat : 16544 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16545] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16545/stat : 16545 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16546] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16546/stat : 16546 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16547] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16547/stat : 16547 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16548] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16548/stat : 16548 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16549] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16549/stat : 16549 (java) S 16528 16530 16073 0 -1 4202560 888 0 0 0 0 0 0 0 18 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16550] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16550/stat : 16550 (java) S 16528 16530 16073 0 -1 4202560 1069 0 0 0 0 0 0 0 18 0 19 0 935276767 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16553] ppid=16528 vsize=13626936 CPUtime=0.01 cores=1,3,5,7
/proc/16530/task/16553/stat : 16553 (java) S 16528 16530 16073 0 -1 4202560 1951 0 0 0 1 0 0 0 15 0 19 0 935276768 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 0 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16554] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16554/stat : 16554 (java) S 16528 16530 16073 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16555] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16555/stat : 16555 (java) S 16528 16530 16073 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16561] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16561/stat : 16561 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 935276770 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917217713 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16562] ppid=16528 vsize=13626936 CPUtime=0.29 cores=1,3,5,7
/proc/16530/task/16562/stat : 16562 (java) S 16528 16530 16073 0 -1 4202560 1497 0 0 0 29 0 0 0 15 0 19 0 935276770 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16563] ppid=16528 vsize=13626936 CPUtime=0.36 cores=1,3,5,7
/proc/16530/task/16563/stat : 16563 (java) S 16528 16530 16073 0 -1 4202560 5221 0 0 0 36 0 0 0 15 0 19 0 935276770 13953982464 26890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=16530/tid=16548] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16548/stat : 16548 (java) S 16528 16530 16073 0 -1 4202560 767 0 0 0 16 0 0 0 16 0 19 0 935276767 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16549] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16549/stat : 16549 (java) S 16528 16530 16073 0 -1 4202560 1791 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 3 0 0 0
[pid=16530/tid=16550] ppid=16528 vsize=13626936 CPUtime=0.19 cores=1,3,5,7
/proc/16530/task/16550/stat : 16550 (java) S 16528 16530 16073 0 -1 4202560 3864 0 0 0 19 0 0 0 15 0 19 0 935276767 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16553] ppid=16528 vsize=13626936 CPUtime=3.47 cores=1,3,5,7
/proc/16530/task/16553/stat : 16553 (java) S 16528 16530 16073 0 -1 4202560 11061 0 0 0 346 1 0 0 15 0 19 0 935276768 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 0 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16554] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16554/stat : 16554 (java) S 16528 16530 16073 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16555] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16555/stat : 16555 (java) S 16528 16530 16073 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16561] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16561/stat : 16561 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 935276770 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917217713 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16562] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16562/stat : 16562 (java) S 16528 16530 16073 0 -1 4202560 1514 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16563] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16563/stat : 16563 (java) S 16528 16530 16073 0 -1 4202560 5221 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16564] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16564/stat : 16564 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 935276770 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16565] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16565/stat : 16565 (java) S 16528 16530 16073 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 935276770 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16566] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16566/stat : 16566 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276798 13953982464 49886 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.89
Current children cumulated vsize (KiB) 13626936
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.97 5/520 16624
/proc/meminfo: memFree=23958724/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13626936 CPUtime=1783.91 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 54691 0 1 0 178382 9 0 0 24 0 19 0 935276764 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3406734 49890 2252 9 0 3397468 0
[pid=16530/tid=16532] ppid=16528 vsize=13626936 CPUtime=1778.12 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 21774 0 1 0 177809 3 0 0 25 0 19 0 935276765 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 46912505629608 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16530/tid=16543] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16543/stat : 16543 (java) S 16528 16530 16073 0 -1 4202560 2838 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16544] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16544/stat : 16544 (java) S 16528 16530 16073 0 -1 4202560 669 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16545] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16545/stat : 16545 (java) S 16528 16530 16073 0 -1 4202560 1600 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16546] ppid=16528 vsize=13626936 CPUtime=0.18 cores=1,3,5,7
/proc/16530/task/16546/stat : 16546 (java) S 16528 16530 16073 0 -1 4202560 987 0 0 0 18 0 0 0 16 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16547] ppid=16528 vsize=13626936 CPUtime=0.17 cores=1,3,5,7
/proc/16530/task/16547/stat : 16547 (java) S 16528 16530 16073 0 -1 4202560 1350 0 0 0 17 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 3 0 0 0
[pid=16530/tid=16548] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16548/stat : 16548 (java) S 16528 16530 16073 0 -1 4202560 767 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16549] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16549/stat : 16549 (java) S 16528 16530 16073 0 -1 4202560 1791 0 0 0 16 0 0 0 16 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 3 0 0 0
[pid=16530/tid=16550] ppid=16528 vsize=13626936 CPUtime=0.19 cores=1,3,5,7
/proc/16530/task/16550/stat : 16550 (java) S 16528 16530 16073 0 -1 4202560 3864 0 0 0 19 0 0 0 16 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16553] ppid=16528 vsize=13626936 CPUtime=3.58 cores=1,3,5,7
/proc/16530/task/16553/stat : 16553 (java) S 16528 16530 16073 0 -1 4202560 11063 0 0 0 357 1 0 0 15 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 0 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16554] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16554/stat : 16554 (java) S 16528 16530 16073 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16555] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16555/stat : 16555 (java) S 16528 16530 16073 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16561] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16561/stat : 16561 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917217713 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16562] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16562/stat : 16562 (java) S 16528 16530 16073 0 -1 4202560 1514 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16563] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16563/stat : 16563 (java) S 16528 16530 16073 0 -1 4202560 5221 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16564] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16564/stat : 16564 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16565] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16565/stat : 16565 (java) S 16528 16530 16073 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16566] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16566/stat : 16566 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276798 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.91
Current children cumulated vsize (KiB) 13626936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.4 s]
/proc/loadavg: 2.03 2.01 1.97 3/520 16624
/proc/meminfo: memFree=23958584/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13626936 CPUtime=1800.02 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 54696 0 1 0 179993 9 0 0 24 0 19 0 935276764 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3406734 49890 2252 9 0 3397468 0
[pid=16530/tid=16532] ppid=16528 vsize=13626936 CPUtime=1794.22 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 21775 0 1 0 179419 3 0 0 25 0 19 0 935276765 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 46912505674523 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16530/tid=16543] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16543/stat : 16543 (java) S 16528 16530 16073 0 -1 4202560 2838 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16544] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16544/stat : 16544 (java) S 16528 16530 16073 0 -1 4202560 669 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16545] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16545/stat : 16545 (java) S 16528 16530 16073 0 -1 4202560 1600 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16546] ppid=16528 vsize=13626936 CPUtime=0.18 cores=1,3,5,7
/proc/16530/task/16546/stat : 16546 (java) S 16528 16530 16073 0 -1 4202560 987 0 0 0 18 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16547] ppid=16528 vsize=13626936 CPUtime=0.17 cores=1,3,5,7
/proc/16530/task/16547/stat : 16547 (java) S 16528 16530 16073 0 -1 4202560 1350 0 0 0 17 0 0 0 16 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 3 0 0 0
[pid=16530/tid=16548] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16548/stat : 16548 (java) S 16528 16530 16073 0 -1 4202560 767 0 0 0 16 0 0 0 16 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16549] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16549/stat : 16549 (java) S 16528 16530 16073 0 -1 4202560 1791 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 3 0 0 0
[pid=16530/tid=16550] ppid=16528 vsize=13626936 CPUtime=0.19 cores=1,3,5,7
/proc/16530/task/16550/stat : 16550 (java) S 16528 16530 16073 0 -1 4202560 3864 0 0 0 19 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16553] ppid=16528 vsize=13626936 CPUtime=3.6 cores=1,3,5,7
/proc/16530/task/16553/stat : 16553 (java) S 16528 16530 16073 0 -1 4202560 11065 0 0 0 359 1 0 0 15 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 0 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16554] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16554/stat : 16554 (java) S 16528 16530 16073 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16555] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16555/stat : 16555 (java) S 16528 16530 16073 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16561] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16561/stat : 16561 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917217713 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16562] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16562/stat : 16562 (java) S 16528 16530 16073 0 -1 4202560 1514 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16563] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16563/stat : 16563 (java) S 16528 16530 16073 0 -1 4202560 5221 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16564] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16564/stat : 16564 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16565] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16565/stat : 16565 (java) S 16528 16530 16073 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16566] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16566/stat : 16566 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276798 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13626936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.4 s]
/proc/loadavg: 2.03 2.01 1.97 3/520 16624
/proc/meminfo: memFree=23958584/32950928 swapFree=61542368/67111528
[pid=16530] ppid=16528 vsize=13626936 CPUtime=1800.02 cores=1,3,5,7
/proc/16530/stat : 16530 (java) S 16528 16530 16073 0 -1 4202496 54696 0 1 0 179993 9 0 0 24 0 19 0 935276764 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/16530/statm: 3406734 49890 2252 9 0 3397468 0
[pid=16530/tid=16532] ppid=16528 vsize=13626936 CPUtime=1794.22 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (java) R 16528 16530 16073 0 -1 4202560 21775 0 1 0 179419 3 0 0 25 0 19 0 935276765 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 46912505674523 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16530/tid=16543] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16543/stat : 16543 (java) S 16528 16530 16073 0 -1 4202560 2838 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16544] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16544/stat : 16544 (java) S 16528 16530 16073 0 -1 4202560 669 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16545] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16545/stat : 16545 (java) S 16528 16530 16073 0 -1 4202560 1600 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16546] ppid=16528 vsize=13626936 CPUtime=0.18 cores=1,3,5,7
/proc/16530/task/16546/stat : 16546 (java) S 16528 16530 16073 0 -1 4202560 987 0 0 0 18 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16547] ppid=16528 vsize=13626936 CPUtime=0.17 cores=1,3,5,7
/proc/16530/task/16547/stat : 16547 (java) S 16528 16530 16073 0 -1 4202560 1350 0 0 0 17 0 0 0 16 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 3 0 0 0
[pid=16530/tid=16548] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16548/stat : 16548 (java) S 16528 16530 16073 0 -1 4202560 767 0 0 0 16 0 0 0 16 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16549] ppid=16528 vsize=13626936 CPUtime=0.16 cores=1,3,5,7
/proc/16530/task/16549/stat : 16549 (java) S 16528 16530 16073 0 -1 4202560 1791 0 0 0 16 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 3 0 0 0
[pid=16530/tid=16550] ppid=16528 vsize=13626936 CPUtime=0.19 cores=1,3,5,7
/proc/16530/task/16550/stat : 16550 (java) S 16528 16530 16073 0 -1 4202560 3864 0 0 0 19 0 0 0 15 0 19 0 935276767 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16553] ppid=16528 vsize=13626936 CPUtime=3.6 cores=1,3,5,7
/proc/16530/task/16553/stat : 16553 (java) S 16528 16530 16073 0 -1 4202560 11065 0 0 0 359 1 0 0 15 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 0 0 16800975 18446604469122352192 0 0 -1 1 0 0 0
[pid=16530/tid=16554] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16554/stat : 16554 (java) S 16528 16530 16073 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16555] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16555/stat : 16555 (java) S 16528 16530 16073 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 935276768 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16561] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16561/stat : 16561 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917217713 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16562] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16562/stat : 16562 (java) S 16528 16530 16073 0 -1 4202560 1514 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
[pid=16530/tid=16563] ppid=16528 vsize=13626936 CPUtime=0.37 cores=1,3,5,7
/proc/16530/task/16563/stat : 16563 (java) S 16528 16530 16073 0 -1 4202560 5221 0 0 0 37 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16564] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16564/stat : 16564 (java) S 16528 16530 16073 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210009 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16565] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16565/stat : 16565 (java) S 16528 16530 16073 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 935276770 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 7 0 0 0
[pid=16530/tid=16566] ppid=16528 vsize=13626936 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16566/stat : 16566 (java) S 16528 16530 16073 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 935276798 13953982464 49890 33554432000 1073741824 1073778376 140736057128960 18446744073709551615 260917210624 0 4 0 16800975 18446604469122352192 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13626936
Child status: 143
Real time (s): 1798.47
CPU time (s): 1800.12
CPU user time (s): 1800.02
CPU system time (s): 0.103984
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 13627620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54782
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= 41479
involuntary context switches= 8312
runsolver used 8.50271 second user time and 20.1609 second system time
The end