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-4117987-1467216336/watcher-4117987-1467216336 -o /tmp/evaluation-result-4117987-1467216336/solver-4117987-1467216336 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117987-1467216336.opb
pid=8107
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: 3.94 4.16 4.16 3/193 8110
/proc/meminfo: memFree=28414816/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 2584765 98570240 977 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 24065 977 743 9 0 16771 0
[pid=8110/tid=8111] ppid=8107 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 2584765 98570240 977 33554432000 1073741824 1073778376 140734176750032 140559331126824 239873115520 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100164 s]
/proc/loadavg: 3.94 4.16 4.16 3/193 8110
/proc/meminfo: memFree=28414816/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 4491 0 1 0 10 1 0 0 20 0 18 0 2584765 9787879424 6125 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2389619 6125 2156 9 0 2380296 0
[pid=8110/tid=8111] ppid=8107 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 2584765 9787879424 6125 33554432000 1073741824 1073778376 140734176750032 140559331128560 239876498701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200288 s]
/proc/loadavg: 3.94 4.16 4.16 3/193 8110
/proc/meminfo: memFree=28414816/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 4623 0 1 0 24 1 0 0 20 0 18 0 2584765 9787879424 7254 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2389619 7254 2218 9 0 2380296 0
[pid=8110/tid=8111] ppid=8107 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 2407 0 1 0 18 0 0 0 20 0 18 0 2584765 9787879424 7254 33554432000 1073741824 1073778376 140734176750032 140559331128560 140559337643760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300294 s]
/proc/loadavg: 3.94 4.16 4.16 3/193 8110
/proc/meminfo: memFree=28414816/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 5657 0 1 0 49 1 0 0 20 0 18 0 2584765 9787879424 8522 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2389619 8522 2234 9 0 2380296 0
[pid=8110/tid=8111] ppid=8107 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 2410 0 1 0 26 2 0 0 20 0 18 0 2584765 9787879424 8522 33554432000 1073741824 1073778376 140734176750032 140559331131176 140559197301757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700344 s]
/proc/loadavg: 3.94 4.16 4.16 3/193 8110
/proc/meminfo: memFree=28414816/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9558476 CPUtime=1.18 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 9250 0 1 0 116 2 0 0 20 0 18 0 2584765 9787879424 13651 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2389619 13651 2247 9 0 2380296 0
[pid=8110/tid=8111] ppid=8107 vsize=9558476 CPUtime=0.68 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 2416 0 1 0 66 2 0 0 20 0 18 0 2584765 9787879424 13651 33554432000 1073741824 1073778376 140734176750032 140559331131176 140559196994015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9558476
[startup+1.5008 s]
/proc/loadavg: 3.94 4.16 4.16 3/211 8128
/proc/meminfo: memFree=28360720/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9558476 CPUtime=2.04 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 9290 0 1 0 202 2 0 0 20 0 18 0 2584765 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2389619 17126 2251 9 0 2380296 0
[pid=8110/tid=8111] ppid=8107 vsize=9558476 CPUtime=1.48 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 2424 0 1 0 146 2 0 0 20 0 18 0 2584765 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559331131504 140559197301884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8113] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559320193320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8114] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8114/stat : 8114 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559319140520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8115] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8115/stat : 8115 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559318088232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8116] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8116/stat : 8116 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559317035432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8117] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8117/stat : 8117 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559315983144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8118] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8118/stat : 8118 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559169305256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8119] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8119/stat : 8119 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559168252968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8120] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8120/stat : 8120 (java) S 8107 8110 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559167200168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8121] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8121/stat : 8121 (java) S 8107 8110 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559155001576 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8122] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8122/stat : 8122 (java) S 8107 8110 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559153947640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8123] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8123/stat : 8123 (java) S 8107 8110 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559152895240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8124] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8124/stat : 8124 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584769 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559151843728 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8125] ppid=8107 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/8110/task/8125/stat : 8125 (java) S 8107 8110 5267 0 -1 4202560 3243 0 0 0 26 0 0 0 20 0 18 0 2584769 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559150791352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8126] ppid=8107 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/8110/task/8126/stat : 8126 (java) S 8107 8110 5267 0 -1 4202560 2360 0 0 0 28 0 0 0 20 0 18 0 2584769 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559149738552 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8127] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8127/stat : 8127 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584770 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559148686456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8128] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8128/stat : 8128 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584770 9787879424 17126 33554432000 1073741824 1073778376 140734176750032 140559147633864 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9558476
[startup+3.10085 s]
/proc/loadavg: 3.94 4.16 4.16 3/211 8128
/proc/meminfo: memFree=28341916/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9558476 CPUtime=3.81 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 9617 0 1 0 378 3 0 0 20 0 18 0 2584765 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2389619 21768 2251 9 0 2380296 0
[pid=8110/tid=8111] ppid=8107 vsize=9558476 CPUtime=3.08 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 2435 0 1 0 306 2 0 0 20 0 18 0 2584765 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559331129360 140559197301796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8113] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559320193320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8114] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8114/stat : 8114 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559319140520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8115] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8115/stat : 8115 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559318088232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8116] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8116/stat : 8116 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559317035432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8117] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8117/stat : 8117 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559315983144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8118] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8118/stat : 8118 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559169305256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8119] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8119/stat : 8119 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559168252968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8120] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8120/stat : 8120 (java) S 8107 8110 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559167200168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8121] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8121/stat : 8121 (java) S 8107 8110 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559155001576 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8122] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8122/stat : 8122 (java) S 8107 8110 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559153947640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8123] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8123/stat : 8123 (java) S 8107 8110 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559152895240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8124] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8124/stat : 8124 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584769 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559151843728 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8125] ppid=8107 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/8110/task/8125/stat : 8125 (java) S 8107 8110 5267 0 -1 4202560 3252 0 0 0 32 2 0 0 20 0 18 0 2584769 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559150791352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8126] ppid=8107 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/8110/task/8126/stat : 8126 (java) S 8107 8110 5267 0 -1 4202560 2667 0 0 0 36 0 0 0 20 0 18 0 2584769 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559149738552 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8127] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8127/stat : 8127 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584770 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559148686456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8128] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8128/stat : 8128 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584770 9787879424 21768 33554432000 1073741824 1073778376 140734176750032 140559147633864 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9558476
[startup+6.30087 s]
/proc/loadavg: 3.79 4.12 4.15 4/211 8128
/proc/meminfo: memFree=28310620/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9558476 CPUtime=7.03 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 9631 0 1 0 700 3 0 0 20 0 18 0 2584765 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2389619 27357 2253 9 0 2380296 0
[pid=8110/tid=8111] ppid=8107 vsize=9558476 CPUtime=6.28 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) R 8107 8110 5267 0 -1 4202560 2447 0 1 0 625 3 0 0 20 0 18 0 2584765 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559331122992 140559197301757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8113] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559320193320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8114] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8114/stat : 8114 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559319140520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8115] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8115/stat : 8115 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559318088232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8116] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8116/stat : 8116 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559317035432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8117] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8117/stat : 8117 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559315983144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8118] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8118/stat : 8118 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559169305256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8119] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8119/stat : 8119 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559168252968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8120] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8120/stat : 8120 (java) S 8107 8110 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2584766 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559167200168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8121] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8121/stat : 8121 (java) S 8107 8110 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559155001576 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8122] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8122/stat : 8122 (java) S 8107 8110 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559153947640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8123] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8123/stat : 8123 (java) S 8107 8110 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 2584767 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559152895240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8124] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8124/stat : 8124 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584769 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559151843728 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8125] ppid=8107 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/8110/task/8125/stat : 8125 (java) S 8107 8110 5267 0 -1 4202560 3253 0 0 0 34 2 0 0 20 0 18 0 2584769 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559150791352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8126] ppid=8107 vsize=9558476 CPUtime=0.37 cores=1,3,5,7
/proc/8110/task/8126/stat : 8126 (java) S 8107 8110 5267 0 -1 4202560 2667 0 0 0 37 0 0 0 20 0 18 0 2584769 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559149738552 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8127] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8127/stat : 8127 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2584770 9787879424 27357 33554432000 1073741824 1073778376 140734176750032 140559148686456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8128] ppid=8107 vsize=9558476 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=8110/tid=8506] ppid=8107 vsize=9824732 CPUtime=39.79 cores=1,3,5,7
/proc/8110/task/8506/stat : 8506 (java) R 8107 8110 5267 0 -1 4202560 2 0 0 0 3979 0 0 0 20 0 22 0 2674995 10060525568 755885 33554432000 1073741824 1073778376 140734176750032 140559145523504 140559198090660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8507] ppid=8107 vsize=9824732 CPUtime=39.81 cores=1,3,5,7
/proc/8110/task/8507/stat : 8507 (java) R 8107 8110 5267 0 -1 4202560 5 0 0 0 3981 0 0 0 20 0 22 0 2674995 10060525568 755885 33554432000 1073741824 1073778376 140734176750032 140559144471376 140559198208210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8508] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8508/stat : 8508 (java) S 8107 8110 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2674996 10060525568 755885 33554432000 1073741824 1073778376 140734176750032 140559146579112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1658.95
Current children cumulated vsize (KiB) 9824732
[startup+1002.3 s]
/proc/loadavg: 4.16 4.16 4.01 6/219 8635
/proc/meminfo: memFree=24033584/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9824732 CPUtime=1773.03 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 31060 0 1 0 176941 362 0 0 20 0 22 0 2584765 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2456183 845740 2303 9 0 2446860 0
[pid=8110/tid=8111] ppid=8107 vsize=9824732 CPUtime=57.43 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) S 8107 8110 5267 0 -1 4202560 2642 0 1 0 5735 8 0 0 20 0 22 0 2584765 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559331132280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8113] ppid=8107 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (java) S 8107 8110 5267 0 -1 4202560 761 0 0 0 139 24 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559320193320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8114] ppid=8107 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/8110/task/8114/stat : 8114 (java) S 8107 8110 5267 0 -1 4202560 509 0 0 0 127 19 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559319140520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8115] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8115/stat : 8115 (java) S 8107 8110 5267 0 -1 4202560 575 0 0 0 152 23 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559318088232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8116] ppid=8107 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/8110/task/8116/stat : 8116 (java) S 8107 8110 5267 0 -1 4202560 493 0 0 0 137 17 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559317035432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8117] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8117/stat : 8117 (java) S 8107 8110 5267 0 -1 4202560 859 0 0 0 147 28 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559315983144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8118] ppid=8107 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/8110/task/8118/stat : 8118 (java) S 8107 8110 5267 0 -1 4202560 698 0 0 0 154 25 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559169305256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8119] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8119/stat : 8119 (java) S 8107 8110 5267 0 -1 4202560 697 0 0 0 153 22 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559168252968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8120] ppid=8107 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/8110/task/8120/stat : 8120 (java) S 8107 8110 5267 0 -1 4202560 552 0 0 0 157 21 0 0 20 0 22 0 2584766 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559167200168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8121] ppid=8107 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/8110/task/8121/stat : 8121 (java) S 8107 8110 5267 0 -1 4202560 2848 0 0 0 243 8 0 0 20 0 22 0 2584767 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559155001576 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8122] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8122/stat : 8122 (java) S 8107 8110 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2584767 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559153947640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8123] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8123/stat : 8123 (java) S 8107 8110 5267 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 2584767 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559152895240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8124] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8124/stat : 8124 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2584769 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559151843728 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8125] ppid=8107 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/8110/task/8125/stat : 8125 (java) S 8107 8110 5267 0 -1 4202560 11093 0 0 0 155 4 0 0 20 0 22 0 2584769 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559150791352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8126] ppid=8107 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/8110/task/8126/stat : 8126 (java) S 8107 8110 5267 0 -1 4202560 6270 0 0 0 184 0 0 0 20 0 22 0 2584769 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559149738552 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8127] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8127/stat : 8127 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2584770 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559148686456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8128] ppid=8107 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/8110/task/8128/stat : 8128 (java) S 8107 8110 5267 0 -1 4202560 58 0 0 0 16 22 0 0 20 0 22 0 2584770 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559147633864 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8220] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8220/stat : 8220 (java) S 8107 8110 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2590175 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559143420968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8510] ppid=8107 vsize=9824732 CPUtime=40.76 cores=1,3,5,7
/proc/8110/task/8510/stat : 8510 (java) R 8107 8110 5267 0 -1 4202560 3 0 0 0 4076 0 0 0 20 0 22 0 2680893 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559144470960 140559197533719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8511] ppid=8107 vsize=9824732 CPUtime=40.77 cores=1,3,5,7
/proc/8110/task/8511/stat : 8511 (java) R 8107 8110 5267 0 -1 4202560 3 0 0 0 4077 0 0 0 20 0 22 0 2680893 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559146577360 140559198325804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8512] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8512/stat : 8512 (java) S 8107 8110 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2680893 10060525568 845740 33554432000 1073741824 1073778376 140734176750032 140559145526568 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1773.03
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1016.3 s]
/proc/loadavg: 4.04 4.14 4.01 4/218 8723
/proc/meminfo: memFree=24556656/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 31065 0 1 0 179640 363 0 0 20 0 20 0 2584765 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2456183 845736 2303 9 0 2446860 0
[pid=8110/tid=8111] ppid=8107 vsize=9824732 CPUtime=57.43 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) S 8107 8110 5267 0 -1 4202560 2642 0 1 0 5735 8 0 0 20 0 20 0 2584765 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559331132280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8113] ppid=8107 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (java) S 8107 8110 5267 0 -1 4202560 761 0 0 0 139 24 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559320193320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8114] ppid=8107 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/8110/task/8114/stat : 8114 (java) S 8107 8110 5267 0 -1 4202560 509 0 0 0 127 19 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559319140520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8115] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8115/stat : 8115 (java) S 8107 8110 5267 0 -1 4202560 575 0 0 0 152 23 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559318088232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8116] ppid=8107 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/8110/task/8116/stat : 8116 (java) S 8107 8110 5267 0 -1 4202560 493 0 0 0 137 17 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559317035432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8117] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8117/stat : 8117 (java) S 8107 8110 5267 0 -1 4202560 859 0 0 0 147 28 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559315983144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8118] ppid=8107 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/8110/task/8118/stat : 8118 (java) S 8107 8110 5267 0 -1 4202560 698 0 0 0 154 25 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559169305256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8119] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8119/stat : 8119 (java) S 8107 8110 5267 0 -1 4202560 697 0 0 0 153 22 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559168252968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8120] ppid=8107 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/8110/task/8120/stat : 8120 (java) S 8107 8110 5267 0 -1 4202560 552 0 0 0 157 21 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559167200168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8121] ppid=8107 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/8110/task/8121/stat : 8121 (java) S 8107 8110 5267 0 -1 4202560 2849 0 0 0 243 8 0 0 20 0 20 0 2584767 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559155001576 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8122] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8122/stat : 8122 (java) S 8107 8110 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2584767 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559153947640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8123] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8123/stat : 8123 (java) S 8107 8110 5267 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 20 0 2584767 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559152895240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8124] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8124/stat : 8124 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2584769 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559151843728 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8125] ppid=8107 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/8110/task/8125/stat : 8125 (java) S 8107 8110 5267 0 -1 4202560 11093 0 0 0 155 4 0 0 20 0 20 0 2584769 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559150791352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8126] ppid=8107 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/8110/task/8126/stat : 8126 (java) S 8107 8110 5267 0 -1 4202560 6270 0 0 0 184 0 0 0 20 0 20 0 2584769 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559149738552 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8127] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8127/stat : 8127 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2584770 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559148686456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8128] ppid=8107 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/8110/task/8128/stat : 8128 (java) S 8107 8110 5267 0 -1 4202560 60 0 0 0 17 22 0 0 20 0 20 0 2584770 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559147633864 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8220] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8220/stat : 8220 (java) S 8107 8110 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2590175 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559143420968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8511] ppid=8107 vsize=9824732 CPUtime=54.77 cores=1,3,5,7
/proc/8110/task/8511/stat : 8511 (java) R 8107 8110 5267 0 -1 4202560 3 0 0 0 5477 0 0 0 20 0 20 0 2680893 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559146576448 140559198371184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 8110 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1016.3 s]
/proc/loadavg: 4.04 4.14 4.01 4/218 8723
/proc/meminfo: memFree=24556656/32872528 swapFree=1459092/1655316
[pid=8110] ppid=8107 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/8110/stat : 8110 (java) S 8107 8110 5267 0 -1 4202496 31065 0 1 0 179640 363 0 0 20 0 20 0 2584765 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140734176741168 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8110/statm: 2456183 845736 2303 9 0 2446860 0
[pid=8110/tid=8111] ppid=8107 vsize=9824732 CPUtime=57.43 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (java) S 8107 8110 5267 0 -1 4202560 2642 0 1 0 5735 8 0 0 20 0 20 0 2584765 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559331132280 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8113] ppid=8107 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (java) S 8107 8110 5267 0 -1 4202560 761 0 0 0 139 24 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559320193320 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8114] ppid=8107 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/8110/task/8114/stat : 8114 (java) S 8107 8110 5267 0 -1 4202560 509 0 0 0 127 19 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559319140520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8115] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8115/stat : 8115 (java) S 8107 8110 5267 0 -1 4202560 575 0 0 0 152 23 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559318088232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8116] ppid=8107 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/8110/task/8116/stat : 8116 (java) S 8107 8110 5267 0 -1 4202560 493 0 0 0 137 17 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559317035432 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8117] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8117/stat : 8117 (java) S 8107 8110 5267 0 -1 4202560 859 0 0 0 147 28 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559315983144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8118] ppid=8107 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/8110/task/8118/stat : 8118 (java) S 8107 8110 5267 0 -1 4202560 698 0 0 0 154 25 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559169305256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8119] ppid=8107 vsize=9824732 CPUtime=1.75 cores=1,3,5,7
/proc/8110/task/8119/stat : 8119 (java) S 8107 8110 5267 0 -1 4202560 697 0 0 0 153 22 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559168252968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8120] ppid=8107 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/8110/task/8120/stat : 8120 (java) S 8107 8110 5267 0 -1 4202560 552 0 0 0 157 21 0 0 20 0 20 0 2584766 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559167200168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8121] ppid=8107 vsize=9824732 CPUtime=2.51 cores=1,3,5,7
/proc/8110/task/8121/stat : 8121 (java) S 8107 8110 5267 0 -1 4202560 2849 0 0 0 243 8 0 0 20 0 20 0 2584767 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559155001576 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8122] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8122/stat : 8122 (java) S 8107 8110 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2584767 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559153947640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8123] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8123/stat : 8123 (java) S 8107 8110 5267 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 20 0 2584767 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559152895240 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8124] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8124/stat : 8124 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2584769 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559151843728 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8125] ppid=8107 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/8110/task/8125/stat : 8125 (java) S 8107 8110 5267 0 -1 4202560 11093 0 0 0 155 4 0 0 20 0 20 0 2584769 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559150791352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8126] ppid=8107 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/8110/task/8126/stat : 8126 (java) S 8107 8110 5267 0 -1 4202560 6270 0 0 0 184 0 0 0 20 0 20 0 2584769 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559149738552 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8110/tid=8127] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8127/stat : 8127 (java) S 8107 8110 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2584770 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559148686456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8110/tid=8128] ppid=8107 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/8110/task/8128/stat : 8128 (java) S 8107 8110 5267 0 -1 4202560 60 0 0 0 17 22 0 0 20 0 20 0 2584770 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559147633864 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8110/tid=8220] ppid=8107 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8220/stat : 8220 (java) S 8107 8110 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2590175 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559143420968 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8110/tid=8511] ppid=8107 vsize=9824732 CPUtime=54.77 cores=1,3,5,7
/proc/8110/task/8511/stat : 8511 (java) R 8107 8110 5267 0 -1 4202560 3 0 0 0 5477 0 0 0 20 0 20 0 2680893 10060525568 845736 33554432000 1073741824 1073778376 140734176750032 140559146576448 140559198371184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 1016.33
CPU time (s): 1800.32
CPU user time (s): 1796.44
CPU system time (s): 3.88141
CPU usage (%): 177.14
Max. virtual memory (cumulated for all children) (KiB): 9825692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.44
system time used= 3.88141
maximum resident set size= 3611196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31089
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29707
involuntary context switches= 19938
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74697 second user time and 8.5397 second system time
The end