runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454397-1307187709/watcher-3454397-1307187709 -o /tmp/evaluation-result-3454397-1307187709/solver-3454397-1307187709 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454397-1307187709.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.44 3.41 2.72 3/548 21380
/proc/meminfo: memFree=24389720/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 5321 0 1 0 0 0 0 0 23 0 2 0 909001609 10694979584 5023 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2611079 5037 917 9 0 2602235 0
[pid=21380/tid=21381] ppid=21378 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21380 18760 0 -1 4202560 5975 0 1 0 0 0 0 0 18 0 2 0 909001610 10694979584 6791 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.064529 s]
/proc/loadavg: 3.44 3.41 2.72 3/548 21380
/proc/meminfo: memFree=24389720/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 11673 0 1 0 4 1 0 0 23 0 18 0 909001609 10724274176 11370 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2618231 11370 1733 9 0 2608972 0
[pid=21380/tid=21381] ppid=21378 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21380 18760 0 -1 4202560 10500 0 1 0 3 1 0 0 25 0 18 0 909001610 10724274176 11371 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 47405140464387 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100525 s]
/proc/loadavg: 3.44 3.41 2.72 3/548 21380
/proc/meminfo: memFree=24389720/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10540740 CPUtime=0.09 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 13029 0 1 0 8 1 0 0 23 0 18 0 909001609 10793717760 12703 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2635185 12704 2092 9 0 2625919 0
[pid=21380/tid=21381] ppid=21378 vsize=10540740 CPUtime=0.08 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21380 18760 0 -1 4202560 11107 0 1 0 7 1 0 0 18 0 18 0 909001610 10793717760 12704 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540740
[startup+0.300455 s]
/proc/loadavg: 3.44 3.41 2.72 3/548 21380
/proc/meminfo: memFree=24389720/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10544836 CPUtime=0.56 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 19381 0 1 0 53 3 0 0 23 0 18 0 909001609 10797912064 18143 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2636209 18145 2199 9 0 2626943 0
[pid=21380/tid=21381] ppid=21378 vsize=10544836 CPUtime=0.27 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) R 21378 21380 18760 0 -1 4202560 14518 0 1 0 26 1 0 0 18 0 18 0 909001610 10797912064 18146 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10544836
[startup+0.700384 s]
/proc/loadavg: 3.44 3.41 2.72 3/548 21380
/proc/meminfo: memFree=24389720/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10560364 CPUtime=1.5 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 50153 0 1 0 143 7 0 0 23 0 22 0 909001609 10813812736 45849 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2640091 45849 2225 9 0 2630825 0
[pid=21380/tid=21381] ppid=21378 vsize=10560364 CPUtime=0.64 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) S 21378 21380 18760 0 -1 4202560 38882 0 1 0 58 6 0 0 19 0 22 0 909001610 10813812736 45849 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10560364
[startup+1.50128 s]
/proc/loadavg: 3.44 3.41 2.72 5/570 21402
/proc/meminfo: memFree=24173736/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10560364 CPUtime=3.96 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 99234 0 1 0 383 13 0 0 23 0 22 0 909001609 10813812736 91044 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2640091 91044 2237 9 0 2630825 0
[pid=21380/tid=21381] ppid=21378 vsize=10560364 CPUtime=0.64 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) S 21378 21380 18760 0 -1 4202560 38882 0 1 0 58 6 0 0 15 0 22 0 909001610 10813812736 91046 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21383] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909001612 10813812736 91052 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21384] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 91053 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21385] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 91053 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21386] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 91053 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21387] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 91057 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21388] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 91062 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 91062 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909001612 10813812736 91062 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21391] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21380 18760 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 909001613 10813812736 91064 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 0 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21392] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21380 18760 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 909001613 10813812736 91069 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21393] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 909001613 10813812736 91071 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21394] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 91071 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216747002289 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21395] ppid=21378 vsize=10560364 CPUtime=0.76 cores=1,3,5,7
/proc/21380/task/21395/stat : 21395 (java) S 21378 21380 18760 0 -1 4202560 5231 0 0 0 76 0 0 0 24 0 22 0 909001616 10813812736 91071 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21396] ppid=21378 vsize=10560364 CPUtime=0.86 cores=1,3,5,7
/proc/21380/task/21396/stat : 21396 (java) S 21378 21380 18760 0 -1 4202560 8315 0 0 0 85 1 0 0 25 0 22 0 909001616 10813812736 91076 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21397] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21397/stat : 21397 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 91081 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21398] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21398/stat : 21398 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909001616 10813812736 91081 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21399] ppid=21378 vsize=10560364 CPUtime=0.83 cores=1,3,5,7
/proc/21380/task/21399/stat : 21399 (java) R 21378 21380 18760 0 -1 4202560 956 0 0 0 83 0 0 0 18 0 22 0 909001676 10813812736 91081 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505810808 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21380/tid=21400] ppid=21378 vsize=10560364 CPUtime=0.82 cores=1,3,5,7
/proc/21380/task/21400/stat : 21400 (java) R 21378 21380 18760 0 -1 4202560 44723 0 0 0 78 4 0 0 25 0 22 0 909001676 10813812736 91082 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505591638 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21380/tid=21401] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21401/stat : 21401 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909001679 10813812736 91087 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21402] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21402/stat : 21402 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909001679 10813812736 91090 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 10560364
[startup+3.101 s]
/proc/loadavg: 3.44 3.41 2.72 5/570 21402
/proc/meminfo: memFree=23872416/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10560364 CPUtime=7.27 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 213106 0 1 0 700 27 0 0 23 0 22 0 909001609 10813812736 204875 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2640091 204880 2237 9 0 2630825 0
[pid=21380/tid=21381] ppid=21378 vsize=10560364 CPUtime=0.64 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) S 21378 21380 18760 0 -1 4202560 38882 0 1 0 58 6 0 0 15 0 22 0 909001610 10813812736 204881 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21383] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909001612 10813812736 204883 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21384] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 204887 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21385] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 204888 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21386] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 204891 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21387] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 204894 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21388] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 204894 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909001612 10813812736 204899 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909001612 10813812736 204901 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21391] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21380 18760 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 909001613 10813812736 204903 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 0 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21392] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21380 18760 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 909001613 10813812736 204907 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21393] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 909001613 10813812736 204908 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21394] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 204911 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216747002289 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21395] ppid=21378 vsize=10560364 CPUtime=0.82 cores=1,3,5,7
/proc/21380/task/21395/stat : 21395 (java) S 21378 21380 18760 0 -1 4202560 5238 0 0 0 82 0 0 0 15 0 22 0 909001616 10813812736 204914 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21396] ppid=21378 vsize=10560364 CPUtime=0.91 cores=1,3,5,7
/proc/21380/task/21396/stat : 21396 (java) S 21378 21380 18760 0 -1 4202560 8361 0 0 0 90 1 0 0 19 0 22 0 909001616 10813812736 204914 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21397] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21397/stat : 21397 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 204919 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21398] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21398/stat : 21398 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909001616 10813812736 204920 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21399] ppid=21378 vsize=10560364 CPUtime=2.43 cores=1,3,5,7
/proc/21380/task/21399/stat : 21399 (java) R 21378 21380 18760 0 -1 4202560 3266 0 0 0 243 0 0 0 19 0 22 0 909001676 10813812736 204922 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912506039080 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21380/tid=21400] ppid=21378 vsize=10560364 CPUtime=2.43 cores=1,3,5,7
/proc/21380/task/21400/stat : 21400 (java) R 21378 21380 18760 0 -1 4202560 156246 0 0 0 225 18 0 0 19 0 22 0 909001676 10813812736 204927 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505591634 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21380/tid=21401] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21401/stat : 21401 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909001679 10813812736 204927 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21402] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21402/stat : 21402 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909001679 10813812736 204930 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 10560364
[startup+6.30552 s]
/proc/loadavg: 3.48 3.42 2.72 4/570 21403
/proc/meminfo: memFree=22849708/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10560364 CPUtime=13.73 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 474932 0 1 0 1318 55 0 0 23 0 22 0 909001609 10813812736 466688 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2640091 466700 2259 9 0 2630825 0
[pid=21380/tid=21381] ppid=21378 vsize=10560364 CPUtime=0.64 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) S 21378 21380 18760 0 -1 4202560 38883 0 1 0 58 6 0 0 15 0 22 0 909001610 10813812736 466706 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21383] ppid=21378 vsize=10560364 CPUtime=0.02 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21380 18760 0 -1 4202560 2228 0 0 0 2 0 0 0 18 0 22 0 909001612 10813812736 466714 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21384] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909001612 10813812736 466721 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21385] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909001612 10813812736 466728 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21386] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909001612 10813812736 466737 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21387] ppid=21378 vsize=10560364 CPUtime=0.01 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21380 18760 0 -1 4202560 1031 0 0 0 1 0 0 0 18 0 22 0 909001612 10813812736 466743 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21388] ppid=21378 vsize=10560364 CPUtime=0.02 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21380 18760 0 -1 4202560 2334 0 0 0 2 0 0 0 18 0 22 0 909001612 10813812736 466751 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=10560364 CPUtime=0.02 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21380 18760 0 -1 4202560 4053 0 0 0 2 0 0 0 18 0 22 0 909001612 10813812736 466757 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909001612 10813812736 466764 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=15987628/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10560364 CPUtime=1637.58 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 1053518 0 1 0 163634 124 0 0 23 0 22 0 909001609 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2640091 1037865 2263 9 0 2630825 0
[pid=21380/tid=21381] ppid=21378 vsize=10560364 CPUtime=0.64 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) S 21378 21380 18760 0 -1 4202560 38900 0 1 0 58 6 0 0 15 0 22 0 909001610 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21383] ppid=21378 vsize=10560364 CPUtime=0.83 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21380 18760 0 -1 4202560 30726 0 0 0 79 4 0 0 15 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21384] ppid=21378 vsize=10560364 CPUtime=0.91 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21380 18760 0 -1 4202560 23342 0 0 0 88 3 0 0 16 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21385] ppid=21378 vsize=10560364 CPUtime=0.91 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21380 18760 0 -1 4202560 16984 0 0 0 89 2 0 0 16 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21386] ppid=21378 vsize=10560364 CPUtime=0.88 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21380 18760 0 -1 4202560 29587 0 0 0 85 3 0 0 15 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21387] ppid=21378 vsize=10560364 CPUtime=0.95 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21380 18760 0 -1 4202560 25567 0 0 0 92 3 0 0 16 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21388] ppid=21378 vsize=10560364 CPUtime=0.87 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21380 18760 0 -1 4202560 27667 0 0 0 83 4 0 0 16 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=10560364 CPUtime=0.78 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21380 18760 0 -1 4202560 28368 0 0 0 75 3 0 0 15 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=10560364 CPUtime=0.87 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21380 18760 0 -1 4202560 36612 0 0 0 81 6 0 0 16 0 22 0 909001612 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21391] ppid=21378 vsize=10560364 CPUtime=11.61 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21380 18760 0 -1 4202560 33485 0 0 0 1157 4 0 0 15 0 22 0 909001613 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 0 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21392] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21380 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909001613 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21393] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21380 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909001613 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21394] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216747002289 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21395] ppid=21378 vsize=10560364 CPUtime=1.1 cores=1,3,5,7
/proc/21380/task/21395/stat : 21395 (java) S 21378 21380 18760 0 -1 4202560 5279 0 0 0 110 0 0 0 15 0 22 0 909001616 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21396] ppid=21378 vsize=10560364 CPUtime=1.26 cores=1,3,5,7
/proc/21380/task/21396/stat : 21396 (java) S 21378 21380 18760 0 -1 4202560 10499 0 0 0 125 1 0 0 15 0 22 0 909001616 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21397] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21397/stat : 21397 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21398] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21398/stat : 21398 (java) S 21378 21380 18760 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 909001616 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21399] ppid=21378 vsize=10560364 CPUtime=807.91 cores=1,3,5,7
/proc/21380/task/21399/stat : 21399 (java) R 21378 21380 18760 0 -1 4202560 8580 0 0 0 80790 1 0 0 25 0 22 0 909001676 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912506021760 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21380/tid=21400] ppid=21378 vsize=10560364 CPUtime=807.93 cores=1,3,5,7
/proc/21380/task/21400/stat : 21400 (java) R 21378 21380 18760 0 -1 4202560 736718 0 0 0 80715 78 0 0 25 0 22 0 909001676 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505998464 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21380/tid=21401] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21401/stat : 21401 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909001679 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21402] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21402/stat : 21402 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909001679 10813812736 1037865 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1637.58
Current children cumulated vsize (KiB) 10560364
[startup+882.301 s]
/proc/loadavg: 3.82 3.82 3.38 5/570 21475
/proc/meminfo: memFree=15921124/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10560364 CPUtime=1754.86 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 1065647 0 1 0 175359 127 0 0 23 0 22 0 909001609 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2640091 1049235 2263 9 0 2630825 0
[pid=21380/tid=21381] ppid=21378 vsize=10560364 CPUtime=0.64 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) S 21378 21380 18760 0 -1 4202560 38901 0 1 0 58 6 0 0 15 0 22 0 909001610 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21383] ppid=21378 vsize=10560364 CPUtime=0.93 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21380 18760 0 -1 4202560 33475 0 0 0 89 4 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21384] ppid=21378 vsize=10560364 CPUtime=0.99 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21380 18760 0 -1 4202560 23343 0 0 0 96 3 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21385] ppid=21378 vsize=10560364 CPUtime=1.02 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21380 18760 0 -1 4202560 16984 0 0 0 100 2 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21386] ppid=21378 vsize=10560364 CPUtime=0.97 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21380 18760 0 -1 4202560 32863 0 0 0 93 4 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21387] ppid=21378 vsize=10560364 CPUtime=1 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21380 18760 0 -1 4202560 28419 0 0 0 96 4 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21388] ppid=21378 vsize=10560364 CPUtime=0.93 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21380 18760 0 -1 4202560 27667 0 0 0 89 4 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=10560364 CPUtime=0.82 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21380 18760 0 -1 4202560 28368 0 0 0 79 3 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=10560364 CPUtime=1.02 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21380 18760 0 -1 4202560 39843 0 0 0 96 6 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21391] ppid=21378 vsize=10560364 CPUtime=14.68 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21380 18760 0 -1 4202560 33489 0 0 0 1464 4 0 0 17 0 22 0 909001613 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 0 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21392] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21380 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909001613 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21393] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21380 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909001613 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21394] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216747002289 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21395] ppid=21378 vsize=10560364 CPUtime=1.1 cores=1,3,5,7
/proc/21380/task/21395/stat : 21395 (java) S 21378 21380 18760 0 -1 4202560 5279 0 0 0 110 0 0 0 15 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21396] ppid=21378 vsize=10560364 CPUtime=1.28 cores=1,3,5,7
/proc/21380/task/21396/stat : 21396 (java) S 21378 21380 18760 0 -1 4202560 10501 0 0 0 127 1 0 0 15 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21397] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21397/stat : 21397 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21398] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21398/stat : 21398 (java) S 21378 21380 18760 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21399] ppid=21378 vsize=10560364 CPUtime=864.65 cores=1,3,5,7
/proc/21380/task/21399/stat : 21399 (java) R 21378 21380 18760 0 -1 4202560 8587 0 0 0 86464 1 0 0 18 0 22 0 909001676 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505811748 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21380/tid=21400] ppid=21378 vsize=10560364 CPUtime=864.67 cores=1,3,5,7
/proc/21380/task/21400/stat : 21400 (java) R 21378 21380 18760 0 -1 4202560 736720 0 0 0 86389 78 0 0 18 0 22 0 909001676 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505591818 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21380/tid=21401] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21401/stat : 21401 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909001679 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21402] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21402/stat : 21402 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909001679 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1754.86
Current children cumulated vsize (KiB) 10560364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.201 s]
/proc/loadavg: 3.94 3.85 3.40 6/570 21476
/proc/meminfo: memFree=15900272/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=10560364 CPUtime=1800.09 cores=1,3,5,7
/proc/21380/stat : 21380 (java) S 21378 21380 18760 0 -1 4202496 1065654 0 1 0 179882 127 0 0 23 0 22 0 909001609 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 2640091 1049235 2263 9 0 2630825 0
[pid=21380/tid=21381] ppid=21378 vsize=10560364 CPUtime=0.64 cores=1,3,5,7
/proc/21380/task/21381/stat : 21381 (java) S 21378 21380 18760 0 -1 4202560 38901 0 1 0 58 6 0 0 15 0 22 0 909001610 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21383] ppid=21378 vsize=10560364 CPUtime=0.98 cores=1,3,5,7
/proc/21380/task/21383/stat : 21383 (java) S 21378 21380 18760 0 -1 4202560 33475 0 0 0 94 4 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21384] ppid=21378 vsize=10560364 CPUtime=1.02 cores=1,3,5,7
/proc/21380/task/21384/stat : 21384 (java) S 21378 21380 18760 0 -1 4202560 23343 0 0 0 99 3 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21385] ppid=21378 vsize=10560364 CPUtime=1.09 cores=1,3,5,7
/proc/21380/task/21385/stat : 21385 (java) S 21378 21380 18760 0 -1 4202560 16984 0 0 0 107 2 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21386] ppid=21378 vsize=10560364 CPUtime=0.99 cores=1,3,5,7
/proc/21380/task/21386/stat : 21386 (java) S 21378 21380 18760 0 -1 4202560 32863 0 0 0 95 4 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21387] ppid=21378 vsize=10560364 CPUtime=1.05 cores=1,3,5,7
/proc/21380/task/21387/stat : 21387 (java) S 21378 21380 18760 0 -1 4202560 28419 0 0 0 101 4 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21388] ppid=21378 vsize=10560364 CPUtime=0.98 cores=1,3,5,7
/proc/21380/task/21388/stat : 21388 (java) S 21378 21380 18760 0 -1 4202560 27667 0 0 0 94 4 0 0 16 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21389] ppid=21378 vsize=10560364 CPUtime=0.82 cores=1,3,5,7
/proc/21380/task/21389/stat : 21389 (java) S 21378 21380 18760 0 -1 4202560 28368 0 0 0 79 3 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21390] ppid=21378 vsize=10560364 CPUtime=1.09 cores=1,3,5,7
/proc/21380/task/21390/stat : 21390 (java) S 21378 21380 18760 0 -1 4202560 39843 0 0 0 103 6 0 0 15 0 22 0 909001612 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21391] ppid=21378 vsize=10560364 CPUtime=15.44 cores=1,3,5,7
/proc/21380/task/21391/stat : 21391 (java) S 21378 21380 18760 0 -1 4202560 33491 0 0 0 1540 4 0 0 15 0 22 0 909001613 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 0 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21392] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21392/stat : 21392 (java) S 21378 21380 18760 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909001613 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21393] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21393/stat : 21393 (java) S 21378 21380 18760 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909001613 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21394] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21394/stat : 21394 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216747002289 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21395] ppid=21378 vsize=10560364 CPUtime=1.1 cores=1,3,5,7
/proc/21380/task/21395/stat : 21395 (java) S 21378 21380 18760 0 -1 4202560 5279 0 0 0 110 0 0 0 15 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
[pid=21380/tid=21396] ppid=21378 vsize=10560364 CPUtime=1.28 cores=1,3,5,7
/proc/21380/task/21396/stat : 21396 (java) S 21378 21380 18760 0 -1 4202560 10501 0 0 0 127 1 0 0 15 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 1 0 0 0
[pid=21380/tid=21397] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21397/stat : 21397 (java) S 21378 21380 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746994585 0 4 0 16800975 18446604454681760192 0 0 -1 3 0 0 0
[pid=21380/tid=21398] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21398/stat : 21398 (java) S 21378 21380 18760 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909001616 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21399] ppid=21378 vsize=10560364 CPUtime=886.72 cores=1,3,5,7
/proc/21380/task/21399/stat : 21399 (java) R 21378 21380 18760 0 -1 4202560 8589 0 0 0 88671 1 0 0 19 0 22 0 909001676 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912506039513 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21380/tid=21400] ppid=21378 vsize=10560364 CPUtime=886.75 cores=1,3,5,7
/proc/21380/task/21400/stat : 21400 (java) R 21378 21380 18760 0 -1 4202560 736721 0 0 0 88597 78 0 0 19 0 22 0 909001676 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 46912505947112 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21380/tid=21401] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21401/stat : 21401 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909001679 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 5 0 0 0
[pid=21380/tid=21402] ppid=21378 vsize=10560364 CPUtime=0 cores=1,3,5,7
/proc/21380/task/21402/stat : 21402 (java) S 21378 21380 18760 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909001679 10813812736 1049235 33554432000 1073741824 1073778376 140735926081712 18446744073709551615 216746995200 0 4 0 16800975 18446604454681760192 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10560364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.401 s]
/proc/loadavg: 3.94 3.85 3.40 6/570 21476
/proc/meminfo: memFree=15900272/32951124 swapFree=56241860/67111528
[pid=21380] ppid=21378 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/21380/stat : 21380 (java) Z 21378 21380 18760 0 -1 4203548 1065687 0 1 0 179887 141 0 0 17 0 2 0 909001609 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21380/statm: 0 0 0 0 0 0 0
[pid=21380/tid=21401] ppid=21378 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/21380/task/21401/stat : 21401 (java) R 21378 21380 18760 0 -1 4203588 7 0 0 0 0 14 0 0 18 0 2 0 909001679 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 905.427
CPU time (s): 1800.31
CPU user time (s): 1798.87
CPU system time (s): 1.43778
CPU usage (%): 198.836
Max. virtual memory (cumulated for all children) (KiB): 10560364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.87
system time used= 1.43778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1065687
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24202
involuntary context switches= 24869
runsolver used 4.6303 second user time and 11.8552 second system time
The end