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-3734720-1338752697/watcher-3734720-1338752697 -o /tmp/evaluation-result-3734720-1338752697/solver-3734720-1338752697 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3734720-1338752697.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 13780
/proc/meminfo: memFree=28950504/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13780/stat : 13780 (java6) R 13778 13780 13299 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 341395134 9515008 185 33554432000 1073741824 1073778376 140735759199936 140735759191160 214537235895 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 2325 185 142 9 0 73 0
[startup+0.044656 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 13780
/proc/meminfo: memFree=28950504/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 3679 0 1 0 2 0 0 0 20 0 13 0 341395134 2371293184 4887 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 578929 4887 1697 9 0 569630 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2315716
[startup+0.100266 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 13780
/proc/meminfo: memFree=28950504/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 4695 0 1 0 9 1 0 0 20 0 18 0 341395134 2712133632 6413 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 662142 6413 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300175 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 13780
/proc/meminfo: memFree=28950504/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 7629 0 1 0 54 2 0 0 20 0 19 0 341395134 2780295168 11145 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 11145 2218 9 0 669476 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2715132
[startup+0.700193 s]
/proc/loadavg: 2.11 2.05 2.01 3/194 13780
/proc/meminfo: memFree=28950504/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=1.03 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 7878 0 1 0 100 3 0 0 20 0 19 0 341395134 2780295168 23466 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 23466 2224 9 0 669476 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 2715132
[startup+1.50073 s]
/proc/loadavg: 2.11 2.05 2.01 3/213 13799
/proc/meminfo: memFree=28827968/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=1.84 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 7930 0 1 0 180 4 0 0 20 0 19 0 341395134 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 44979 2226 9 0 669476 0
[pid=13780/tid=13782] ppid=13778 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/13780/task/13782/stat : 13782 (java) R 13778 13780 13299 0 -1 4202560 2832 0 1 0 143 3 0 0 20 0 19 0 341395135 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398538558016 140398404470099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13783] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13783/stat : 13783 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398523009576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13784] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13784/stat : 13784 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398404037032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13785] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13785/stat : 13785 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398402984232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13786] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13786/stat : 13786 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398401931432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13787] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13787/stat : 13787 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398400879656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13788] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13788/stat : 13788 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398399826856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13789] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13789/stat : 13789 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398398774056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13790] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13790/stat : 13790 (java) S 13778 13780 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140398397721256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13791] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13791/stat : 13791 (java) S 13778 13780 13299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341395137 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397915392488 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13792] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13792/stat : 13792 (java) S 13778 13780 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397914338552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13793] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13793/stat : 13793 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397913285640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13794] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13794/stat : 13794 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397912234128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13795] ppid=13778 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13780/task/13795/stat : 13795 (java) S 13778 13780 13299 0 -1 4202560 1183 0 0 0 17 0 0 0 20 0 19 0 341395140 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397911182264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13796] ppid=13778 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13780/task/13796/stat : 13796 (java) S 13778 13780 13299 0 -1 4202560 2720 0 0 0 17 0 0 0 20 0 19 0 341395140 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397910129464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13797] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13797/stat : 13797 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397909076856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13798] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13798/stat : 13798 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397908024264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13799] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13799/stat : 13799 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395146 2780295168 44979 33554432000 1073741824 1073778376 140735486936800 140397906969768 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 2715132
[startup+3.10072 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 13799
/proc/meminfo: memFree=28723024/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=3.44 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 7983 0 1 0 339 5 0 0 20 0 19 0 341395134 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 71603 2226 9 0 669476 0
[pid=13780/tid=13782] ppid=13778 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/13780/task/13782/stat : 13782 (java) R 13778 13780 13299 0 -1 4202560 2885 0 1 0 302 4 0 0 20 0 19 0 341395135 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398538558136 140398404591112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13783] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13783/stat : 13783 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398523009576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13784] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13784/stat : 13784 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398404037032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13785] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13785/stat : 13785 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398402984232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13786] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13786/stat : 13786 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398401931432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13787] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13787/stat : 13787 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398400879656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13788] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13788/stat : 13788 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398399826856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13789] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13789/stat : 13789 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398398774056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13790] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13790/stat : 13790 (java) S 13778 13780 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140398397721256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13791] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13791/stat : 13791 (java) S 13778 13780 13299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341395137 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397915392488 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13792] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13792/stat : 13792 (java) S 13778 13780 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397914338552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13793] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13793/stat : 13793 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397913285640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13794] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13794/stat : 13794 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397912234128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13795] ppid=13778 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13780/task/13795/stat : 13795 (java) S 13778 13780 13299 0 -1 4202560 1183 0 0 0 17 0 0 0 20 0 19 0 341395140 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397911182264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13796] ppid=13778 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13780/task/13796/stat : 13796 (java) S 13778 13780 13299 0 -1 4202560 2720 0 0 0 17 0 0 0 20 0 19 0 341395140 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397910129464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13797] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13797/stat : 13797 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397909076856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13798] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13798/stat : 13798 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397908024264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13799] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13799/stat : 13799 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395146 2780295168 71603 33554432000 1073741824 1073778376 140735486936800 140397906969768 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 2715132
[startup+6.30072 s]
/proc/loadavg: 2.10 2.05 2.01 3/213 13799
/proc/meminfo: memFree=28581104/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=6.69 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 8063 0 1 0 661 8 0 0 20 0 19 0 341395134 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 93522 2240 9 0 669476 0
[pid=13780/tid=13782] ppid=13778 vsize=2715132 CPUtime=6.25 cores=1,3,5,7
/proc/13780/task/13782/stat : 13782 (java) R 13778 13780 13299 0 -1 4202560 2927 0 1 0 619 6 0 0 20 0 19 0 341395135 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398538558904 140398404480964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13783] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13783/stat : 13783 (java) S 13778 13780 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398523009576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13784] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13784/stat : 13784 (java) S 13778 13780 13299 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398404037032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13785] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13785/stat : 13785 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398402984232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13786] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13786/stat : 13786 (java) S 13778 13780 13299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398401931432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13787] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13787/stat : 13787 (java) S 13778 13780 13299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398400879656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13788] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13788/stat : 13788 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398399826856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13789] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13789/stat : 13789 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398398774056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13790] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13790/stat : 13790 (java) S 13778 13780 13299 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341395136 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140398397721256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13791] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13791/stat : 13791 (java) S 13778 13780 13299 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 341395137 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397915392488 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13792] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13792/stat : 13792 (java) S 13778 13780 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397914338552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13793] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13793/stat : 13793 (java) S 13778 13780 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397913285640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13794] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13794/stat : 13794 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397912234128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13795] ppid=13778 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13780/task/13795/stat : 13795 (java) S 13778 13780 13299 0 -1 4202560 1183 0 0 0 17 0 0 0 20 0 19 0 341395140 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397911182264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13796] ppid=13778 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/13780/task/13796/stat : 13796 (java) S 13778 13780 13299 0 -1 4202560 2720 0 0 0 17 0 0 0 20 0 19 0 341395140 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397910129464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13797] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13797/stat : 13797 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397909076856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13798] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13798/stat : 13798 (java) S 13778 13780 13299 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397908024264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13799] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13799/stat : 13799 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395146 2780295168 93522 33554432000 1073741824 1073778376 140735486936800 140397906969768 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
################
# More data... #
################
[pid=13780/tid=13788] ppid=13778 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/13780/task/13788/stat : 13788 (java) S 13778 13780 13299 0 -1 4202560 139 0 0 0 38 3 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398399826856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13789] ppid=13778 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/13780/task/13789/stat : 13789 (java) S 13778 13780 13299 0 -1 4202560 161 0 0 0 40 4 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398398774056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13790] ppid=13778 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/13780/task/13790/stat : 13790 (java) S 13778 13780 13299 0 -1 4202560 116 0 0 0 34 3 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398397721256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13791] ppid=13778 vsize=2715132 CPUtime=0.02 cores=1,3,5,7
/proc/13780/task/13791/stat : 13791 (java) S 13778 13780 13299 0 -1 4202560 47 0 0 0 0 2 0 0 20 0 19 0 341395137 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397915392488 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13792] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13792/stat : 13792 (java) S 13778 13780 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397914338552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13793] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13793/stat : 13793 (java) S 13778 13780 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397913285640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13794] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13794/stat : 13794 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397912234128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13795] ppid=13778 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13780/task/13795/stat : 13795 (java) S 13778 13780 13299 0 -1 4202560 1383 0 0 0 21 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397911182264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13796] ppid=13778 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13780/task/13796/stat : 13796 (java) S 13778 13780 13299 0 -1 4202560 3309 0 0 0 27 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397910129464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13797] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13797/stat : 13797 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397909076856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13798] ppid=13778 vsize=2715132 CPUtime=0.69 cores=1,3,5,7
/proc/13780/task/13798/stat : 13798 (java) S 13778 13780 13299 0 -1 4202560 98 0 0 0 31 38 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397908024264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13799] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13799/stat : 13799 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395146 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397906969768 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1665.4
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13954
/proc/meminfo: memFree=28148856/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=1725.4 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 10470 0 1 0 172467 73 0 0 20 0 19 0 341395134 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 172836 2240 9 0 669476 0
[pid=13780/tid=13782] ppid=13778 vsize=2715132 CPUtime=1721.34 cores=1,3,5,7
/proc/13780/task/13782/stat : 13782 (java) R 13778 13780 13299 0 -1 4202560 2960 0 1 0 172100 34 0 0 20 0 19 0 341395135 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398538557904 140398404669590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13783] ppid=13778 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/13780/task/13783/stat : 13783 (java) S 13778 13780 13299 0 -1 4202560 177 0 0 0 31 4 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398523009576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13784] ppid=13778 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/13780/task/13784/stat : 13784 (java) S 13778 13780 13299 0 -1 4202560 318 0 0 0 32 4 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398404037032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13785] ppid=13778 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/13780/task/13785/stat : 13785 (java) S 13778 13780 13299 0 -1 4202560 130 0 0 0 40 4 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398402984232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13786] ppid=13778 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/13780/task/13786/stat : 13786 (java) S 13778 13780 13299 0 -1 4202560 267 0 0 0 32 2 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398401931432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13787] ppid=13778 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/13780/task/13787/stat : 13787 (java) S 13778 13780 13299 0 -1 4202560 181 0 0 0 37 3 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398400879656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13788] ppid=13778 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/13780/task/13788/stat : 13788 (java) S 13778 13780 13299 0 -1 4202560 139 0 0 0 38 3 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398399826856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13789] ppid=13778 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/13780/task/13789/stat : 13789 (java) S 13778 13780 13299 0 -1 4202560 161 0 0 0 40 4 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398398774056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13790] ppid=13778 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/13780/task/13790/stat : 13790 (java) S 13778 13780 13299 0 -1 4202560 116 0 0 0 34 3 0 0 20 0 19 0 341395136 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140398397721256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13791] ppid=13778 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/13780/task/13791/stat : 13791 (java) S 13778 13780 13299 0 -1 4202560 48 0 0 0 1 2 0 0 20 0 19 0 341395137 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397915392488 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13792] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13792/stat : 13792 (java) S 13778 13780 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397914338552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13793] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13793/stat : 13793 (java) S 13778 13780 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397913285640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13794] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13794/stat : 13794 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397912234128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13795] ppid=13778 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13780/task/13795/stat : 13795 (java) S 13778 13780 13299 0 -1 4202560 1383 0 0 0 21 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397911182264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13796] ppid=13778 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13780/task/13796/stat : 13796 (java) S 13778 13780 13299 0 -1 4202560 3309 0 0 0 27 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397910129464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13797] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13797/stat : 13797 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397909076856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13798] ppid=13778 vsize=2715132 CPUtime=0.71 cores=1,3,5,7
/proc/13780/task/13798/stat : 13798 (java) S 13778 13780 13299 0 -1 4202560 100 0 0 0 32 39 0 0 20 0 19 0 341395140 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397908024264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13799] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13799/stat : 13799 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395146 2780295168 172836 33554432000 1073741824 1073778376 140735486936800 140397906969768 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1725.4
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13954
/proc/meminfo: memFree=28114580/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=1785.56 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 10506 0 1 0 178480 76 0 0 20 0 19 0 341395134 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 175921 2240 9 0 669476 0
[pid=13780/tid=13782] ppid=13778 vsize=2715132 CPUtime=1781.29 cores=1,3,5,7
/proc/13780/task/13782/stat : 13782 (java) R 13778 13780 13299 0 -1 4202560 2961 0 1 0 178094 35 0 0 20 0 19 0 341395135 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398538558784 140398404497089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13783] ppid=13778 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/13780/task/13783/stat : 13783 (java) S 13778 13780 13299 0 -1 4202560 180 0 0 0 33 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398523009576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13784] ppid=13778 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/13780/task/13784/stat : 13784 (java) S 13778 13780 13299 0 -1 4202560 320 0 0 0 34 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398404037032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13785] ppid=13778 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/13780/task/13785/stat : 13785 (java) S 13778 13780 13299 0 -1 4202560 136 0 0 0 44 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398402984232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13786] ppid=13778 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/13780/task/13786/stat : 13786 (java) S 13778 13780 13299 0 -1 4202560 267 0 0 0 34 2 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398401931432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13787] ppid=13778 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/13780/task/13787/stat : 13787 (java) S 13778 13780 13299 0 -1 4202560 181 0 0 0 38 3 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398400879656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13788] ppid=13778 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/13780/task/13788/stat : 13788 (java) S 13778 13780 13299 0 -1 4202560 141 0 0 0 39 3 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398399826856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13789] ppid=13778 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/13780/task/13789/stat : 13789 (java) S 13778 13780 13299 0 -1 4202560 177 0 0 0 43 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398398774056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13790] ppid=13778 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/13780/task/13790/stat : 13790 (java) S 13778 13780 13299 0 -1 4202560 116 0 0 0 35 3 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398397721256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13791] ppid=13778 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/13780/task/13791/stat : 13791 (java) S 13778 13780 13299 0 -1 4202560 50 0 0 0 1 2 0 0 20 0 19 0 341395137 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397915392488 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13792] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13792/stat : 13792 (java) S 13778 13780 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397914338552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13793] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13793/stat : 13793 (java) S 13778 13780 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397913285640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13794] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13794/stat : 13794 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397912234128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13795] ppid=13778 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13780/task/13795/stat : 13795 (java) S 13778 13780 13299 0 -1 4202560 1383 0 0 0 21 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397911182264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13796] ppid=13778 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13780/task/13796/stat : 13796 (java) S 13778 13780 13299 0 -1 4202560 3309 0 0 0 27 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397910129464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13797] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13797/stat : 13797 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397909076856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13798] ppid=13778 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/13780/task/13798/stat : 13798 (java) S 13778 13780 13299 0 -1 4202560 104 0 0 0 33 41 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397908024264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13799] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13799/stat : 13799 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395146 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397906969768 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13954
/proc/meminfo: memFree=28114584/32873648 swapFree=7116/7116
[pid=13780] ppid=13778 vsize=2715132 CPUtime=1800.06 cores=1,3,5,7
/proc/13780/stat : 13780 (java) S 13778 13780 13299 0 -1 4202496 10510 0 1 0 179929 77 0 0 20 0 19 0 341395134 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140735486927936 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13780/statm: 678783 175921 2240 9 0 669476 0
[pid=13780/tid=13782] ppid=13778 vsize=2715132 CPUtime=1795.79 cores=1,3,5,7
/proc/13780/task/13782/stat : 13782 (java) R 13778 13780 13299 0 -1 4202560 2963 0 1 0 179544 35 0 0 20 0 19 0 341395135 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398538557984 140398404669590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13783] ppid=13778 vsize=2715132 CPUtime=0.37 cores=1,3,5,7
/proc/13780/task/13783/stat : 13783 (java) S 13778 13780 13299 0 -1 4202560 180 0 0 0 33 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398523009576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13784] ppid=13778 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/13780/task/13784/stat : 13784 (java) S 13778 13780 13299 0 -1 4202560 320 0 0 0 34 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398404037032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13785] ppid=13778 vsize=2715132 CPUtime=0.48 cores=1,3,5,7
/proc/13780/task/13785/stat : 13785 (java) S 13778 13780 13299 0 -1 4202560 136 0 0 0 44 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398402984232 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13786] ppid=13778 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/13780/task/13786/stat : 13786 (java) S 13778 13780 13299 0 -1 4202560 267 0 0 0 34 2 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398401931432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13787] ppid=13778 vsize=2715132 CPUtime=0.41 cores=1,3,5,7
/proc/13780/task/13787/stat : 13787 (java) S 13778 13780 13299 0 -1 4202560 181 0 0 0 38 3 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398400879656 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13788] ppid=13778 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/13780/task/13788/stat : 13788 (java) S 13778 13780 13299 0 -1 4202560 141 0 0 0 39 3 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398399826856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13789] ppid=13778 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/13780/task/13789/stat : 13789 (java) S 13778 13780 13299 0 -1 4202560 177 0 0 0 43 4 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398398774056 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13790] ppid=13778 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/13780/task/13790/stat : 13790 (java) S 13778 13780 13299 0 -1 4202560 116 0 0 0 35 3 0 0 20 0 19 0 341395136 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140398397721256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13791] ppid=13778 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/13780/task/13791/stat : 13791 (java) S 13778 13780 13299 0 -1 4202560 50 0 0 0 1 2 0 0 20 0 19 0 341395137 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397915392488 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13780/tid=13792] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13792/stat : 13792 (java) S 13778 13780 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397914338552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13793] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13793/stat : 13793 (java) S 13778 13780 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341395138 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397913285640 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13794] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13794/stat : 13794 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397912234128 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13780/tid=13795] ppid=13778 vsize=2715132 CPUtime=0.21 cores=1,3,5,7
/proc/13780/task/13795/stat : 13795 (java) S 13778 13780 13299 0 -1 4202560 1383 0 0 0 21 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397911182264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13796] ppid=13778 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/13780/task/13796/stat : 13796 (java) S 13778 13780 13299 0 -1 4202560 3309 0 0 0 27 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397910129464 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13797] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13797/stat : 13797 (java) S 13778 13780 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397909076856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13780/tid=13798] ppid=13778 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/13780/task/13798/stat : 13798 (java) S 13778 13780 13299 0 -1 4202560 106 0 0 0 34 41 0 0 20 0 19 0 341395140 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397908024264 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13780/tid=13799] ppid=13778 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/13780/task/13799/stat : 13799 (java) S 13778 13780 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341395146 2780295168 175921 33554432000 1073741824 1073778376 140735486936800 140397906969768 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.9
CPU time (s): 1800.81
CPU user time (s): 1799.62
CPU system time (s): 1.19282
CPU usage (%): 100.218
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 1.19282
maximum resident set size= 703916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10584
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38593
involuntary context switches= 14194
runsolver used 7.41087 second user time and 14.4428 second system time
The end