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-3740817-1338736901/watcher-3740817-1338736901 -o /tmp/evaluation-result-3740817-1338736901/solver-3740817-1338736901 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3740817-1338736901.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.27 2.07 2.02 3/194 12039
/proc/meminfo: memFree=28390568/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12039/stat : 12039 (java) D 12037 12039 7854 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 339815615 9515008 182 33554432000 1073741824 1073778376 140735724439664 140735724430696 214537420469 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/12039/statm: 2323 182 140 9 0 71 0
[startup+0.0558229 s]
/proc/loadavg: 2.27 2.07 2.02 3/194 12039
/proc/meminfo: memFree=28390568/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=2623916 CPUtime=0.02 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 4004 0 1 0 2 0 0 0 20 0 13 0 339815615 2686889984 4702 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 655979 4702 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100201 s]
/proc/loadavg: 2.27 2.07 2.02 3/194 12039
/proc/meminfo: memFree=28390568/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 4971 0 1 0 8 1 0 0 20 0 18 0 339815615 3028844544 6160 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 739464 6160 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300165 s]
/proc/loadavg: 2.27 2.07 2.02 3/194 12039
/proc/meminfo: memFree=28390568/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 5915 0 1 0 43 1 0 0 20 0 18 0 339815615 3028844544 8831 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 739464 8833 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.70019 s]
/proc/loadavg: 2.27 2.07 2.02 3/194 12039
/proc/meminfo: memFree=28390568/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=2957856 CPUtime=1.59 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 14515 0 1 0 155 4 0 0 20 0 18 0 339815615 3028844544 37461 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 739464 37461 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 2957856
[startup+1.50066 s]
/proc/loadavg: 2.27 2.07 2.02 3/212 12057
/proc/meminfo: memFree=28078964/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=2957856 CPUtime=2.49 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 14722 0 1 0 240 9 0 0 20 0 18 0 339815615 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 739464 117873 2270 9 0 729885 0
[pid=12039/tid=12041] ppid=12037 vsize=2957856 CPUtime=1.44 cores=1,3,5,7
/proc/12039/task/12041/stat : 12041 (java) R 12037 12039 7854 0 -1 4202560 3263 0 1 0 137 7 0 0 20 0 18 0 339815616 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633530191384 140633470285832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12042] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12042/stat : 12042 (java) S 12037 12039 7854 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633396078760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12043] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12043/stat : 12043 (java) S 12037 12039 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633395026216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12044] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12044/stat : 12044 (java) S 12037 12039 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633393973672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12045] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12045/stat : 12045 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633392921128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12046] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12046/stat : 12046 (java) S 12037 12039 7854 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633391868584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12047] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12047/stat : 12047 (java) S 12037 12039 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633390816040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12048] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12048/stat : 12048 (java) S 12037 12039 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633389763496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12049] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12049/stat : 12049 (java) S 12037 12039 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339815617 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633388710952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12050] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12050/stat : 12050 (java) S 12037 12039 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339815618 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633376299112 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12051] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12051/stat : 12051 (java) S 12037 12039 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339815619 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633375245432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12052] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12052/stat : 12052 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339815619 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633374192776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12053] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12053/stat : 12053 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339815621 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633373141520 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12054] ppid=12037 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/12039/task/12054/stat : 12054 (java) S 12037 12039 7854 0 -1 4202560 5157 0 0 0 48 0 0 0 20 0 18 0 339815621 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633372088888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12055] ppid=12037 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/12039/task/12055/stat : 12055 (java) S 12037 12039 7854 0 -1 4202560 5072 0 0 0 44 0 0 0 20 0 18 0 339815621 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633371036344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12056] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12056/stat : 12056 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339815621 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633369983992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12057] ppid=12037 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12057/stat : 12057 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339815621 3028844544 117873 33554432000 1073741824 1073778376 140736868278272 140633368931656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 2957856
[startup+3.10055 s]
/proc/loadavg: 2.27 2.07 2.02 3/213 12058
/proc/meminfo: memFree=27912084/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=3024420 CPUtime=4.55 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 14867 0 1 0 441 14 0 0 20 0 19 0 339815615 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 756105 126657 2290 9 0 746526 0
[pid=12039/tid=12041] ppid=12037 vsize=3024420 CPUtime=2.99 cores=1,3,5,7
/proc/12039/task/12041/stat : 12041 (java) R 12037 12039 7854 0 -1 4202560 3278 0 1 0 292 7 0 0 20 0 19 0 339815616 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633530192248 140633470845168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12042] ppid=12037 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12039/task/12042/stat : 12042 (java) S 12037 12039 7854 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633396078760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12043] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12043/stat : 12043 (java) S 12037 12039 7854 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633395026216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12044] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12044/stat : 12044 (java) S 12037 12039 7854 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633393973672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12045] ppid=12037 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12039/task/12045/stat : 12045 (java) S 12037 12039 7854 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633392921128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12046] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12046/stat : 12046 (java) S 12037 12039 7854 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633391868584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12047] ppid=12037 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12039/task/12047/stat : 12047 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633390816040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12048] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12048/stat : 12048 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633389763496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12049] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12049/stat : 12049 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633388710952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12050] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12050/stat : 12050 (java) S 12037 12039 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339815618 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633376299112 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12051] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12051/stat : 12051 (java) S 12037 12039 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633375245432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12052] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12052/stat : 12052 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633374192776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12053] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12053/stat : 12053 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633373141520 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12054] ppid=12037 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/12039/task/12054/stat : 12054 (java) R 12037 12039 7854 0 -1 4202560 5183 0 0 0 62 0 0 0 20 0 19 0 339815621 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633372088768 140633537179192 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12055] ppid=12037 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/12039/task/12055/stat : 12055 (java) S 12037 12039 7854 0 -1 4202560 5096 0 0 0 62 0 0 0 20 0 19 0 339815621 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633371036344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12056] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12056/stat : 12056 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633369983992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12057] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12057/stat : 12057 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633368931656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12058] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12058/stat : 12058 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339815811 3097006080 126657 33554432000 1073741824 1073778376 140736868278272 140633366799144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 3024420
[startup+6.3006 s]
/proc/loadavg: 2.25 2.06 2.02 3/213 12058
/proc/meminfo: memFree=27880484/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=3024420 CPUtime=7.78 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 14875 0 1 0 764 14 0 0 20 0 19 0 339815615 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 756105 125663 2290 9 0 746526 0
[pid=12039/tid=12041] ppid=12037 vsize=3024420 CPUtime=6.19 cores=1,3,5,7
/proc/12039/task/12041/stat : 12041 (java) R 12037 12039 7854 0 -1 4202560 3281 0 1 0 612 7 0 0 20 0 19 0 339815616 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633530190384 140633470788472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12042] ppid=12037 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12039/task/12042/stat : 12042 (java) S 12037 12039 7854 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633396078760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12043] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12043/stat : 12043 (java) S 12037 12039 7854 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633395026216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12044] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12044/stat : 12044 (java) S 12037 12039 7854 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633393973672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12045] ppid=12037 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12039/task/12045/stat : 12045 (java) S 12037 12039 7854 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633392921128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12046] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12046/stat : 12046 (java) S 12037 12039 7854 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633391868584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12047] ppid=12037 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12039/task/12047/stat : 12047 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633390816040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12048] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12048/stat : 12048 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633389763496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12049] ppid=12037 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12039/task/12049/stat : 12049 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 339815617 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633388710952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12050] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12050/stat : 12050 (java) S 12037 12039 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339815618 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633376299112 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12051] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12051/stat : 12051 (java) S 12037 12039 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633375245432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12052] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12052/stat : 12052 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633374192776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12053] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12053/stat : 12053 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633373141520 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12054] ppid=12037 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12039/task/12054/stat : 12054 (java) S 12037 12039 7854 0 -1 4202560 5187 0 0 0 64 0 0 0 20 0 19 0 339815621 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633372088888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12055] ppid=12037 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12039/task/12055/stat : 12055 (java) S 12037 12039 7854 0 -1 4202560 5097 0 0 0 64 0 0 0 20 0 19 0 339815621 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633371036344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12056] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12056/stat : 12056 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633369983992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12057] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12057/stat : 12057 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633368931656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12058] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12058/stat : 12058 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339815811 3097006080 125663 33554432000 1073741824 1073778376 140736868278272 140633366799144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 3024420
[startup+12.7006 s]
/proc/loadavg: 2.23 2.06 2.02 3/213 12059
/proc/meminfo: memFree=27847864/32873648 swapFree=7116/7116
################
# More data... #
################
[pid=12039/tid=12047] ppid=12037 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/12039/task/12047/stat : 12047 (java) S 12037 12039 7854 0 -1 4202560 313 0 0 0 132 12 0 0 20 0 19 0 339815617 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633390816040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12048] ppid=12037 vsize=3024420 CPUtime=1.29 cores=1,3,5,7
/proc/12039/task/12048/stat : 12048 (java) S 12037 12039 7854 0 -1 4202560 276 0 0 0 117 12 0 0 20 0 19 0 339815617 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633389763496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12049] ppid=12037 vsize=3024420 CPUtime=1.19 cores=1,3,5,7
/proc/12039/task/12049/stat : 12049 (java) S 12037 12039 7854 0 -1 4202560 260 0 0 0 109 10 0 0 20 0 19 0 339815617 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633388710952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12050] ppid=12037 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12039/task/12050/stat : 12050 (java) S 12037 12039 7854 0 -1 4202560 101 0 0 0 1 3 0 0 20 0 19 0 339815618 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633376299112 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12051] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12051/stat : 12051 (java) S 12037 12039 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633375245432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12052] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12052/stat : 12052 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633374192776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12053] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12053/stat : 12053 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633373141520 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12054] ppid=12037 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12039/task/12054/stat : 12054 (java) S 12037 12039 7854 0 -1 4202560 5187 0 0 0 64 0 0 0 20 0 19 0 339815621 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633372088888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12055] ppid=12037 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/12039/task/12055/stat : 12055 (java) S 12037 12039 7854 0 -1 4202560 5099 0 0 0 66 0 0 0 20 0 19 0 339815621 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633371036344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12056] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12056/stat : 12056 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633369983992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12057] ppid=12037 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/12039/task/12057/stat : 12057 (java) S 12037 12039 7854 0 -1 4202560 95 0 0 0 29 40 0 0 20 0 19 0 339815621 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633368931656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12058] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12058/stat : 12058 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339815811 3097006080 381174 33554432000 1073741824 1073778376 140736868278272 140633366799144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.82
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/214 12136
/proc/meminfo: memFree=26056852/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=3024420 CPUtime=1731.99 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 17343 0 1 0 173058 141 0 0 20 0 19 0 339815615 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 756105 385789 2290 9 0 746526 0
[pid=12039/tid=12041] ppid=12037 vsize=3024420 CPUtime=1719.14 cores=1,3,5,7
/proc/12039/task/12041/stat : 12041 (java) R 12037 12039 7854 0 -1 4202560 3388 0 1 0 171879 35 0 0 20 0 19 0 339815616 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633530191072 140633470788417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12042] ppid=12037 vsize=3024420 CPUtime=1.52 cores=1,3,5,7
/proc/12039/task/12042/stat : 12042 (java) S 12037 12039 7854 0 -1 4202560 312 0 0 0 139 13 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633396078760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12043] ppid=12037 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/12039/task/12043/stat : 12043 (java) S 12037 12039 7854 0 -1 4202560 281 0 0 0 126 11 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633395026216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12044] ppid=12037 vsize=3024420 CPUtime=1.31 cores=1,3,5,7
/proc/12039/task/12044/stat : 12044 (java) S 12037 12039 7854 0 -1 4202560 273 0 0 0 120 11 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633393973672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12045] ppid=12037 vsize=3024420 CPUtime=1.38 cores=1,3,5,7
/proc/12039/task/12045/stat : 12045 (java) S 12037 12039 7854 0 -1 4202560 277 0 0 0 127 11 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633392921128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12046] ppid=12037 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/12039/task/12046/stat : 12046 (java) S 12037 12039 7854 0 -1 4202560 274 0 0 0 134 10 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633391868584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12047] ppid=12037 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/12039/task/12047/stat : 12047 (java) S 12037 12039 7854 0 -1 4202560 315 0 0 0 134 12 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633390816040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12048] ppid=12037 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/12039/task/12048/stat : 12048 (java) S 12037 12039 7854 0 -1 4202560 281 0 0 0 120 13 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633389763496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12049] ppid=12037 vsize=3024420 CPUtime=1.22 cores=1,3,5,7
/proc/12039/task/12049/stat : 12049 (java) S 12037 12039 7854 0 -1 4202560 267 0 0 0 111 11 0 0 20 0 19 0 339815617 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633388710952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12050] ppid=12037 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12039/task/12050/stat : 12050 (java) S 12037 12039 7854 0 -1 4202560 105 0 0 0 1 3 0 0 20 0 19 0 339815618 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633376299112 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12051] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12051/stat : 12051 (java) S 12037 12039 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633375245432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12052] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12052/stat : 12052 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633374192776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12053] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12053/stat : 12053 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633373141520 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12054] ppid=12037 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12039/task/12054/stat : 12054 (java) S 12037 12039 7854 0 -1 4202560 5187 0 0 0 64 0 0 0 20 0 19 0 339815621 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633372088888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12055] ppid=12037 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/12039/task/12055/stat : 12055 (java) S 12037 12039 7854 0 -1 4202560 5099 0 0 0 66 0 0 0 20 0 19 0 339815621 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633371036344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12056] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12056/stat : 12056 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633369983992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12057] ppid=12037 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/12039/task/12057/stat : 12057 (java) S 12037 12039 7854 0 -1 4202560 99 0 0 0 31 41 0 0 20 0 19 0 339815621 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633368931656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12058] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12058/stat : 12058 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339815811 3097006080 385789 33554432000 1073741824 1073778376 140736868278272 140633366799144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.99
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/213 12136
/proc/meminfo: memFree=26023720/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=3024420 CPUtime=1792.25 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 17415 0 1 0 179080 145 0 0 20 0 19 0 339815615 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 756105 394004 2290 9 0 746526 0
[pid=12039/tid=12041] ppid=12037 vsize=3024420 CPUtime=1779.03 cores=1,3,5,7
/proc/12039/task/12041/stat : 12041 (java) R 12037 12039 7854 0 -1 4202560 3391 0 1 0 177867 36 0 0 20 0 19 0 339815616 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633530191088 140633470845159 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12042] ppid=12037 vsize=3024420 CPUtime=1.57 cores=1,3,5,7
/proc/12039/task/12042/stat : 12042 (java) S 12037 12039 7854 0 -1 4202560 323 0 0 0 144 13 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633396078760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12043] ppid=12037 vsize=3024420 CPUtime=1.43 cores=1,3,5,7
/proc/12039/task/12043/stat : 12043 (java) S 12037 12039 7854 0 -1 4202560 291 0 0 0 132 11 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633395026216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12044] ppid=12037 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/12039/task/12044/stat : 12044 (java) S 12037 12039 7854 0 -1 4202560 277 0 0 0 123 11 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633393973672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12045] ppid=12037 vsize=3024420 CPUtime=1.42 cores=1,3,5,7
/proc/12039/task/12045/stat : 12045 (java) S 12037 12039 7854 0 -1 4202560 284 0 0 0 130 12 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633392921128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12046] ppid=12037 vsize=3024420 CPUtime=1.49 cores=1,3,5,7
/proc/12039/task/12046/stat : 12046 (java) S 12037 12039 7854 0 -1 4202560 282 0 0 0 138 11 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633391868584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12047] ppid=12037 vsize=3024420 CPUtime=1.51 cores=1,3,5,7
/proc/12039/task/12047/stat : 12047 (java) S 12037 12039 7854 0 -1 4202560 321 0 0 0 139 12 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633390816040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12048] ppid=12037 vsize=3024420 CPUtime=1.36 cores=1,3,5,7
/proc/12039/task/12048/stat : 12048 (java) S 12037 12039 7854 0 -1 4202560 291 0 0 0 123 13 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633389763496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12049] ppid=12037 vsize=3024420 CPUtime=1.26 cores=1,3,5,7
/proc/12039/task/12049/stat : 12049 (java) S 12037 12039 7854 0 -1 4202560 272 0 0 0 115 11 0 0 20 0 19 0 339815617 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633388710952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12050] ppid=12037 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12039/task/12050/stat : 12050 (java) S 12037 12039 7854 0 -1 4202560 109 0 0 0 1 3 0 0 20 0 19 0 339815618 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633376299112 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12051] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12051/stat : 12051 (java) S 12037 12039 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633375245432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12052] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12052/stat : 12052 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633374192776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12053] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12053/stat : 12053 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633373141520 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12054] ppid=12037 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12039/task/12054/stat : 12054 (java) S 12037 12039 7854 0 -1 4202560 5187 0 0 0 64 0 0 0 20 0 19 0 339815621 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633372088888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12055] ppid=12037 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/12039/task/12055/stat : 12055 (java) S 12037 12039 7854 0 -1 4202560 5099 0 0 0 66 0 0 0 20 0 19 0 339815621 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633371036344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12056] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12056/stat : 12056 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633369983992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12057] ppid=12037 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/12039/task/12057/stat : 12057 (java) S 12037 12039 7854 0 -1 4202560 103 0 0 0 32 43 0 0 20 0 19 0 339815621 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633368931656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12058] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12058/stat : 12058 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339815811 3097006080 394004 33554432000 1073741824 1073778376 140736868278272 140633366799144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1792.25
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790 s]
/proc/loadavg: 2.06 2.08 2.06 3/213 12137
/proc/meminfo: memFree=26011432/32873648 swapFree=7116/7116
[pid=12039] ppid=12037 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/12039/stat : 12039 (java) S 12037 12039 7854 0 -1 4202496 17441 0 1 0 179860 146 0 0 20 0 19 0 339815615 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140736868269408 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12039/statm: 756105 397090 2290 9 0 746526 0
[pid=12039/tid=12041] ppid=12037 vsize=3024420 CPUtime=1786.7 cores=1,3,5,7
/proc/12039/task/12041/stat : 12041 (java) R 12037 12039 7854 0 -1 4202560 3392 0 1 0 178634 36 0 0 20 0 19 0 339815616 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633530191056 140633470797476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12042] ppid=12037 vsize=3024420 CPUtime=1.58 cores=1,3,5,7
/proc/12039/task/12042/stat : 12042 (java) S 12037 12039 7854 0 -1 4202560 324 0 0 0 145 13 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633396078760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12043] ppid=12037 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/12039/task/12043/stat : 12043 (java) S 12037 12039 7854 0 -1 4202560 297 0 0 0 134 12 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633395026216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12044] ppid=12037 vsize=3024420 CPUtime=1.36 cores=1,3,5,7
/proc/12039/task/12044/stat : 12044 (java) S 12037 12039 7854 0 -1 4202560 279 0 0 0 125 11 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633393973672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12045] ppid=12037 vsize=3024420 CPUtime=1.44 cores=1,3,5,7
/proc/12039/task/12045/stat : 12045 (java) S 12037 12039 7854 0 -1 4202560 288 0 0 0 132 12 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633392921128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12046] ppid=12037 vsize=3024420 CPUtime=1.51 cores=1,3,5,7
/proc/12039/task/12046/stat : 12046 (java) S 12037 12039 7854 0 -1 4202560 284 0 0 0 140 11 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633391868584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12047] ppid=12037 vsize=3024420 CPUtime=1.53 cores=1,3,5,7
/proc/12039/task/12047/stat : 12047 (java) S 12037 12039 7854 0 -1 4202560 324 0 0 0 141 12 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633390816040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12039/tid=12048] ppid=12037 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/12039/task/12048/stat : 12048 (java) S 12037 12039 7854 0 -1 4202560 293 0 0 0 124 13 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633389763496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12049] ppid=12037 vsize=3024420 CPUtime=1.28 cores=1,3,5,7
/proc/12039/task/12049/stat : 12049 (java) S 12037 12039 7854 0 -1 4202560 277 0 0 0 117 11 0 0 20 0 19 0 339815617 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633388710952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12039/tid=12050] ppid=12037 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12039/task/12050/stat : 12050 (java) S 12037 12039 7854 0 -1 4202560 109 0 0 0 1 3 0 0 20 0 19 0 339815618 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633376299112 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12051] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12051/stat : 12051 (java) S 12037 12039 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633375245432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12052] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12052/stat : 12052 (java) S 12037 12039 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339815619 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633374192776 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12053] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12053/stat : 12053 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633373141520 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12054] ppid=12037 vsize=3024420 CPUtime=0.64 cores=1,3,5,7
/proc/12039/task/12054/stat : 12054 (java) S 12037 12039 7854 0 -1 4202560 5187 0 0 0 64 0 0 0 20 0 19 0 339815621 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633372088888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12039/tid=12055] ppid=12037 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/12039/task/12055/stat : 12055 (java) S 12037 12039 7854 0 -1 4202560 5099 0 0 0 66 0 0 0 20 0 19 0 339815621 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633371036344 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12056] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12056/stat : 12056 (java) S 12037 12039 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339815621 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633369983992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12057] ppid=12037 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/12039/task/12057/stat : 12057 (java) S 12037 12039 7854 0 -1 4202560 103 0 0 0 32 43 0 0 20 0 19 0 339815621 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633368931656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12039/tid=12058] ppid=12037 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12039/task/12058/stat : 12058 (java) S 12037 12039 7854 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 339815811 3097006080 397090 33554432000 1073741824 1073778376 140736868278272 140633366799144 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420
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): 1790.03
CPU time (s): 1800.59
CPU user time (s): 1798.69
CPU system time (s): 1.90471
CPU usage (%): 100.59
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.90471
maximum resident set size= 1588476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17471
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41497
involuntary context switches= 31581
runsolver used 6.20006 second user time and 14.9627 second system time
The end