runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4101810-1466216099/watcher-4101810-1466216099 -o /tmp/evaluation-result-4101810-1466216099/solver-4101810-1466216099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466206051-22606 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101810-1466216099.opb
pid=27930
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: 4.10 4.06 4.08 4/197 27933
/proc/meminfo: memFree=30185560/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/27933/stat : 27933 (java) R 27930 27933 22589 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 1 0 23655335 9445376 91 33554432000 1073741824 1073778376 140733706839120 140733706836248 211449591223 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2306 93 75 9 0 38 0
[startup+0.100113 s]
/proc/loadavg: 4.10 4.06 4.08 4/197 27933
/proc/meminfo: memFree=30185560/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 4458 0 1 0 8 1 0 0 20 0 18 0 23655335 9787879424 5584 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2389619 5584 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200222 s]
/proc/loadavg: 4.10 4.06 4.08 4/197 27933
/proc/meminfo: memFree=30185560/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 5080 0 1 0 27 1 0 0 20 0 18 0 23655335 9787879424 6434 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2389619 6434 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300244 s]
/proc/loadavg: 4.10 4.06 4.08 4/197 27933
/proc/meminfo: memFree=30185560/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 7177 0 1 0 49 1 0 0 20 0 18 0 23655335 9787879424 11758 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2389619 11758 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700197 s]
/proc/loadavg: 4.10 4.06 4.08 4/197 27933
/proc/meminfo: memFree=30185560/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 9552 0 1 0 158 4 0 0 20 0 22 0 23655335 10060525568 41734 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2456183 41734 2268 9 0 2446860 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 4.10 4.06 4.08 7/219 27955
/proc/meminfo: memFree=29990032/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 27215 0 1 0 462 8 0 0 20 0 22 0 23655335 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2456183 53878 2279 9 0 2446860 0
[pid=27933/tid=27935] ppid=27930 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/27933/task/27935/stat : 27935 (java) S 27930 27933 22589 0 -1 4202560 2542 0 1 0 42 3 0 0 20 0 22 0 23655336 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941241627512 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27936] ppid=27930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27933/task/27936/stat : 27936 (java) S 27930 27933 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941180357032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27937] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27937/stat : 27937 (java) S 27930 27933 22589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941179304488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27938] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27938/stat : 27938 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941178251432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27939] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27939/stat : 27939 (java) S 27930 27933 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941177198888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27940] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27940/stat : 27940 (java) S 27930 27933 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941176146856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27941] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27941/stat : 27941 (java) S 27930 27933 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941079890984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27942] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27942/stat : 27942 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941078837928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27943] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27943/stat : 27943 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941077785384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27944] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27944/stat : 27944 (java) S 27930 27933 22589 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23655338 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941065587048 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27945] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27945/stat : 27945 (java) S 27930 27933 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941064533368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27946] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27946/stat : 27946 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941063480200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27947] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27947/stat : 27947 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941062428944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27948] ppid=27930 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/27933/task/27948/stat : 27948 (java) S 27930 27933 22589 0 -1 4202560 12544 0 0 0 111 2 0 0 20 0 22 0 23655341 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941061376824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27949] ppid=27930 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/27933/task/27949/stat : 27949 (java) S 27930 27933 22589 0 -1 4202560 10680 0 0 0 105 2 0 0 20 0 22 0 23655341 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941060324280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27950] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27950/stat : 27950 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941059271416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27951] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27951/stat : 27951 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941058219080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27952] ppid=27930 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/27933/task/27952/stat : 27952 (java) R 27930 27933 22589 0 -1 4202560 23 0 0 0 96 0 0 0 20 0 22 0 23655385 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941057162000 139941182030998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27953] ppid=27930 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/27933/task/27953/stat : 27953 (java) R 27930 27933 22589 0 -1 4202560 29 0 0 0 93 0 0 0 20 0 22 0 23655385 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941056097120 139941182243346 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27954] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27954/stat : 27954 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941055058728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27955] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27955/stat : 27955 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 53878 33554432000 1073741824 1073778376 140733706839120 139941054006184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 9824732
[startup+3.10085 s]
/proc/loadavg: 4.10 4.06 4.08 5/219 27955
/proc/meminfo: memFree=29976340/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9824732 CPUtime=8.38 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 28482 0 1 0 829 9 0 0 20 0 22 0 23655335 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2456183 54055 2283 9 0 2446860 0
[pid=27933/tid=27935] ppid=27930 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/27933/task/27935/stat : 27935 (java) S 27930 27933 22589 0 -1 4202560 2542 0 1 0 42 3 0 0 20 0 22 0 23655336 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941241627512 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27936] ppid=27930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27933/task/27936/stat : 27936 (java) S 27930 27933 22589 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941180357032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27937] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27937/stat : 27937 (java) S 27930 27933 22589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941179304488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27938] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27938/stat : 27938 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941178251432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27939] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27939/stat : 27939 (java) S 27930 27933 22589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941177198888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27940] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27940/stat : 27940 (java) S 27930 27933 22589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941176146856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27941] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27941/stat : 27941 (java) S 27930 27933 22589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941079890984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27942] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27942/stat : 27942 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941078837928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27943] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27943/stat : 27943 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941077785384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27944] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27944/stat : 27944 (java) S 27930 27933 22589 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23655338 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941065587048 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27945] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27945/stat : 27945 (java) S 27930 27933 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941064533368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27946] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27946/stat : 27946 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941063480200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27947] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27947/stat : 27947 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941062428944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27948] ppid=27930 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/27933/task/27948/stat : 27948 (java) S 27930 27933 22589 0 -1 4202560 13808 0 0 0 156 3 0 0 20 0 22 0 23655341 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941061376824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27949] ppid=27930 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/27933/task/27949/stat : 27949 (java) S 27930 27933 22589 0 -1 4202560 10682 0 0 0 108 2 0 0 20 0 22 0 23655341 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941060324280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27950] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27950/stat : 27950 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941059271416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27951] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27951/stat : 27951 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941058219080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27952] ppid=27930 vsize=9824732 CPUtime=2.56 cores=1,3,5,7
/proc/27933/task/27952/stat : 27952 (java) R 27930 27933 22589 0 -1 4202560 24 0 0 0 256 0 0 0 20 0 22 0 23655385 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941057163816 139941182152874 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27953] ppid=27930 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/27933/task/27953/stat : 27953 (java) R 27930 27933 22589 0 -1 4202560 29 0 0 0 251 0 0 0 20 0 22 0 23655385 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941056108784 139941182243403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27954] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27954/stat : 27954 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941055058728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27955] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27955/stat : 27955 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 54055 33554432000 1073741824 1073778376 140733706839120 139941054006184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 9824732
[startup+6.30101 s]
/proc/loadavg: 4.10 4.06 4.08 5/219 27955
/proc/meminfo: memFree=29839184/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9824732 CPUtime=14.86 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 28726 0 1 0 1471 15 0 0 20 0 22 0 23655335 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2456183 91279 2284 9 0 2446860 0
[pid=27933/tid=27935] ppid=27930 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/27933/task/27935/stat : 27935 (java) S 27930 27933 22589 0 -1 4202560 2542 0 1 0 42 3 0 0 20 0 22 0 23655336 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941241627512 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27936] ppid=27930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27933/task/27936/stat : 27936 (java) S 27930 27933 22589 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941180357032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27937] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27937/stat : 27937 (java) S 27930 27933 22589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941179304488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27938] ppid=27930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27933/task/27938/stat : 27938 (java) S 27930 27933 22589 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941178251432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27939] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27939/stat : 27939 (java) S 27930 27933 22589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941177198888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27940] ppid=27930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/27933/task/27940/stat : 27940 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941176146856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27941] ppid=27930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27933/task/27941/stat : 27941 (java) S 27930 27933 22589 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941079890984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27942] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27942/stat : 27942 (java) S 27930 27933 22589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941078837928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27943] ppid=27930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/27933/task/27943/stat : 27943 (java) S 27930 27933 22589 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 22 0 23655337 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941077785384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27944] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27944/stat : 27944 (java) S 27930 27933 22589 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23655338 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941065587048 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27945] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27945/stat : 27945 (java) S 27930 27933 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941064533368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27946] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27946/stat : 27946 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941063480200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27947] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27947/stat : 27947 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 91279 33554432000 1073741824 1073778376 140733706839120 139941062428944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27948] ppid=27930 vsize=9824732 CPUtime=1.61 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.22 4.28 4.16 5/219 28043
/proc/meminfo: memFree=23999764/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9824732 CPUtime=1651.22 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 41396 0 1 0 164879 243 0 0 20 0 22 0 23655335 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2456183 961575 2293 9 0 2446860 0
[pid=27933/tid=27935] ppid=27930 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/27933/task/27935/stat : 27935 (java) S 27930 27933 22589 0 -1 4202560 2554 0 1 0 44 5 0 0 20 0 22 0 23655336 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941241627512 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27936] ppid=27930 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/27933/task/27936/stat : 27936 (java) S 27930 27933 22589 0 -1 4202560 877 0 0 0 232 21 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941180357032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27937] ppid=27930 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/27933/task/27937/stat : 27937 (java) S 27930 27933 22589 0 -1 4202560 1107 0 0 0 265 22 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941179304488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27938] ppid=27930 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/27933/task/27938/stat : 27938 (java) S 27930 27933 22589 0 -1 4202560 1217 0 0 0 283 25 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941178251432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27939] ppid=27930 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/27933/task/27939/stat : 27939 (java) S 27930 27933 22589 0 -1 4202560 1011 0 0 0 260 21 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941177198888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27940] ppid=27930 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/27933/task/27940/stat : 27940 (java) S 27930 27933 22589 0 -1 4202560 1170 0 0 0 259 25 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941176146856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27941] ppid=27930 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/27933/task/27941/stat : 27941 (java) S 27930 27933 22589 0 -1 4202560 725 0 0 0 249 23 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941079890984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27942] ppid=27930 vsize=9824732 CPUtime=2.66 cores=1,3,5,7
/proc/27933/task/27942/stat : 27942 (java) S 27930 27933 22589 0 -1 4202560 982 0 0 0 248 18 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941078837928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27943] ppid=27930 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/27933/task/27943/stat : 27943 (java) S 27930 27933 22589 0 -1 4202560 1118 0 0 0 275 29 0 0 20 0 22 0 23655337 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941077785384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27944] ppid=27930 vsize=9824732 CPUtime=6.62 cores=1,3,5,7
/proc/27933/task/27944/stat : 27944 (java) S 27930 27933 22589 0 -1 4202560 2624 0 0 0 658 4 0 0 20 0 22 0 23655338 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941065587048 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27945] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27945/stat : 27945 (java) S 27930 27933 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941064533368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27946] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27946/stat : 27946 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941063480200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27947] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27947/stat : 27947 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941062428944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27948] ppid=27930 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/27933/task/27948/stat : 27948 (java) S 27930 27933 22589 0 -1 4202560 13872 0 0 0 197 3 0 0 20 0 22 0 23655341 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941061376824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27949] ppid=27930 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/27933/task/27949/stat : 27949 (java) S 27930 27933 22589 0 -1 4202560 10690 0 0 0 117 3 0 0 20 0 22 0 23655341 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941060324280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27950] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27950/stat : 27950 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941059271416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27951] ppid=27930 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/27933/task/27951/stat : 27951 (java) S 27930 27933 22589 0 -1 4202560 47 0 0 0 12 17 0 0 20 0 22 0 23655341 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941058219080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27952] ppid=27930 vsize=9824732 CPUtime=809.18 cores=1,3,5,7
/proc/27933/task/27952/stat : 27952 (java) R 27930 27933 22589 0 -1 4202560 58 0 0 0 80903 15 0 0 20 0 22 0 23655385 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941057161600 139941182030998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27953] ppid=27930 vsize=9824732 CPUtime=809.09 cores=1,3,5,7
/proc/27933/task/27953/stat : 27953 (java) R 27930 27933 22589 0 -1 4202560 2079 0 0 0 80867 42 0 0 20 0 22 0 23655385 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941056110064 139941182292216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27954] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27954/stat : 27954 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941055058728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27955] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27955/stat : 27955 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 961575 33554432000 1073741824 1073778376 140733706839120 139941054006184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1651.22
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.20 4.25 4.16 5/219 28044
/proc/meminfo: memFree=23850028/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9824732 CPUtime=1771.95 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 41461 0 1 0 176951 244 0 0 20 0 22 0 23655335 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2456183 953614 2293 9 0 2446860 0
[pid=27933/tid=27935] ppid=27930 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/27933/task/27935/stat : 27935 (java) S 27930 27933 22589 0 -1 4202560 2554 0 1 0 44 5 0 0 20 0 22 0 23655336 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941241627512 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27936] ppid=27930 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/27933/task/27936/stat : 27936 (java) S 27930 27933 22589 0 -1 4202560 877 0 0 0 247 21 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941180357032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27937] ppid=27930 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/27933/task/27937/stat : 27937 (java) S 27930 27933 22589 0 -1 4202560 1107 0 0 0 288 22 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941179304488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27938] ppid=27930 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/27933/task/27938/stat : 27938 (java) S 27930 27933 22589 0 -1 4202560 1228 0 0 0 305 25 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941178251432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27939] ppid=27930 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/27933/task/27939/stat : 27939 (java) S 27930 27933 22589 0 -1 4202560 1011 0 0 0 279 21 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941177198888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27940] ppid=27930 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/27933/task/27940/stat : 27940 (java) S 27930 27933 22589 0 -1 4202560 1182 0 0 0 271 25 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941176146856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27941] ppid=27930 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/27933/task/27941/stat : 27941 (java) S 27930 27933 22589 0 -1 4202560 725 0 0 0 282 23 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941079890984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27942] ppid=27930 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/27933/task/27942/stat : 27942 (java) S 27930 27933 22589 0 -1 4202560 982 0 0 0 262 18 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941078837928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27943] ppid=27930 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/27933/task/27943/stat : 27943 (java) S 27930 27933 22589 0 -1 4202560 1132 0 0 0 290 29 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941077785384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27944] ppid=27930 vsize=9824732 CPUtime=6.62 cores=1,3,5,7
/proc/27933/task/27944/stat : 27944 (java) S 27930 27933 22589 0 -1 4202560 2642 0 0 0 658 4 0 0 20 0 22 0 23655338 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941065587048 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27945] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27945/stat : 27945 (java) S 27930 27933 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941064533368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27946] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27946/stat : 27946 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941063480200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27947] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27947/stat : 27947 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941062428944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27948] ppid=27930 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/27933/task/27948/stat : 27948 (java) S 27930 27933 22589 0 -1 4202560 13873 0 0 0 197 3 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941061376824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27949] ppid=27930 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/27933/task/27949/stat : 27949 (java) S 27930 27933 22589 0 -1 4202560 10690 0 0 0 117 3 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941060324280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27950] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27950/stat : 27950 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941059271416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27951] ppid=27930 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/27933/task/27951/stat : 27951 (java) S 27930 27933 22589 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941058219080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27952] ppid=27930 vsize=9824732 CPUtime=868.81 cores=1,3,5,7
/proc/27933/task/27952/stat : 27952 (java) R 27930 27933 22589 0 -1 4202560 58 0 0 0 86865 16 0 0 20 0 22 0 23655385 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941057161976 139941182116304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27953] ppid=27930 vsize=9824732 CPUtime=868.69 cores=1,3,5,7
/proc/27933/task/27953/stat : 27953 (java) R 27930 27933 22589 0 -1 4202560 2084 0 0 0 86825 44 0 0 20 0 22 0 23655385 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941056110144 139941182243328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27954] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27954/stat : 27954 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941055058728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27955] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27955/stat : 27955 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941054006184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1771.95
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.401 s]
/proc/loadavg: 4.15 4.24 4.16 5/219 28044
/proc/meminfo: memFree=23850084/32872528 swapFree=496868/529572
[pid=27933] ppid=27930 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/27933/stat : 27933 (java) S 27930 27933 22589 0 -1 4202496 41462 0 1 0 179769 245 0 0 20 0 22 0 23655335 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 140733706830256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27933/statm: 2456183 953614 2293 9 0 2446860 0
[pid=27933/tid=27935] ppid=27930 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/27933/task/27935/stat : 27935 (java) S 27930 27933 22589 0 -1 4202560 2554 0 1 0 45 5 0 0 20 0 22 0 23655336 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941241627512 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27936] ppid=27930 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/27933/task/27936/stat : 27936 (java) S 27930 27933 22589 0 -1 4202560 877 0 0 0 247 21 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941180357032 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27937] ppid=27930 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/27933/task/27937/stat : 27937 (java) S 27930 27933 22589 0 -1 4202560 1107 0 0 0 288 22 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941179304488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27938] ppid=27930 vsize=9824732 CPUtime=3.3 cores=1,3,5,7
/proc/27933/task/27938/stat : 27938 (java) S 27930 27933 22589 0 -1 4202560 1228 0 0 0 305 25 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941178251432 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27939] ppid=27930 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/27933/task/27939/stat : 27939 (java) S 27930 27933 22589 0 -1 4202560 1011 0 0 0 279 21 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941177198888 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27940] ppid=27930 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/27933/task/27940/stat : 27940 (java) S 27930 27933 22589 0 -1 4202560 1182 0 0 0 271 25 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941176146856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27941] ppid=27930 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/27933/task/27941/stat : 27941 (java) S 27930 27933 22589 0 -1 4202560 725 0 0 0 282 23 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941079890984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27942] ppid=27930 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/27933/task/27942/stat : 27942 (java) S 27930 27933 22589 0 -1 4202560 982 0 0 0 262 18 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941078837928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27943] ppid=27930 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/27933/task/27943/stat : 27943 (java) S 27930 27933 22589 0 -1 4202560 1132 0 0 0 290 29 0 0 20 0 22 0 23655337 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941077785384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27944] ppid=27930 vsize=9824732 CPUtime=6.62 cores=1,3,5,7
/proc/27933/task/27944/stat : 27944 (java) S 27930 27933 22589 0 -1 4202560 2642 0 0 0 658 4 0 0 20 0 22 0 23655338 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941065587048 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27945] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27945/stat : 27945 (java) S 27930 27933 22589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941064533368 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27946] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27946/stat : 27946 (java) S 27930 27933 22589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23655339 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941063480200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27947] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27947/stat : 27947 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941062428944 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27948] ppid=27930 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/27933/task/27948/stat : 27948 (java) S 27930 27933 22589 0 -1 4202560 13874 0 0 0 197 3 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941061376824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27949] ppid=27930 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/27933/task/27949/stat : 27949 (java) S 27930 27933 22589 0 -1 4202560 10690 0 0 0 117 3 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941060324280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27933/tid=27950] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27950/stat : 27950 (java) S 27930 27933 22589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941059271416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27933/tid=27951] ppid=27930 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/27933/task/27951/stat : 27951 (java) S 27930 27933 22589 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 23655341 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941058219080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27952] ppid=27930 vsize=9824732 CPUtime=882.9 cores=1,3,5,7
/proc/27933/task/27952/stat : 27952 (java) R 27930 27933 22589 0 -1 4202560 58 0 0 0 88274 16 0 0 20 0 22 0 23655385 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941057154976 139941181960327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27953] ppid=27930 vsize=9824732 CPUtime=882.78 cores=1,3,5,7
/proc/27933/task/27953/stat : 27953 (java) R 27930 27933 22589 0 -1 4202560 2084 0 0 0 88234 44 0 0 20 0 22 0 23655385 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941056110584 139941182291747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27933/tid=27954] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27954/stat : 27954 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941055058728 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27933/tid=27955] ppid=27930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/27933/task/27955/stat : 27955 (java) S 27930 27933 22589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23655388 10060525568 953614 33554432000 1073741824 1073778376 140733706839120 139941054006184 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 27933 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.462
CPU time (s): 1800.79
CPU user time (s): 1797.84
CPU system time (s): 2.94955
CPU usage (%): 200.878
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.84
system time used= 2.94955
maximum resident set size= 3846412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41502
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22409
involuntary context switches= 22692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90895 second user time and 4.30335 second system time
The end