runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3740930-1338749478/watcher-3740930-1338749478 -o /tmp/evaluation-result-3740930-1338749478/solver-3740930-1338749478 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3740930-1338749478.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.88 2.55 1.82 4/195 2107
/proc/meminfo: memFree=24087036/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/2107/stat : 2107 (java) D 2105 2107 1918 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 341074150 2560000 46 33554432000 1073741824 1073778376 140736073583632 140736073580760 252253924647 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/2107/statm: 625 46 37 9 0 29 0
[startup+0.100774 s]
/proc/loadavg: 3.88 2.55 1.82 4/195 2107
/proc/meminfo: memFree=24087036/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 4475 0 1 0 5 1 0 0 20 0 18 0 341074150 11864465408 12839 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 12839 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.200206 s]
/proc/loadavg: 3.88 2.55 1.82 4/195 2107
/proc/meminfo: memFree=24087036/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=0.21 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 5578 0 1 0 19 2 0 0 20 0 18 0 341074150 11864465408 21532 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 21532 2187 9 0 2887285 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11586392
[startup+0.300205 s]
/proc/loadavg: 3.88 2.55 1.82 4/195 2107
/proc/meminfo: memFree=24087036/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=0.43 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 6284 0 1 0 41 2 0 0 20 0 18 0 341074150 11864465408 24551 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 24551 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 11586392
[startup+0.700282 s]
/proc/loadavg: 3.88 2.55 1.82 4/195 2107
/proc/meminfo: memFree=24087036/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=1.23 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 10123 0 1 0 115 8 0 0 20 0 18 0 341074150 11864465408 115406 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 115406 2238 9 0 2887285 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 11586392
[startup+1.50075 s]
/proc/loadavg: 3.97 2.59 1.84 4/213 2125
/proc/meminfo: memFree=23107776/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=2.13 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 10646 0 1 0 189 24 0 0 20 0 18 0 341074150 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 376028 2238 9 0 2887285 0
[pid=2107/tid=2109] ppid=2105 vsize=11586392 CPUtime=1.45 cores=0,2,4,6
/proc/2107/task/2109/stat : 2109 (java) R 2105 2107 1918 0 -1 4202560 4074 0 1 0 123 22 0 0 20 0 18 0 341074152 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581390491616 140581330691885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2110] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2110/stat : 2110 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581329230504 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2111] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2111/stat : 2111 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581328177960 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2112] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2112/stat : 2112 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581327125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2113] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2113/stat : 2113 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581224606760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2114] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2114/stat : 2114 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581223553192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2115] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2115/stat : 2115 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581222500648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2116] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2116/stat : 2116 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581221448104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2117] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2117/stat : 2117 (java) S 2105 2107 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341074154 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581220395560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2118] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2118/stat : 2118 (java) S 2105 2107 1918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581207984744 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2119] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2119/stat : 2119 (java) S 2105 2107 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581206931064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2120] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2120/stat : 2120 (java) S 2105 2107 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581205878408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2121] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2121/stat : 2121 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581204827152 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2122] ppid=2105 vsize=11586392 CPUtime=0.32 cores=0,2,4,6
/proc/2107/task/2122/stat : 2122 (java) S 2105 2107 1918 0 -1 4202560 1927 0 0 0 32 0 0 0 20 0 18 0 341074159 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581203773496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2123] ppid=2105 vsize=11586392 CPUtime=0.31 cores=0,2,4,6
/proc/2107/task/2123/stat : 2123 (java) S 2105 2107 1918 0 -1 4202560 3463 0 0 0 31 0 0 0 20 0 18 0 341074159 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581202720952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2124] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2124/stat : 2124 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581201668600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2125] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2125/stat : 2125 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 376028 33554432000 1073741824 1073778376 140733898112976 140581200616264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 11586392
[startup+3.10079 s]
/proc/loadavg: 3.97 2.59 1.84 4/213 2125
/proc/meminfo: memFree=21695712/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=4.04 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 11334 0 1 0 352 52 0 0 20 0 18 0 341074150 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 672498 2254 9 0 2887285 0
[pid=2107/tid=2109] ppid=2105 vsize=11586392 CPUtime=2.95 cores=0,2,4,6
/proc/2107/task/2109/stat : 2109 (java) R 2105 2107 1918 0 -1 4202560 4624 0 1 0 252 43 0 0 20 0 18 0 341074152 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581390498824 140581330691027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2110] ppid=2105 vsize=11586392 CPUtime=0.02 cores=0,2,4,6
/proc/2107/task/2110/stat : 2110 (java) S 2105 2107 1918 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581329230504 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2111] ppid=2105 vsize=11586392 CPUtime=0.03 cores=0,2,4,6
/proc/2107/task/2111/stat : 2111 (java) S 2105 2107 1918 0 -1 4202560 14 0 0 0 2 1 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581328177960 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2112] ppid=2105 vsize=11586392 CPUtime=0.03 cores=0,2,4,6
/proc/2107/task/2112/stat : 2112 (java) S 2105 2107 1918 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581327125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2113] ppid=2105 vsize=11586392 CPUtime=0.08 cores=0,2,4,6
/proc/2107/task/2113/stat : 2113 (java) S 2105 2107 1918 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581224606760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2114] ppid=2105 vsize=11586392 CPUtime=0.03 cores=0,2,4,6
/proc/2107/task/2114/stat : 2114 (java) S 2105 2107 1918 0 -1 4202560 17 0 0 0 2 1 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581223553192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2115] ppid=2105 vsize=11586392 CPUtime=0.03 cores=0,2,4,6
/proc/2107/task/2115/stat : 2115 (java) S 2105 2107 1918 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581222500648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2116] ppid=2105 vsize=11586392 CPUtime=0.02 cores=0,2,4,6
/proc/2107/task/2116/stat : 2116 (java) S 2105 2107 1918 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581221448104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2117] ppid=2105 vsize=11586392 CPUtime=0.02 cores=0,2,4,6
/proc/2107/task/2117/stat : 2117 (java) S 2105 2107 1918 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 341074154 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581220395560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2118] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2118/stat : 2118 (java) S 2105 2107 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581207984744 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2119] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2119/stat : 2119 (java) S 2105 2107 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581206931064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2120] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2120/stat : 2120 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581205878408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2121] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2121/stat : 2121 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581204827152 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2122] ppid=2105 vsize=11586392 CPUtime=0.35 cores=0,2,4,6
/proc/2107/task/2122/stat : 2122 (java) S 2105 2107 1918 0 -1 4202560 1927 0 0 0 35 0 0 0 20 0 18 0 341074159 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581203773496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2123] ppid=2105 vsize=11586392 CPUtime=0.33 cores=0,2,4,6
/proc/2107/task/2123/stat : 2123 (java) S 2105 2107 1918 0 -1 4202560 3463 0 0 0 32 1 0 0 20 0 18 0 341074159 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581202720952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2124] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2124/stat : 2124 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581201668600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2125] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2125/stat : 2125 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 672498 33554432000 1073741824 1073778376 140733898112976 140581200616264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 11586392
[startup+6.30078 s]
/proc/loadavg: 3.97 2.59 1.84 4/213 2125
/proc/meminfo: memFree=21287532/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=8.29 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 11780 0 1 0 741 88 0 0 20 0 18 0 341074150 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 729131 2254 9 0 2887285 0
[pid=2107/tid=2109] ppid=2105 vsize=11586392 CPUtime=5.79 cores=0,2,4,6
/proc/2107/task/2109/stat : 2109 (java) R 2105 2107 1918 0 -1 4202560 4627 0 1 0 536 43 0 0 20 0 18 0 341074152 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581390491616 140581330598368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2110] ppid=2105 vsize=11586392 CPUtime=0.19 cores=0,2,4,6
/proc/2107/task/2110/stat : 2110 (java) S 2105 2107 1918 0 -1 4202560 74 0 0 0 13 6 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581329230504 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2111] ppid=2105 vsize=11586392 CPUtime=0.15 cores=0,2,4,6
/proc/2107/task/2111/stat : 2111 (java) S 2105 2107 1918 0 -1 4202560 50 0 0 0 11 4 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581328177960 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2112] ppid=2105 vsize=11586392 CPUtime=0.2 cores=0,2,4,6
/proc/2107/task/2112/stat : 2112 (java) S 2105 2107 1918 0 -1 4202560 72 0 0 0 14 6 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581327125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2113] ppid=2105 vsize=11586392 CPUtime=0.32 cores=0,2,4,6
/proc/2107/task/2113/stat : 2113 (java) S 2105 2107 1918 0 -1 4202560 107 0 0 0 25 7 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581224606760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2114] ppid=2105 vsize=11586392 CPUtime=0.15 cores=0,2,4,6
/proc/2107/task/2114/stat : 2114 (java) S 2105 2107 1918 0 -1 4202560 56 0 0 0 10 5 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581223553192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2115] ppid=2105 vsize=11586392 CPUtime=0.25 cores=0,2,4,6
/proc/2107/task/2115/stat : 2115 (java) S 2105 2107 1918 0 -1 4202560 89 0 0 0 18 7 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581222500648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2116] ppid=2105 vsize=11586392 CPUtime=0.2 cores=0,2,4,6
/proc/2107/task/2116/stat : 2116 (java) S 2105 2107 1918 0 -1 4202560 70 0 0 0 15 5 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581221448104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2117] ppid=2105 vsize=11586392 CPUtime=0.19 cores=0,2,4,6
/proc/2107/task/2117/stat : 2117 (java) S 2105 2107 1918 0 -1 4202560 66 0 0 0 15 4 0 0 20 0 18 0 341074154 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581220395560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2118] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2118/stat : 2118 (java) S 2105 2107 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581207984744 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2119] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2119/stat : 2119 (java) S 2105 2107 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581206931064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2120] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2120/stat : 2120 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341074156 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581205878408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2121] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2121/stat : 2121 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581204827152 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2122] ppid=2105 vsize=11586392 CPUtime=0.35 cores=0,2,4,6
/proc/2107/task/2122/stat : 2122 (java) S 2105 2107 1918 0 -1 4202560 1927 0 0 0 35 0 0 0 20 0 18 0 341074159 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581203773496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2123] ppid=2105 vsize=11586392 CPUtime=0.33 cores=0,2,4,6
/proc/2107/task/2123/stat : 2123 (java) S 2105 2107 1918 0 -1 4202560 3463 0 0 0 32 1 0 0 20 0 18 0 341074159 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581202720952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2124] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2124/stat : 2124 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581201668600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2125] ppid=2105 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2125/stat : 2125 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341074159 11864465408 729131 33554432000 1073741824 1073778376 140733898112976 140581200616264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 11586392
[startup+12.7008 s]
/proc/loadavg: 3.82 2.61 1.85 7/213 2125
/proc/meminfo: memFree=20772500/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11586392 CPUtime=17.32 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 12628 0 1 0 1574 158 0 0 20 0 18 0 341074150 11864465408 831553 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2896598 831553 2254 9 0 2887285 0
[pid=2107/tid=2109] ppid=2105 vsize=11586392 CPUtime=11.29 cores=0,2,4,6
################
# More data... #
################
/proc/2107/statm: 2963162 1405387 2289 9 0 2953849 0
[pid=2107/tid=2109] ppid=2105 vsize=11852648 CPUtime=51.08 cores=0,2,4,6
/proc/2107/task/2109/stat : 2109 (java) S 2105 2107 1918 0 -1 4202560 4680 0 1 0 5055 53 0 0 20 0 22 0 341074152 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581390501016 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2110] ppid=2105 vsize=11852648 CPUtime=5.23 cores=0,2,4,6
/proc/2107/task/2110/stat : 2110 (java) S 2105 2107 1918 0 -1 4202560 1109 0 0 0 480 43 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581329230504 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2111] ppid=2105 vsize=11852648 CPUtime=4.72 cores=0,2,4,6
/proc/2107/task/2111/stat : 2111 (java) S 2105 2107 1918 0 -1 4202560 1355 0 0 0 433 39 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581328177960 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2112] ppid=2105 vsize=11852648 CPUtime=4.4 cores=0,2,4,6
/proc/2107/task/2112/stat : 2112 (java) S 2105 2107 1918 0 -1 4202560 1017 0 0 0 404 36 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581327125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2113] ppid=2105 vsize=11852648 CPUtime=4.97 cores=0,2,4,6
/proc/2107/task/2113/stat : 2113 (java) S 2105 2107 1918 0 -1 4202560 1043 0 0 0 453 44 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581224606760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2114] ppid=2105 vsize=11852648 CPUtime=5.09 cores=0,2,4,6
/proc/2107/task/2114/stat : 2114 (java) S 2105 2107 1918 0 -1 4202560 1088 0 0 0 466 43 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581223553192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2115] ppid=2105 vsize=11852648 CPUtime=5.05 cores=0,2,4,6
/proc/2107/task/2115/stat : 2115 (java) S 2105 2107 1918 0 -1 4202560 1162 0 0 0 463 42 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581222500648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2116] ppid=2105 vsize=11852648 CPUtime=4.73 cores=0,2,4,6
/proc/2107/task/2116/stat : 2116 (java) S 2105 2107 1918 0 -1 4202560 924 0 0 0 438 35 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581221448104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2117] ppid=2105 vsize=11852648 CPUtime=4.36 cores=0,2,4,6
/proc/2107/task/2117/stat : 2117 (java) S 2105 2107 1918 0 -1 4202560 992 0 0 0 401 35 0 0 20 0 22 0 341074154 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581220395560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2118] ppid=2105 vsize=11852648 CPUtime=146.19 cores=0,2,4,6
/proc/2107/task/2118/stat : 2118 (java) S 2105 2107 1918 0 -1 4202560 41547 0 0 0 14606 13 0 0 20 0 22 0 341074156 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581207984744 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2119] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2119/stat : 2119 (java) S 2105 2107 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341074156 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581206931064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2120] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2120/stat : 2120 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341074156 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581205878408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2121] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2121/stat : 2121 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341074159 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581204827152 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2122] ppid=2105 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/2107/task/2122/stat : 2122 (java) S 2105 2107 1918 0 -1 4202560 7210 0 0 0 150 2 0 0 20 0 22 0 341074159 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581203773496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2123] ppid=2105 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/2107/task/2123/stat : 2123 (java) S 2105 2107 1918 0 -1 4202560 4100 0 0 0 89 1 0 0 20 0 22 0 341074159 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581202720952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2124] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2124/stat : 2124 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341074159 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581201668600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2125] ppid=2105 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/2107/task/2125/stat : 2125 (java) S 2105 2107 1918 0 -1 4202560 50 0 0 0 15 15 0 0 20 0 22 0 341074159 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581200616264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2126] ppid=2105 vsize=11852648 CPUtime=672.48 cores=0,2,4,6
/proc/2107/task/2126/stat : 2126 (java) R 2105 2107 1918 0 -1 4202560 73 0 0 0 67237 11 0 0 20 0 22 0 341079911 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581199560368 140581331372568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2127] ppid=2105 vsize=11852648 CPUtime=672.41 cores=0,2,4,6
/proc/2107/task/2127/stat : 2127 (java) R 2105 2107 1918 0 -1 4202560 142 0 0 0 67230 11 0 0 20 0 22 0 341079911 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581198506800 140581331083539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2128] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2128/stat : 2128 (java) S 2105 2107 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341079917 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581197456936 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2129] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2129/stat : 2129 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341079917 12137111552 1405387 33554432000 1073741824 1073778376 140733898112976 140581196404392 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1587.37
Current children cumulated vsize (KiB) 11852648
[startup+942.301 s]
/proc/loadavg: 3.88 3.79 3.07 5/217 2220
/proc/meminfo: memFree=18719168/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11852648 CPUtime=1700.23 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 70055 0 1 0 169621 402 0 0 20 0 22 0 341074150 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2963162 1411016 2289 9 0 2953849 0
[pid=2107/tid=2109] ppid=2105 vsize=11852648 CPUtime=51.09 cores=0,2,4,6
/proc/2107/task/2109/stat : 2109 (java) S 2105 2107 1918 0 -1 4202560 4681 0 1 0 5056 53 0 0 20 0 22 0 341074152 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581390501016 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2110] ppid=2105 vsize=11852648 CPUtime=5.33 cores=0,2,4,6
/proc/2107/task/2110/stat : 2110 (java) S 2105 2107 1918 0 -1 4202560 1117 0 0 0 489 44 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581329230504 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2111] ppid=2105 vsize=11852648 CPUtime=4.81 cores=0,2,4,6
/proc/2107/task/2111/stat : 2111 (java) S 2105 2107 1918 0 -1 4202560 1357 0 0 0 442 39 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581328177960 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2112] ppid=2105 vsize=11852648 CPUtime=4.5 cores=0,2,4,6
/proc/2107/task/2112/stat : 2112 (java) S 2105 2107 1918 0 -1 4202560 1019 0 0 0 414 36 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581327125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2113] ppid=2105 vsize=11852648 CPUtime=5.06 cores=0,2,4,6
/proc/2107/task/2113/stat : 2113 (java) S 2105 2107 1918 0 -1 4202560 1044 0 0 0 462 44 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581224606760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2114] ppid=2105 vsize=11852648 CPUtime=5.19 cores=0,2,4,6
/proc/2107/task/2114/stat : 2114 (java) S 2105 2107 1918 0 -1 4202560 1096 0 0 0 475 44 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581223553192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2115] ppid=2105 vsize=11852648 CPUtime=5.15 cores=0,2,4,6
/proc/2107/task/2115/stat : 2115 (java) S 2105 2107 1918 0 -1 4202560 1167 0 0 0 473 42 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581222500648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2116] ppid=2105 vsize=11852648 CPUtime=4.84 cores=0,2,4,6
/proc/2107/task/2116/stat : 2116 (java) S 2105 2107 1918 0 -1 4202560 928 0 0 0 449 35 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581221448104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2117] ppid=2105 vsize=11852648 CPUtime=4.45 cores=0,2,4,6
/proc/2107/task/2117/stat : 2117 (java) S 2105 2107 1918 0 -1 4202560 993 0 0 0 409 36 0 0 20 0 22 0 341074154 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581220395560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2118] ppid=2105 vsize=11852648 CPUtime=153.64 cores=0,2,4,6
/proc/2107/task/2118/stat : 2118 (java) S 2105 2107 1918 0 -1 4202560 43882 0 0 0 15350 14 0 0 20 0 22 0 341074156 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581207984744 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2119] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2119/stat : 2119 (java) S 2105 2107 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341074156 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581206931064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2120] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2120/stat : 2120 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341074156 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581205878408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2121] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2121/stat : 2121 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341074159 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581204827152 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2122] ppid=2105 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/2107/task/2122/stat : 2122 (java) S 2105 2107 1918 0 -1 4202560 7210 0 0 0 150 2 0 0 20 0 22 0 341074159 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581203773496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2123] ppid=2105 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/2107/task/2123/stat : 2123 (java) S 2105 2107 1918 0 -1 4202560 4100 0 0 0 89 1 0 0 20 0 22 0 341074159 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581202720952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2124] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2124/stat : 2124 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341074159 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581201668600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2125] ppid=2105 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/2107/task/2125/stat : 2125 (java) S 2105 2107 1918 0 -1 4202560 54 0 0 0 16 16 0 0 20 0 22 0 341074159 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581200616264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2126] ppid=2105 vsize=11852648 CPUtime=724.65 cores=0,2,4,6
/proc/2107/task/2126/stat : 2126 (java) R 2105 2107 1918 0 -1 4202560 73 0 0 0 72453 12 0 0 20 0 22 0 341079911 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581199559424 140581331083084 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2127] ppid=2105 vsize=11852648 CPUtime=724.57 cores=0,2,4,6
/proc/2107/task/2127/stat : 2127 (java) R 2105 2107 1918 0 -1 4202560 148 0 0 0 72445 12 0 0 20 0 22 0 341079911 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581198507696 140581331083084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2128] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2128/stat : 2128 (java) S 2105 2107 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341079917 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581197456936 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2129] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2129/stat : 2129 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341079917 12137111552 1411016 33554432000 1073741824 1073778376 140733898112976 140581196404392 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1700.23
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+994.507 s]
/proc/loadavg: 3.89 3.80 3.11 5/217 2220
/proc/meminfo: memFree=18707004/32873852 swapFree=7624/7624
[pid=2107] ppid=2105 vsize=11852648 CPUtime=1800.06 cores=0,2,4,6
/proc/2107/stat : 2107 (java) S 2105 2107 1918 0 -1 4202496 72608 0 1 0 179601 405 0 0 20 0 22 0 341074150 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140733898104112 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2107/statm: 2963162 1411019 2289 9 0 2953849 0
[pid=2107/tid=2109] ppid=2105 vsize=11852648 CPUtime=51.09 cores=0,2,4,6
/proc/2107/task/2109/stat : 2109 (java) S 2105 2107 1918 0 -1 4202560 4683 0 1 0 5056 53 0 0 20 0 22 0 341074152 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581390501016 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2110] ppid=2105 vsize=11852648 CPUtime=5.43 cores=0,2,4,6
/proc/2107/task/2110/stat : 2110 (java) S 2105 2107 1918 0 -1 4202560 1117 0 0 0 499 44 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581329230504 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2111] ppid=2105 vsize=11852648 CPUtime=4.92 cores=0,2,4,6
/proc/2107/task/2111/stat : 2111 (java) S 2105 2107 1918 0 -1 4202560 1357 0 0 0 453 39 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581328177960 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2112] ppid=2105 vsize=11852648 CPUtime=4.6 cores=0,2,4,6
/proc/2107/task/2112/stat : 2112 (java) S 2105 2107 1918 0 -1 4202560 1019 0 0 0 423 37 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581327125416 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2113] ppid=2105 vsize=11852648 CPUtime=5.18 cores=0,2,4,6
/proc/2107/task/2113/stat : 2113 (java) S 2105 2107 1918 0 -1 4202560 1044 0 0 0 474 44 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581224606760 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2114] ppid=2105 vsize=11852648 CPUtime=5.27 cores=0,2,4,6
/proc/2107/task/2114/stat : 2114 (java) S 2105 2107 1918 0 -1 4202560 1096 0 0 0 483 44 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581223553192 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2107/tid=2115] ppid=2105 vsize=11852648 CPUtime=5.24 cores=0,2,4,6
/proc/2107/task/2115/stat : 2115 (java) S 2105 2107 1918 0 -1 4202560 1167 0 0 0 482 42 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581222500648 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2116] ppid=2105 vsize=11852648 CPUtime=4.91 cores=0,2,4,6
/proc/2107/task/2116/stat : 2116 (java) S 2105 2107 1918 0 -1 4202560 928 0 0 0 456 35 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581221448104 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2117] ppid=2105 vsize=11852648 CPUtime=4.59 cores=0,2,4,6
/proc/2107/task/2117/stat : 2117 (java) S 2105 2107 1918 0 -1 4202560 993 0 0 0 423 36 0 0 20 0 22 0 341074154 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581220395560 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2118] ppid=2105 vsize=11852648 CPUtime=158.59 cores=0,2,4,6
/proc/2107/task/2118/stat : 2118 (java) S 2105 2107 1918 0 -1 4202560 46426 0 0 0 15843 16 0 0 20 0 22 0 341074156 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581207984744 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2119] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2119/stat : 2119 (java) S 2105 2107 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341074156 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581206931064 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2120] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2120/stat : 2120 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341074156 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581205878408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2121] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2121/stat : 2121 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341074159 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581204827152 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2122] ppid=2105 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/2107/task/2122/stat : 2122 (java) S 2105 2107 1918 0 -1 4202560 7210 0 0 0 150 2 0 0 20 0 22 0 341074159 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581203773496 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2123] ppid=2105 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/2107/task/2123/stat : 2123 (java) S 2105 2107 1918 0 -1 4202560 4100 0 0 0 89 1 0 0 20 0 22 0 341074159 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581202720952 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2124] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2124/stat : 2124 (java) S 2105 2107 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341074159 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581201668600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2125] ppid=2105 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/2107/task/2125/stat : 2125 (java) S 2105 2107 1918 0 -1 4202560 56 0 0 0 17 17 0 0 20 0 22 0 341074159 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581200616264 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2126] ppid=2105 vsize=11852648 CPUtime=771.56 cores=0,2,4,6
/proc/2107/task/2126/stat : 2126 (java) R 2105 2107 1918 0 -1 4202560 75 0 0 0 77144 12 0 0 20 0 22 0 341079911 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581199560368 140581331083664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2107/tid=2127] ppid=2105 vsize=11852648 CPUtime=771.49 cores=0,2,4,6
/proc/2107/task/2127/stat : 2127 (java) R 2105 2107 1918 0 -1 4202560 151 0 0 0 77137 12 0 0 20 0 22 0 341079911 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581198506864 140581398264929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2107/tid=2128] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2128/stat : 2128 (java) S 2105 2107 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341079917 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581197456936 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2107/tid=2129] ppid=2105 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/2107/task/2129/stat : 2129 (java) S 2105 2107 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341079917 12137111552 1411019 33554432000 1073741824 1073778376 140733898112976 140581196404392 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2107 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=468655
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=521312
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 994.572
CPU time (s): 1800.06
CPU user time (s): 1796.01
CPU system time (s): 4.05
CPU usage (%): 180.988
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.47
system time used= 4.52131
maximum resident set size= 5654232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72641
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29378
involuntary context switches= 49850
runsolver used 3.86241 second user time and 8.22275 second system time
The end