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-3458316-1307158773/watcher-3458316-1307158773 -o /tmp/evaluation-result-3458316-1307158773/solver-3458316-1307158773 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458316-1307158773.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.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 3519 0 1 0 0 0 0 0 25 0 2 0 827475842 13833195520 3220 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3377245 3234 906 9 0 3368401 0
[pid=27728/tid=27729] ppid=27726 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 4760 0 1 0 0 0 0 0 25 0 2 0 827475842 13850947584 5576 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.054891 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 13876 0 1 0 3 1 0 0 25 0 13 0 827475842 13874667520 13572 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3387370 13573 1681 9 0 3378118 0
[pid=27728/tid=27729] ppid=27726 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 12729 0 1 0 3 1 0 0 25 0 13 0 827475842 13874667520 13573 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216474059 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480
[startup+0.100794 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13621808 CPUtime=0.1 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 15490 0 1 0 9 1 0 0 25 0 18 0 827475842 13948731392 15157 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3405452 15157 2093 9 0 3396186 0
[pid=27728/tid=27729] ppid=27726 vsize=13621808 CPUtime=0.08 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 13536 0 1 0 7 1 0 0 25 0 18 0 827475842 13948731392 15157 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 47061635174307 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621808
[startup+0.300763 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13622848 CPUtime=0.45 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 17843 0 1 0 43 2 0 0 25 0 18 0 827475842 13949796352 17387 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3405712 17388 2218 9 0 3396446 0
[pid=27728/tid=27729] ppid=27726 vsize=13622848 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 15179 0 1 0 26 2 0 0 25 0 18 0 827475842 13949796352 17388 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505547110 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13622848
[startup+0.700744 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13636348 CPUtime=1.51 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 44353 0 1 0 144 7 0 0 25 0 18 0 827475842 13963620352 40572 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409087 40577 2235 9 0 3399821 0
[pid=27728/tid=27729] ppid=27726 vsize=13636348 CPUtime=0.68 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 33420 0 1 0 62 6 0 0 25 0 18 0 827475842 13963620352 40579 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505603576 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13636348
[startup+1.5016 s]
/proc/loadavg: 2.29 2.09 2.02 3/526 27747
/proc/meminfo: memFree=26890676/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=2.77 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 50118 0 1 0 269 8 0 0 25 0 19 0 827475842 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 45211 2244 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1.48 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 37907 0 1 0 142 6 0 0 25 0 19 0 827475842 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912506119350 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.63 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5341 0 0 0 63 0 0 0 15 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.63 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5708 0 0 0 63 0 0 0 15 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 13637376
[startup+3.10134 s]
/proc/loadavg: 2.29 2.09 2.02 3/526 27747
/proc/meminfo: memFree=26883980/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=4.39 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 50790 0 1 0 431 8 0 0 25 0 19 0 827475842 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 45881 2245 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=3.08 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 38571 0 1 0 301 7 0 0 18 0 19 0 827475842 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505915365 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827475846 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.63 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5341 0 0 0 63 0 0 0 15 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.65 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5715 0 0 0 65 0 0 0 15 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13637376
[startup+6.30081 s]
/proc/loadavg: 2.51 2.14 2.04 3/526 27747
/proc/meminfo: memFree=26806484/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=7.69 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 69764 0 1 0 759 10 0 0 25 0 19 0 827475842 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 64828 2270 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=6.09 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39415 0 1 0 602 7 0 0 18 0 19 0 827475842 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912506029740 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.02 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 1773 0 0 0 2 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.03 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 3060 0 0 0 3 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.04 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 3090 0 0 0 4 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=0.14 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 9881 0 0 0 14 0 0 0 15 0 19 0 827475846 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.64 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5342 0 0 0 64 0 0 0 15 0 19 0 827475848 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.67 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5721 0 0 0 67 0 0 0 15 0 19 0 827475848 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.3 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 30 0 0 0 16 0 19 0 827475845 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 16 0 19 0 827475845 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.37 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8226 0 0 0 36 1 0 0 15 0 19 0 827475845 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.05 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 21960 0 0 0 903 2 0 0 15 0 19 0 827475846 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.41
Current children cumulated vsize (KiB) 13637376
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/526 27852
/proc/meminfo: memFree=26651336/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=1725.49 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 109793 0 1 0 172532 17 0 0 25 0 19 0 827475842 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 104557 2271 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1712.24 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39485 0 1 0 171217 7 0 0 25 0 19 0 827475842 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912506052791 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0.29 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 2805 0 0 0 29 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 3471 0 0 0 28 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0.27 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 2304 0 0 0 27 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0.3 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 3792 0 0 0 30 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 5054 0 0 0 27 1 0 0 16 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.33 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 33 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.4 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8226 0 0 0 39 1 0 0 16 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.25 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 22070 0 0 0 923 2 0 0 15 0 19 0 827475846 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.49
Current children cumulated vsize (KiB) 13637376
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/526 27854
/proc/meminfo: memFree=26648056/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=1785.53 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 110321 0 1 0 178536 17 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 105078 2271 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1772.08 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39486 0 1 0 177201 7 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505926480 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 2811 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0.29 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 3471 0 0 0 29 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0.27 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 2304 0 0 0 27 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 3792 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 5054 0 0 0 27 1 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.33 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 33 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.41 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8227 0 0 0 40 1 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.4 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 22586 0 0 0 938 2 0 0 15 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 13637376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/526 27854
/proc/meminfo: memFree=26648156/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=1800.05 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 110321 0 1 0 179988 17 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 105078 2271 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1786.6 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39486 0 1 0 178653 7 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505951870 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 2811 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0.29 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 3471 0 0 0 29 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0.27 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 2304 0 0 0 27 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 3792 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 5054 0 0 0 27 1 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.33 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 33 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.41 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8227 0 0 0 40 1 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.4 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 22586 0 0 0 938 2 0 0 15 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13637376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.89
CPU time (s): 1800.17
CPU user time (s): 1799.98
CPU system time (s): 0.19297
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 13637376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110366
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= 38759
involuntary context switches= 6289
runsolver used 8.89965 second user time and 20.5469 second system time
The end