runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312297-1304185151/watcher-3312297-1304185151 -o /tmp/evaluation-result-3312297-1304185151/solver-3312297-1304185151 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312297-1304185151.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13075/stat : 13075 (java) R 13071 13075 13038 0 -1 4202496 803 0 0 0 0 0 0 0 17 0 1 0 510930984 23580672 291 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220811273984 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13075/statm: 5757 301 237 9 0 124 0
[startup+0.030183 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15604116 CPUtime=0.01 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 3453 0 1 0 1 0 0 0 17 0 13 0 510930984 15978614784 2894 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3901029 2896 1643 9 0 3891777 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116
[startup+0.101136 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15676488 CPUtime=0.1 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 5530 0 1 0 8 2 0 0 17 0 18 0 510930984 16052723712 4951 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3919122 4952 2117 9 0 3909841 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676488
[startup+0.30113 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15679800 CPUtime=0.52 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 14964 0 1 0 48 4 0 0 17 0 18 0 510930984 16056115200 13451 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3919950 13458 2207 9 0 3910669 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679800
[startup+0.701022 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15704244 CPUtime=1.52 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 33631 0 1 0 145 7 0 0 17 0 22 0 510930984 16081145856 29215 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3926061 29215 2248 9 0 3916780 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 15704244
[startup+1.50085 s]
/proc/loadavg: 6.49 7.74 7.91 8/220 13119
/proc/meminfo: memFree=30126484/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15718476 CPUtime=4.33 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 67903 0 1 0 420 13 0 0 17 0 22 0 510930984 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3929619 56731 2275 9 0 3920338 0
[pid=13075/tid=13079] ppid=13071 vsize=15718476 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 986 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 957 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 626 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) R 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 510930987 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15718476 CPUtime=1.03 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) R 13071 13075 13038 0 -1 4202560 19614 0 0 0 100 3 0 0 17 0 22 0 510930989 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327273951696 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15718476 CPUtime=1.04 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) R 13071 13075 13038 0 -1 4202560 8819 0 0 0 102 2 0 0 16 0 22 0 510930990 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276650934 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510930990 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15718476 CPUtime=0.56 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 7953 0 0 0 55 1 0 0 16 0 22 0 510931019 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922918 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15718476 CPUtime=0.19 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 1941 0 0 0 19 0 0 0 16 0 22 0 510931019 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505811052 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15718476 CPUtime=0.28 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 3180 0 0 0 28 0 0 0 16 0 22 0 510931019 16095719424 56732 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505811617 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15718476 CPUtime=0.3 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 4691 0 0 0 30 0 0 0 16 0 22 0 510931019 16095719424 56732 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505789624 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 15718476
[startup+3.10255 s]
/proc/loadavg: 6.49 7.74 7.91 11/220 13119
/proc/meminfo: memFree=29781640/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15718484 CPUtime=10.71 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 125360 0 1 0 1049 22 0 0 17 0 22 0 510930984 16095727616 113032 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3929621 113044 2285 9 0 3920340 0
[pid=13075/tid=13079] ppid=13071 vsize=15718484 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16095727616 113050 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 6158 0 0 0 1 0 0 0 16 0 22 0 510930986 16095727616 113052 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15718484 CPUtime=0.02 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 6486 0 0 0 2 0 0 0 15 0 22 0 510930986 16095727616 113053 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 3463 0 0 0 0 0 0 0 16 0 22 0 510930986 16095727616 113055 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 4422 0 0 0 1 0 0 0 16 0 22 0 510930986 16095727616 113057 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 5416 0 0 0 1 0 0 0 15 0 22 0 510930986 16095727616 113059 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 3967 0 0 0 1 0 0 0 16 0 22 0 510930986 16095727616 113061 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 4220 0 0 0 0 0 0 0 16 0 22 0 510930986 16095727616 113062 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510930986 16095727616 113064 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 22 0 510930987 16095727616 113066 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16095727616 113067 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16095727616 113069 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16095727616 113071 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15718484 CPUtime=1.43 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21077 0 0 0 140 3 0 0 15 0 22 0 510930989 16095727616 113073 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15718484 CPUtime=1.22 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8840 0 0 0 120 2 0 0 15 0 22 0 510930990 16095727616 113075 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16095727616 113076 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510930990 16095727616 113078 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15718484 CPUtime=1.95 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 15725 0 0 0 193 2 0 0 17 0 22 0 510931019 16095727616 113080 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922861 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15718484 CPUtime=1.49 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 5485 0 0 0 148 1 0 0 16 0 22 0 510931019 16095727616 113082 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505912799 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15718484 CPUtime=1.83 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 10372 0 0 0 183 0 0 0 17 0 22 0 510931019 16095727616 113089 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922003 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15718484 CPUtime=1.7 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 10442 0 0 0 169 1 0 0 16 0 22 0 510931019 16095727616 113100 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505912799 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.71
Current children cumulated vsize (KiB) 15718484
[startup+6.30096 s]
/proc/loadavg: 6.69 7.76 7.91 10/220 13119
/proc/meminfo: memFree=28172760/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=23.47 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 306007 0 1 0 2303 44 0 0 17 0 22 0 510930984 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 289484 2285 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 6677 0 0 0 1 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=0.02 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 8120 0 0 0 2 0 0 0 16 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 4526 0 0 0 1 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 5841 0 0 0 1 0 0 0 16 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=0.03 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 7304 0 0 0 2 1 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=0.02 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 5438 0 0 0 2 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 5521 0 0 0 1 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 1760 0 0 0 0 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 22 0 510930987 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.49 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21082 0 0 0 146 3 0 0 16 0 22 0 510930989 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1107.41 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 267968 0 0 0 110699 42 0 0 25 0 22 0 510931019 16078438400 104990 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505887177 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1107.43 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 281974 0 0 0 110698 45 0 0 25 0 22 0 510931019 16078438400 104990 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505933516 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1107.25 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 282354 0 0 0 110679 46 0 0 25 0 22 0 510931019 16078438400 104990 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505912435 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4462.93
Current children cumulated vsize (KiB) 15701600
[startup+1182.3 s]
/proc/loadavg: 7.96 8.06 7.99 10/220 13150
/proc/meminfo: memFree=29268004/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=4701.54 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 2023899 0 1 0 469725 429 0 0 17 0 22 0 510930984 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 103263 2298 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=3.5 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 102203 0 0 0 329 21 0 0 16 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=3.45 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 102209 0 0 0 326 19 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=3.53 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 100426 0 0 0 333 20 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=3.49 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 96782 0 0 0 328 21 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=3.47 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 102816 0 0 0 327 20 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=3.5 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 95339 0 0 0 329 21 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=3.44 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 102641 0 0 0 324 20 0 0 16 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=3.53 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 99874 0 0 0 331 22 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=2.17 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 5293 0 0 0 152 65 0 0 15 0 22 0 510930987 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.63 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21104 0 0 0 160 3 0 0 15 0 22 0 510930989 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15701600 CPUtime=1.79 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8912 0 0 0 177 2 0 0 15 0 22 0 510930990 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 510930990 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15701600 CPUtime=1167.19 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 303992 0 0 0 116674 45 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505913149 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1166.68 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 278005 0 0 0 116625 43 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912506606598 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1166.64 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 292149 0 0 0 116617 47 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505913020 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1166.51 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 292972 0 0 0 116604 47 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912506607358 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4701.54
Current children cumulated vsize (KiB) 15701600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.1 s]
/proc/loadavg: 7.97 8.05 7.99 5/197 13154
/proc/meminfo: memFree=30021348/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=4800.2 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 2068283 0 1 0 479581 439 0 0 17 0 22 0 510930984 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 107206 2298 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 105098 0 0 0 336 22 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 105273 0 0 0 333 19 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=3.6 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 103195 0 0 0 340 20 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=3.56 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 99310 0 0 0 334 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=3.55 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 105708 0 0 0 335 20 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 97470 0 0 0 336 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 105263 0 0 0 331 21 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=3.61 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 102716 0 0 0 339 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=2.21 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 5415 0 0 0 154 67 0 0 15 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.63 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21104 0 0 0 160 3 0 0 15 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15701600 CPUtime=1.79 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8912 0 0 0 177 2 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15701600 CPUtime=1191.63 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 309498 0 0 0 119117 46 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505523461 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1191.22 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 283255 0 0 0 119078 44 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505933551 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1191.15 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 297846 0 0 0 119067 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922846 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1191.03 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 299036 0 0 0 119055 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505887197 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15701600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.1 s]
/proc/loadavg: 7.97 8.05 7.99 5/197 13154
/proc/meminfo: memFree=30021348/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=4800.2 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 2068283 0 1 0 479581 439 0 0 17 0 22 0 510930984 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 107206 2298 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 105098 0 0 0 336 22 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 105273 0 0 0 333 19 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=3.6 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 103195 0 0 0 340 20 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=3.56 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 99310 0 0 0 334 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=3.55 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 105708 0 0 0 335 20 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 97470 0 0 0 336 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 105263 0 0 0 331 21 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=3.61 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 102716 0 0 0 339 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=2.21 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 5415 0 0 0 154 67 0 0 15 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.63 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21104 0 0 0 160 3 0 0 15 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15701600 CPUtime=1.79 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8912 0 0 0 177 2 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15701600 CPUtime=1191.63 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 309498 0 0 0 119117 46 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505523461 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1191.22 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 283255 0 0 0 119078 44 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505933551 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1191.15 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 297846 0 0 0 119067 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922846 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1191.03 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 299036 0 0 0 119055 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505887197 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15701600
Child status: 143
Real time (s): 1207.13
CPU time (s): 4800.25
CPU user time (s): 4795.84
CPU system time (s): 4.41533
CPU usage (%): 397.657
Max. virtual memory (cumulated for all children) (KiB): 15718484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.84
system time used= 4.41533
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2068778
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 233956
involuntary context switches= 149235
runsolver used 1.88471 second user time and 4.78927 second system time
The end