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-3709879-1338151533/watcher-3709879-1338151533 -o /tmp/evaluation-result-3709879-1338151533/solver-3709879-1338151533 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709879-1338151533.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.00 2.03 2.00 3/194 4665
/proc/meminfo: memFree=28361156/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4665/stat : 4665 (java) D 4663 4665 32120 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 281278684 9515008 175 33554432000 1073741824 1073778376 140736594279216 140736594261944 270707540880 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/4665/statm: 2323 175 133 9 0 71 0
[startup+0.047315 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 4665
/proc/meminfo: memFree=28361156/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 3081 0 1 0 2 0 0 0 20 0 13 0 281278684 9446973440 3267 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2306390 3268 1701 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100255 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 4665
/proc/meminfo: memFree=28361156/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 4320 0 1 0 8 1 0 0 20 0 18 0 281278684 9787842560 5016 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2389610 5017 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300162 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 4665
/proc/meminfo: memFree=28361156/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 6651 0 1 0 51 1 0 0 20 0 19 0 281278684 9856004096 8051 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 8051 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004
[startup+0.70023 s]
/proc/loadavg: 2.00 2.03 2.00 3/194 4665
/proc/meminfo: memFree=28361156/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 6680 0 1 0 97 1 0 0 20 0 19 0 281278684 9856004096 9602 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 9602 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9625004
[startup+1.50067 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 4684
/proc/meminfo: memFree=28325400/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=1.82 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 7065 0 1 0 180 2 0 0 20 0 19 0 281278684 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 12690 2250 9 0 2396937 0
[pid=4665/tid=4667] ppid=4663 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/4665/task/4667/stat : 4667 (java) R 4663 4665 32120 0 -1 4202560 2576 0 1 0 144 2 0 0 20 0 19 0 281278686 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694551747144 139694424597944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4668] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4668/stat : 4668 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694395771816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4669] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4669/stat : 4669 (java) S 4663 4665 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694394719272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4670] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4670/stat : 4670 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694393666216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4671] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4671/stat : 4671 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694392613672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4672] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4672/stat : 4672 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694391560616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4673] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4673/stat : 4673 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694390508072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4674] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4674/stat : 4674 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694389455016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4675] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4675/stat : 4675 (java) S 4663 4665 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694388402472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4676] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4676/stat : 4676 (java) S 4663 4665 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694375992168 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4677] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4677/stat : 4677 (java) S 4663 4665 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694374938488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4678] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4678/stat : 4678 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694373885320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4679] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4679/stat : 4679 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694372834064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4680] ppid=4663 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/4665/task/4680/stat : 4680 (java) S 4663 4665 32120 0 -1 4202560 2043 0 0 0 19 0 0 0 20 0 19 0 281278691 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694371780920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4681] ppid=4663 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/4665/task/4681/stat : 4681 (java) S 4663 4665 32120 0 -1 4202560 1250 0 0 0 14 0 0 0 20 0 19 0 281278691 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694370728376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4682] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4682/stat : 4682 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694369675512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4683] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4683/stat : 4683 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694368623176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4684] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4684/stat : 4684 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278704 9856004096 12690 33554432000 1073741824 1073778376 140736211659360 139694367569448 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9625004
[startup+3.10073 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 4684
/proc/meminfo: memFree=28296108/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=3.49 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 7141 0 1 0 346 3 0 0 20 0 19 0 281278684 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 18375 2276 9 0 2396937 0
[pid=4665/tid=4667] ppid=4663 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/4665/task/4667/stat : 4667 (java) R 4663 4665 32120 0 -1 4202560 2580 0 1 0 303 2 0 0 20 0 19 0 281278686 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694551749144 139694424760411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4668] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4668/stat : 4668 (java) S 4663 4665 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694395771816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4669] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4669/stat : 4669 (java) S 4663 4665 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694394719272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4670] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4670/stat : 4670 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694393666216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4671] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4671/stat : 4671 (java) S 4663 4665 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694392613672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4672] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4672/stat : 4672 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694391560616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4673] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4673/stat : 4673 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694390508072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4674] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4674/stat : 4674 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694389455016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4675] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4675/stat : 4675 (java) S 4663 4665 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694388402472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4676] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4676/stat : 4676 (java) S 4663 4665 32120 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694375992168 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4677] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4677/stat : 4677 (java) S 4663 4665 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694374938488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4678] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4678/stat : 4678 (java) S 4663 4665 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694373885320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4679] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4679/stat : 4679 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694372834064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4680] ppid=4663 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/4665/task/4680/stat : 4680 (java) S 4663 4665 32120 0 -1 4202560 2049 0 0 0 22 0 0 0 20 0 19 0 281278691 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694371780920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4681] ppid=4663 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/4665/task/4681/stat : 4681 (java) S 4663 4665 32120 0 -1 4202560 1260 0 0 0 17 0 0 0 20 0 19 0 281278691 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694370728376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4682] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4682/stat : 4682 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694369675512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4683] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4683/stat : 4683 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694368623176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4684] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4684/stat : 4684 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278704 9856004096 18375 33554432000 1073741824 1073778376 140736211659360 139694367569448 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625004
[startup+6.3008 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 4684
/proc/meminfo: memFree=28262716/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=6.78 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 7421 0 1 0 671 7 0 0 20 0 19 0 281278684 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 31286 2276 9 0 2396937 0
[pid=4665/tid=4667] ppid=4663 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/4665/task/4667/stat : 4667 (java) R 4663 4665 32120 0 -1 4202560 2583 0 1 0 617 2 0 0 20 0 19 0 281278686 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694551749144 139694424367031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4668] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4668/stat : 4668 (java) S 4663 4665 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694395771816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4669] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4669/stat : 4669 (java) S 4663 4665 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694394719272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4670] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4670/stat : 4670 (java) S 4663 4665 32120 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694393666216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4671] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4671/stat : 4671 (java) S 4663 4665 32120 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694392613672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4672] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4672/stat : 4672 (java) S 4663 4665 32120 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694391560616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4673] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4673/stat : 4673 (java) S 4663 4665 32120 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694390508072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4674] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4674/stat : 4674 (java) S 4663 4665 32120 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694389455016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4675] ppid=4663 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/4665/task/4675/stat : 4675 (java) S 4663 4665 32120 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 19 0 281278687 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694388402472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4676] ppid=4663 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/4665/task/4676/stat : 4676 (java) S 4663 4665 32120 0 -1 4202560 44 0 0 0 3 0 0 0 20 0 19 0 281278688 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694375992168 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4677] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4677/stat : 4677 (java) S 4663 4665 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694374938488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4678] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4678/stat : 4678 (java) S 4663 4665 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694373885320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4679] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4679/stat : 4679 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694372834064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4680] ppid=4663 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/4665/task/4680/stat : 4680 (java) S 4663 4665 32120 0 -1 4202560 2054 0 0 0 23 0 0 0 20 0 19 0 281278691 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694371780920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4681] ppid=4663 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/4665/task/4681/stat : 4681 (java) S 4663 4665 32120 0 -1 4202560 1260 0 0 0 17 0 0 0 20 0 19 0 281278691 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694370728376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4682] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4682/stat : 4682 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694369675512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4683] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4683/stat : 4683 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694368623176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4684] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4684/stat : 4684 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278704 9856004096 31286 33554432000 1073741824 1073778376 140736211659360 139694367569448 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
[pid=4665/tid=4673] ppid=4663 vsize=9625004 CPUtime=2.65 cores=1,3,5,7
/proc/4665/task/4673/stat : 4673 (java) S 4663 4665 32120 0 -1 4202560 1555 0 0 0 254 11 0 0 20 0 19 0 281278687 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694390508072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4674] ppid=4663 vsize=9625004 CPUtime=2.73 cores=1,3,5,7
/proc/4665/task/4674/stat : 4674 (java) S 4663 4665 32120 0 -1 4202560 1215 0 0 0 259 14 0 0 20 0 19 0 281278687 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694389455016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4675] ppid=4663 vsize=9625004 CPUtime=2.6 cores=1,3,5,7
/proc/4665/task/4675/stat : 4675 (java) S 4663 4665 32120 0 -1 4202560 1272 0 0 0 248 12 0 0 20 0 19 0 281278687 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694388402472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4676] ppid=4663 vsize=9625004 CPUtime=4.41 cores=1,3,5,7
/proc/4665/task/4676/stat : 4676 (java) S 4663 4665 32120 0 -1 4202560 859 0 0 0 434 7 0 0 20 0 19 0 281278688 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694375992168 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4677] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4677/stat : 4677 (java) S 4663 4665 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694374938488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4678] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4678/stat : 4678 (java) S 4663 4665 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694373885320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4679] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4679/stat : 4679 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694372834064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4680] ppid=4663 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/4665/task/4680/stat : 4680 (java) S 4663 4665 32120 0 -1 4202560 2256 0 0 0 29 0 0 0 20 0 19 0 281278691 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694371780920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4681] ppid=4663 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/4665/task/4681/stat : 4681 (java) S 4663 4665 32120 0 -1 4202560 1260 0 0 0 17 0 0 0 20 0 19 0 281278691 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694370728376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4682] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4682/stat : 4682 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694369675512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4683] ppid=4663 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/4665/task/4683/stat : 4683 (java) S 4663 4665 32120 0 -1 4202560 95 0 0 0 29 34 0 0 20 0 19 0 281278691 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694368623176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4684] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4684/stat : 4684 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278704 9856004096 177939 33554432000 1073741824 1073778376 140736211659360 139694367569448 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1678.37
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/213 5922
/proc/meminfo: memFree=28273584/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=1739.08 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 18448 0 1 0 173752 156 0 0 20 0 19 0 281278684 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 186644 2276 9 0 2396937 0
[pid=4665/tid=4667] ppid=4663 vsize=9625004 CPUtime=1711.17 cores=1,3,5,7
/proc/4665/task/4667/stat : 4667 (java) R 4663 4665 32120 0 -1 4202560 2899 0 1 0 171084 33 0 0 20 0 19 0 281278686 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694551747936 139694424760429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4668] ppid=4663 vsize=9625004 CPUtime=2.8 cores=1,3,5,7
/proc/4665/task/4668/stat : 4668 (java) S 4663 4665 32120 0 -1 4202560 607 0 0 0 267 13 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694395771816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4669] ppid=4663 vsize=9625004 CPUtime=2.66 cores=1,3,5,7
/proc/4665/task/4669/stat : 4669 (java) S 4663 4665 32120 0 -1 4202560 1394 0 0 0 251 15 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694394719272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4670] ppid=4663 vsize=9625004 CPUtime=2.89 cores=1,3,5,7
/proc/4665/task/4670/stat : 4670 (java) S 4663 4665 32120 0 -1 4202560 1245 0 0 0 274 15 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694393666216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4671] ppid=4663 vsize=9625004 CPUtime=2.82 cores=1,3,5,7
/proc/4665/task/4671/stat : 4671 (java) S 4663 4665 32120 0 -1 4202560 1491 0 0 0 270 12 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694392613672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4672] ppid=4663 vsize=9625004 CPUtime=2.87 cores=1,3,5,7
/proc/4665/task/4672/stat : 4672 (java) S 4663 4665 32120 0 -1 4202560 1090 0 0 0 274 13 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694391560616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4673] ppid=4663 vsize=9625004 CPUtime=2.78 cores=1,3,5,7
/proc/4665/task/4673/stat : 4673 (java) S 4663 4665 32120 0 -1 4202560 1561 0 0 0 266 12 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694390508072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4674] ppid=4663 vsize=9625004 CPUtime=2.84 cores=1,3,5,7
/proc/4665/task/4674/stat : 4674 (java) S 4663 4665 32120 0 -1 4202560 1222 0 0 0 270 14 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694389455016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4675] ppid=4663 vsize=9625004 CPUtime=2.71 cores=1,3,5,7
/proc/4665/task/4675/stat : 4675 (java) S 4663 4665 32120 0 -1 4202560 1276 0 0 0 259 12 0 0 20 0 19 0 281278687 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694388402472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4676] ppid=4663 vsize=9625004 CPUtime=4.53 cores=1,3,5,7
/proc/4665/task/4676/stat : 4676 (java) S 4663 4665 32120 0 -1 4202560 867 0 0 0 446 7 0 0 20 0 19 0 281278688 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694375992168 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4677] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4677/stat : 4677 (java) S 4663 4665 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694374938488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4678] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4678/stat : 4678 (java) S 4663 4665 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694373885320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4679] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4679/stat : 4679 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694372834064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4680] ppid=4663 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/4665/task/4680/stat : 4680 (java) S 4663 4665 32120 0 -1 4202560 2256 0 0 0 29 0 0 0 20 0 19 0 281278691 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694371780920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4681] ppid=4663 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/4665/task/4681/stat : 4681 (java) S 4663 4665 32120 0 -1 4202560 1260 0 0 0 17 0 0 0 20 0 19 0 281278691 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694370728376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4682] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4682/stat : 4682 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694369675512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4683] ppid=4663 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/4665/task/4683/stat : 4683 (java) S 4663 4665 32120 0 -1 4202560 99 0 0 0 30 35 0 0 20 0 19 0 281278691 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694368623176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4684] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4684/stat : 4684 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278704 9856004096 186644 33554432000 1073741824 1073778376 140736211659360 139694367569448 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1739.08
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/213 5922
/proc/meminfo: memFree=28277120/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=1799.48 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 18469 0 1 0 179791 157 0 0 20 0 19 0 281278684 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 185094 2276 9 0 2396937 0
[pid=4665/tid=4667] ppid=4663 vsize=9625004 CPUtime=1771.01 cores=1,3,5,7
/proc/4665/task/4667/stat : 4667 (java) R 4663 4665 32120 0 -1 4202560 2906 0 1 0 177068 33 0 0 20 0 19 0 281278686 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694551747936 139694424767493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4668] ppid=4663 vsize=9625004 CPUtime=2.85 cores=1,3,5,7
/proc/4665/task/4668/stat : 4668 (java) S 4663 4665 32120 0 -1 4202560 607 0 0 0 272 13 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694395771816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4669] ppid=4663 vsize=9625004 CPUtime=2.74 cores=1,3,5,7
/proc/4665/task/4669/stat : 4669 (java) S 4663 4665 32120 0 -1 4202560 1394 0 0 0 259 15 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694394719272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4670] ppid=4663 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/4665/task/4670/stat : 4670 (java) S 4663 4665 32120 0 -1 4202560 1245 0 0 0 279 15 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694393666216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4671] ppid=4663 vsize=9625004 CPUtime=2.91 cores=1,3,5,7
/proc/4665/task/4671/stat : 4671 (java) S 4663 4665 32120 0 -1 4202560 1491 0 0 0 278 13 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694392613672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4672] ppid=4663 vsize=9625004 CPUtime=2.92 cores=1,3,5,7
/proc/4665/task/4672/stat : 4672 (java) S 4663 4665 32120 0 -1 4202560 1090 0 0 0 279 13 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694391560616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4673] ppid=4663 vsize=9625004 CPUtime=2.85 cores=1,3,5,7
/proc/4665/task/4673/stat : 4673 (java) S 4663 4665 32120 0 -1 4202560 1561 0 0 0 273 12 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694390508072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4674] ppid=4663 vsize=9625004 CPUtime=2.95 cores=1,3,5,7
/proc/4665/task/4674/stat : 4674 (java) S 4663 4665 32120 0 -1 4202560 1222 0 0 0 281 14 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694389455016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4675] ppid=4663 vsize=9625004 CPUtime=2.77 cores=1,3,5,7
/proc/4665/task/4675/stat : 4675 (java) S 4663 4665 32120 0 -1 4202560 1276 0 0 0 265 12 0 0 20 0 19 0 281278687 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694388402472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4676] ppid=4663 vsize=9625004 CPUtime=4.53 cores=1,3,5,7
/proc/4665/task/4676/stat : 4676 (java) S 4663 4665 32120 0 -1 4202560 877 0 0 0 446 7 0 0 20 0 19 0 281278688 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694375992168 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4677] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4677/stat : 4677 (java) S 4663 4665 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694374938488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4678] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4678/stat : 4678 (java) S 4663 4665 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694373885320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4679] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4679/stat : 4679 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694372834064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4680] ppid=4663 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/4665/task/4680/stat : 4680 (java) S 4663 4665 32120 0 -1 4202560 2256 0 0 0 29 0 0 0 20 0 19 0 281278691 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694371780920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4681] ppid=4663 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/4665/task/4681/stat : 4681 (java) S 4663 4665 32120 0 -1 4202560 1260 0 0 0 17 0 0 0 20 0 19 0 281278691 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694370728376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4682] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4682/stat : 4682 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694369675512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4683] ppid=4663 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/4665/task/4683/stat : 4683 (java) S 4663 4665 32120 0 -1 4202560 103 0 0 0 31 37 0 0 20 0 19 0 281278691 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694368623176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4684] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4684/stat : 4684 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278704 9856004096 185094 33554432000 1073741824 1073778376 140736211659360 139694367569448 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1782.8 s]
/proc/loadavg: 2.00 2.04 2.03 3/213 5922
/proc/meminfo: memFree=28277120/32873648 swapFree=6864/6864
[pid=4665] ppid=4663 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/4665/stat : 4665 (java) S 4663 4665 32120 0 -1 4202496 18472 0 1 0 179848 157 0 0 20 0 19 0 281278684 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 140736211650496 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4665/statm: 2406251 185090 2276 9 0 2396937 0
[pid=4665/tid=4667] ppid=4663 vsize=9625004 CPUtime=1771.49 cores=1,3,5,7
/proc/4665/task/4667/stat : 4667 (java) R 4663 4665 32120 0 -1 4202560 2907 0 1 0 177116 33 0 0 20 0 19 0 281278686 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694551747936 139694424875390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4668] ppid=4663 vsize=9625004 CPUtime=2.86 cores=1,3,5,7
/proc/4665/task/4668/stat : 4668 (java) S 4663 4665 32120 0 -1 4202560 607 0 0 0 273 13 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694395771816 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4669] ppid=4663 vsize=9625004 CPUtime=2.75 cores=1,3,5,7
/proc/4665/task/4669/stat : 4669 (java) S 4663 4665 32120 0 -1 4202560 1394 0 0 0 260 15 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694394719272 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4670] ppid=4663 vsize=9625004 CPUtime=2.96 cores=1,3,5,7
/proc/4665/task/4670/stat : 4670 (java) S 4663 4665 32120 0 -1 4202560 1245 0 0 0 281 15 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694393666216 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4671] ppid=4663 vsize=9625004 CPUtime=2.91 cores=1,3,5,7
/proc/4665/task/4671/stat : 4671 (java) S 4663 4665 32120 0 -1 4202560 1491 0 0 0 278 13 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694392613672 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4672] ppid=4663 vsize=9625004 CPUtime=2.93 cores=1,3,5,7
/proc/4665/task/4672/stat : 4672 (java) S 4663 4665 32120 0 -1 4202560 1090 0 0 0 280 13 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694391560616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4673] ppid=4663 vsize=9625004 CPUtime=2.86 cores=1,3,5,7
/proc/4665/task/4673/stat : 4673 (java) S 4663 4665 32120 0 -1 4202560 1561 0 0 0 274 12 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694390508072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4674] ppid=4663 vsize=9625004 CPUtime=2.96 cores=1,3,5,7
/proc/4665/task/4674/stat : 4674 (java) S 4663 4665 32120 0 -1 4202560 1222 0 0 0 282 14 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694389455016 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4665/tid=4675] ppid=4663 vsize=9625004 CPUtime=2.78 cores=1,3,5,7
/proc/4665/task/4675/stat : 4675 (java) S 4663 4665 32120 0 -1 4202560 1276 0 0 0 266 12 0 0 20 0 19 0 281278687 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694388402472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4676] ppid=4663 vsize=9625004 CPUtime=4.53 cores=1,3,5,7
/proc/4665/task/4676/stat : 4676 (java) S 4663 4665 32120 0 -1 4202560 879 0 0 0 446 7 0 0 20 0 19 0 281278688 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694375992168 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4677] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4677/stat : 4677 (java) S 4663 4665 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694374938488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4678] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4678/stat : 4678 (java) S 4663 4665 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281278688 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694373885320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4679] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4679/stat : 4679 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694372834064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4680] ppid=4663 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/4665/task/4680/stat : 4680 (java) S 4663 4665 32120 0 -1 4202560 2256 0 0 0 29 0 0 0 20 0 19 0 281278691 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694371780920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4665/tid=4681] ppid=4663 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/4665/task/4681/stat : 4681 (java) S 4663 4665 32120 0 -1 4202560 1260 0 0 0 17 0 0 0 20 0 19 0 281278691 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694370728376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4682] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4682/stat : 4682 (java) S 4663 4665 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281278691 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694369675512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4665/tid=4683] ppid=4663 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/4665/task/4683/stat : 4683 (java) S 4663 4665 32120 0 -1 4202560 103 0 0 0 31 37 0 0 20 0 19 0 281278691 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694368623176 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4665/tid=4684] ppid=4663 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/4665/task/4684/stat : 4684 (java) S 4663 4665 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281278704 9856004096 185090 33554432000 1073741824 1073778376 140736211659360 139694367569448 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004
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): 1782.85
CPU time (s): 1800.53
CPU user time (s): 1798.55
CPU system time (s): 1.9807
CPU usage (%): 100.992
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.9807
maximum resident set size= 885056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18518
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45924
involuntary context switches= 50757
runsolver used 5.95109 second user time and 15.6236 second system time
The end