runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459841-1307169370/watcher-3459841-1307169370 -o /tmp/evaluation-result-3459841-1307169370/solver-3459841-1307169370 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459841-1307169370.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.07 2.05 2.01 2/572 10622
/proc/meminfo: memFree=24675788/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 1442 0 1 0 0 0 0 0 21 0 2 0 828534059 88928256 1144 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3370703 1154 901 9 0 3361859 0
[pid=10622/tid=10623] ppid=10620 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 6362 0 1 0 0 1 0 0 22 0 2 0 828534060 13850947584 7179 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0944711 s]
/proc/loadavg: 2.07 2.05 2.01 2/572 10622
/proc/meminfo: memFree=24675788/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13621776 CPUtime=0.08 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 15178 0 1 0 6 2 0 0 21 0 18 0 828534059 13948698624 14875 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3405477 14886 2060 9 0 3396211 0
[pid=10622/tid=10623] ppid=10620 vsize=13621908 CPUtime=0.08 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 13442 0 1 0 6 2 0 0 23 0 18 0 828534060 13948833792 14886 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 47840844216756 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621776
[startup+0.100469 s]
/proc/loadavg: 2.07 2.05 2.01 2/572 10622
/proc/meminfo: memFree=24675788/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13622068 CPUtime=0.1 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 15374 0 1 0 8 2 0 0 21 0 18 0 828534059 13948997632 15071 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3405517 15071 2093 9 0 3396251 0
[pid=10622/tid=10623] ppid=10620 vsize=13622068 CPUtime=0.08 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 13521 0 1 0 6 2 0 0 23 0 18 0 828534060 13948997632 15071 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 47840842739618 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622068
[startup+0.316533 s]
/proc/loadavg: 2.07 2.05 2.01 2/572 10622
/proc/meminfo: memFree=24675788/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13625064 CPUtime=0.51 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 19546 0 1 0 48 3 0 0 21 0 18 0 828534059 13952065536 18761 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3406266 18762 2202 9 0 3397000 0
[pid=10622/tid=10623] ppid=10620 vsize=13625064 CPUtime=0.29 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 15917 0 1 0 27 2 0 0 18 0 18 0 828534060 13952065536 18762 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13625064
[startup+0.70043 s]
/proc/loadavg: 2.07 2.05 2.01 2/572 10622
/proc/meminfo: memFree=24675788/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13627252 CPUtime=1.15 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 51036 0 1 0 108 7 0 0 21 0 18 0 828534059 13954306048 48738 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3406813 48741 2222 9 0 3397547 0
[pid=10622/tid=10623] ppid=10620 vsize=13627252 CPUtime=0.67 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 44801 0 1 0 61 6 0 0 18 0 18 0 828534060 13954306048 48743 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912505590035 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13627252
[startup+1.50126 s]
/proc/loadavg: 2.07 2.05 2.01 5/590 10640
/proc/meminfo: memFree=24379348/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13629428 CPUtime=2.52 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 89269 0 1 0 240 12 0 0 21 0 19 0 828534059 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3407357 83291 2235 9 0 3398091 0
[pid=10622/tid=10623] ppid=10620 vsize=13629428 CPUtime=1.47 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 78990 0 1 0 137 10 0 0 19 0 19 0 828534060 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912505964021 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10622/tid=10625] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10625/stat : 10625 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10626] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10626/stat : 10626 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10627] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10627/stat : 10627 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10628] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10628/stat : 10628 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10629] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10629/stat : 10629 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10630] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10630/stat : 10630 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10631] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10631/stat : 10631 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10632] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10632/stat : 10632 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10633] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10633/stat : 10633 (java) S 10620 10622 10194 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828534063 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 0 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10634] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10634/stat : 10634 (java) S 10620 10622 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828534064 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10635] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10635/stat : 10635 (java) S 10620 10622 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828534064 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10636] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10636/stat : 10636 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828534066 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488518577 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10637] ppid=10620 vsize=13629428 CPUtime=0.44 cores=1,3,5,7
/proc/10622/task/10637/stat : 10637 (java) S 10620 10622 10194 0 -1 4202560 2082 0 0 0 44 0 0 0 15 0 19 0 828534066 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10638] ppid=10620 vsize=13629428 CPUtime=0.59 cores=1,3,5,7
/proc/10622/task/10638/stat : 10638 (java) R 10620 10622 10194 0 -1 4202560 7036 0 0 0 58 1 0 0 15 0 19 0 828534066 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 47840844056040 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10622/tid=10639] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10639/stat : 10639 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828534066 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10640] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10640/stat : 10640 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828534066 13956534272 83291 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 13629428
[startup+3.10096 s]
/proc/loadavg: 2.07 2.05 2.01 3/591 10641
/proc/meminfo: memFree=24347924/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13629428 CPUtime=4.16 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 89763 0 1 0 404 12 0 0 21 0 19 0 828534059 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3407357 83553 2238 9 0 3398091 0
[pid=10622/tid=10623] ppid=10620 vsize=13629428 CPUtime=3.06 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 79240 0 1 0 296 10 0 0 23 0 19 0 828534060 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912505964021 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10622/tid=10625] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10625/stat : 10625 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10626] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10626/stat : 10626 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10627] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10627/stat : 10627 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10628] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10628/stat : 10628 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10629] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10629/stat : 10629 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10630] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10630/stat : 10630 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10631] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10631/stat : 10631 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10632] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10632/stat : 10632 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828534062 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10633] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10633/stat : 10633 (java) S 10620 10622 10194 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 828534063 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 0 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10634] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10634/stat : 10634 (java) S 10620 10622 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828534064 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10635] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10635/stat : 10635 (java) S 10620 10622 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828534064 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10636] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10636/stat : 10636 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828534066 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488518577 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10637] ppid=10620 vsize=13629428 CPUtime=0.44 cores=1,3,5,7
/proc/10622/task/10637/stat : 10637 (java) S 10620 10622 10194 0 -1 4202560 2082 0 0 0 44 0 0 0 15 0 19 0 828534066 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10638] ppid=10620 vsize=13629428 CPUtime=0.63 cores=1,3,5,7
/proc/10622/task/10638/stat : 10638 (java) S 10620 10622 10194 0 -1 4202560 7280 0 0 0 62 1 0 0 15 0 19 0 828534066 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10639] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10639/stat : 10639 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828534066 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10640] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10640/stat : 10640 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828534066 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10641] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10641/stat : 10641 (java) S 10620 10622 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828534176 13956534272 83553 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13629428
[startup+6.30135 s]
/proc/loadavg: 2.15 2.06 2.01 3/591 10641
/proc/meminfo: memFree=24296336/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13629428 CPUtime=7.89 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 105532 0 1 0 775 14 0 0 21 0 19 0 828534059 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3407357 96828 2263 9 0 3398091 0
[pid=10622/tid=10623] ppid=10620 vsize=13629428 CPUtime=6.14 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 79282 0 1 0 604 10 0 0 18 0 19 0 828534060 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912506005424 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10622/tid=10625] ppid=10620 vsize=13629428 CPUtime=0.01 cores=1,3,5,7
/proc/10622/task/10625/stat : 10625 (java) S 10620 10622 10194 0 -1 4202560 1308 0 0 0 1 0 0 0 18 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10626] ppid=10620 vsize=13629428 CPUtime=0.01 cores=1,3,5,7
/proc/10622/task/10626/stat : 10626 (java) S 10620 10622 10194 0 -1 4202560 1125 0 0 0 1 0 0 0 18 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10627] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10627/stat : 10627 (java) S 10620 10622 10194 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10628] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10628/stat : 10628 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10629] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10629/stat : 10629 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10630] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10630/stat : 10630 (java) S 10620 10622 10194 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10631] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10631/stat : 10631 (java) S 10620 10622 10194 0 -1 4202560 492 0 0 0 0 0 0 0 16 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10632] ppid=10620 vsize=13629428 CPUtime=0.01 cores=1,3,5,7
/proc/10622/task/10632/stat : 10632 (java) S 10620 10622 10194 0 -1 4202560 1005 0 0 0 1 0 0 0 18 0 19 0 828534062 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10633] ppid=10620 vsize=13629428 CPUtime=0.09 cores=1,3,5,7
/proc/10622/task/10633/stat : 10633 (java) S 10620 10622 10194 0 -1 4202560 4082 0 0 0 9 0 0 0 15 0 19 0 828534063 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 0 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10634] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10634/stat : 10634 (java) S 10620 10622 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10635] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10635/stat : 10635 (java) S 10620 10622 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10636] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10636/stat : 10636 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828534066 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488518577 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10637] ppid=10620 vsize=13629428 CPUtime=0.49 cores=1,3,5,7
/proc/10622/task/10637/stat : 10637 (java) S 10620 10622 10194 0 -1 4202560 2096 0 0 0 49 0 0 0 16 0 19 0 828534066 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10638] ppid=10620 vsize=13629428 CPUtime=1.06 cores=1,3,5,7
/proc/10622/task/10638/stat : 10638 (java) S 10620 10622 10194 0 -1 4202560 14673 0 0 0 105 1 0 0 15 0 19 0 828534066 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10639] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10639/stat : 10639 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828534066 13956534272 96828 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=10622/tid=10630] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10630/stat : 10630 (java) S 10620 10622 10194 0 -1 4202560 1151 0 0 0 17 0 0 0 16 0 19 0 828534062 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10631] ppid=10620 vsize=13629428 CPUtime=0.13 cores=1,3,5,7
/proc/10622/task/10631/stat : 10631 (java) S 10620 10622 10194 0 -1 4202560 1544 0 0 0 13 0 0 0 15 0 19 0 828534062 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10632] ppid=10620 vsize=13629428 CPUtime=0.16 cores=1,3,5,7
/proc/10622/task/10632/stat : 10632 (java) S 10620 10622 10194 0 -1 4202560 1033 0 0 0 16 0 0 0 15 0 19 0 828534062 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10633] ppid=10620 vsize=13629428 CPUtime=5.25 cores=1,3,5,7
/proc/10622/task/10633/stat : 10633 (java) S 10620 10622 10194 0 -1 4202560 12062 0 0 0 522 3 0 0 15 0 19 0 828534063 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 0 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10634] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10634/stat : 10634 (java) S 10620 10622 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10635] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10635/stat : 10635 (java) S 10620 10622 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10636] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10636/stat : 10636 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828534066 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488518577 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10637] ppid=10620 vsize=13629428 CPUtime=0.58 cores=1,3,5,7
/proc/10622/task/10637/stat : 10637 (java) S 10620 10622 10194 0 -1 4202560 2105 0 0 0 58 0 0 0 15 0 19 0 828534066 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10638] ppid=10620 vsize=13629428 CPUtime=1.07 cores=1,3,5,7
/proc/10622/task/10638/stat : 10638 (java) S 10620 10622 10194 0 -1 4202560 14673 0 0 0 106 1 0 0 15 0 19 0 828534066 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10639] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10639/stat : 10639 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828534066 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10640] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10640/stat : 10640 (java) S 10620 10622 10194 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828534066 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10641] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10641/stat : 10641 (java) S 10620 10622 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828534176 13956534272 109007 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.84
Current children cumulated vsize (KiB) 13629428
[startup+1782.3 s]
/proc/loadavg: 1.05 1.22 1.57 2/567 10720
/proc/meminfo: memFree=24503304/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13629428 CPUtime=1784.86 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 120024 0 1 0 178467 19 0 0 21 0 19 0 828534059 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3407357 109082 2264 9 0 3398091 0
[pid=10622/tid=10623] ppid=10620 vsize=13629428 CPUtime=1776.43 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 79358 0 1 0 177633 10 0 0 25 0 19 0 828534060 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912505991596 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10622/tid=10625] ppid=10620 vsize=13629428 CPUtime=0.2 cores=1,3,5,7
/proc/10622/task/10625/stat : 10625 (java) S 10620 10622 10194 0 -1 4202560 2531 0 0 0 20 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10626] ppid=10620 vsize=13629428 CPUtime=0.21 cores=1,3,5,7
/proc/10622/task/10626/stat : 10626 (java) S 10620 10622 10194 0 -1 4202560 2315 0 0 0 21 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10627] ppid=10620 vsize=13629428 CPUtime=0.11 cores=1,3,5,7
/proc/10622/task/10627/stat : 10627 (java) S 10620 10622 10194 0 -1 4202560 650 0 0 0 11 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10628] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10628/stat : 10628 (java) S 10620 10622 10194 0 -1 4202560 550 0 0 0 17 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10629] ppid=10620 vsize=13629428 CPUtime=0.16 cores=1,3,5,7
/proc/10622/task/10629/stat : 10629 (java) S 10620 10622 10194 0 -1 4202560 723 0 0 0 16 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10630] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10630/stat : 10630 (java) S 10620 10622 10194 0 -1 4202560 1151 0 0 0 17 0 0 0 16 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10631] ppid=10620 vsize=13629428 CPUtime=0.14 cores=1,3,5,7
/proc/10622/task/10631/stat : 10631 (java) S 10620 10622 10194 0 -1 4202560 1544 0 0 0 14 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10632] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10632/stat : 10632 (java) S 10620 10622 10194 0 -1 4202560 1033 0 0 0 17 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10633] ppid=10620 vsize=13629428 CPUtime=5.33 cores=1,3,5,7
/proc/10622/task/10633/stat : 10633 (java) S 10620 10622 10194 0 -1 4202560 12139 0 0 0 530 3 0 0 15 0 19 0 828534063 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 0 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10634] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10634/stat : 10634 (java) S 10620 10622 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10635] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10635/stat : 10635 (java) S 10620 10622 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10636] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10636/stat : 10636 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488518577 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10637] ppid=10620 vsize=13629428 CPUtime=0.58 cores=1,3,5,7
/proc/10622/task/10637/stat : 10637 (java) S 10620 10622 10194 0 -1 4202560 2105 0 0 0 58 0 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10638] ppid=10620 vsize=13629428 CPUtime=1.07 cores=1,3,5,7
/proc/10622/task/10638/stat : 10638 (java) S 10620 10622 10194 0 -1 4202560 14673 0 0 0 106 1 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10639] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10639/stat : 10639 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10640] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10640/stat : 10640 (java) S 10620 10622 10194 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10641] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10641/stat : 10641 (java) S 10620 10622 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828534176 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.86
Current children cumulated vsize (KiB) 13629428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 1.04 1.20 1.56 2/567 10721
/proc/meminfo: memFree=24503676/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13629428 CPUtime=1800.07 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 120026 0 1 0 179988 19 0 0 21 0 19 0 828534059 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3407357 109082 2264 9 0 3398091 0
[pid=10622/tid=10623] ppid=10620 vsize=13629428 CPUtime=1791.65 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 79358 0 1 0 179155 10 0 0 25 0 19 0 828534060 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912506010750 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10622/tid=10625] ppid=10620 vsize=13629428 CPUtime=0.2 cores=1,3,5,7
/proc/10622/task/10625/stat : 10625 (java) S 10620 10622 10194 0 -1 4202560 2531 0 0 0 20 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10626] ppid=10620 vsize=13629428 CPUtime=0.21 cores=1,3,5,7
/proc/10622/task/10626/stat : 10626 (java) S 10620 10622 10194 0 -1 4202560 2315 0 0 0 21 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10627] ppid=10620 vsize=13629428 CPUtime=0.11 cores=1,3,5,7
/proc/10622/task/10627/stat : 10627 (java) S 10620 10622 10194 0 -1 4202560 650 0 0 0 11 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10628] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10628/stat : 10628 (java) S 10620 10622 10194 0 -1 4202560 550 0 0 0 17 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10629] ppid=10620 vsize=13629428 CPUtime=0.16 cores=1,3,5,7
/proc/10622/task/10629/stat : 10629 (java) S 10620 10622 10194 0 -1 4202560 723 0 0 0 16 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10630] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10630/stat : 10630 (java) S 10620 10622 10194 0 -1 4202560 1151 0 0 0 17 0 0 0 16 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10631] ppid=10620 vsize=13629428 CPUtime=0.14 cores=1,3,5,7
/proc/10622/task/10631/stat : 10631 (java) S 10620 10622 10194 0 -1 4202560 1544 0 0 0 14 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10632] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10632/stat : 10632 (java) S 10620 10622 10194 0 -1 4202560 1033 0 0 0 17 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10633] ppid=10620 vsize=13629428 CPUtime=5.33 cores=1,3,5,7
/proc/10622/task/10633/stat : 10633 (java) S 10620 10622 10194 0 -1 4202560 12139 0 0 0 530 3 0 0 15 0 19 0 828534063 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 0 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10634] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10634/stat : 10634 (java) S 10620 10622 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10635] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10635/stat : 10635 (java) S 10620 10622 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10636] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10636/stat : 10636 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488518577 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10637] ppid=10620 vsize=13629428 CPUtime=0.58 cores=1,3,5,7
/proc/10622/task/10637/stat : 10637 (java) S 10620 10622 10194 0 -1 4202560 2105 0 0 0 58 0 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10638] ppid=10620 vsize=13629428 CPUtime=1.07 cores=1,3,5,7
/proc/10622/task/10638/stat : 10638 (java) S 10620 10622 10194 0 -1 4202560 14673 0 0 0 106 1 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10639] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10639/stat : 10639 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10640] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10640/stat : 10640 (java) S 10620 10622 10194 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10641] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10641/stat : 10641 (java) S 10620 10622 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828534176 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13629428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.5 s]
/proc/loadavg: 1.04 1.20 1.56 2/567 10721
/proc/meminfo: memFree=24503676/32950928 swapFree=67056580/67111528
[pid=10622] ppid=10620 vsize=13629428 CPUtime=1800.07 cores=1,3,5,7
/proc/10622/stat : 10622 (java) S 10620 10622 10194 0 -1 4202496 120026 0 1 0 179988 19 0 0 21 0 19 0 828534059 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10622/statm: 3407357 109082 2264 9 0 3398091 0
[pid=10622/tid=10623] ppid=10620 vsize=13629428 CPUtime=1791.65 cores=1,3,5,7
/proc/10622/task/10623/stat : 10623 (java) R 10620 10622 10194 0 -1 4202560 79358 0 1 0 179155 10 0 0 25 0 19 0 828534060 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 46912506010750 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10622/tid=10625] ppid=10620 vsize=13629428 CPUtime=0.2 cores=1,3,5,7
/proc/10622/task/10625/stat : 10625 (java) S 10620 10622 10194 0 -1 4202560 2531 0 0 0 20 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10626] ppid=10620 vsize=13629428 CPUtime=0.21 cores=1,3,5,7
/proc/10622/task/10626/stat : 10626 (java) S 10620 10622 10194 0 -1 4202560 2315 0 0 0 21 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10627] ppid=10620 vsize=13629428 CPUtime=0.11 cores=1,3,5,7
/proc/10622/task/10627/stat : 10627 (java) S 10620 10622 10194 0 -1 4202560 650 0 0 0 11 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10628] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10628/stat : 10628 (java) S 10620 10622 10194 0 -1 4202560 550 0 0 0 17 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10629] ppid=10620 vsize=13629428 CPUtime=0.16 cores=1,3,5,7
/proc/10622/task/10629/stat : 10629 (java) S 10620 10622 10194 0 -1 4202560 723 0 0 0 16 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10630] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10630/stat : 10630 (java) S 10620 10622 10194 0 -1 4202560 1151 0 0 0 17 0 0 0 16 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
[pid=10622/tid=10631] ppid=10620 vsize=13629428 CPUtime=0.14 cores=1,3,5,7
/proc/10622/task/10631/stat : 10631 (java) S 10620 10622 10194 0 -1 4202560 1544 0 0 0 14 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10632] ppid=10620 vsize=13629428 CPUtime=0.17 cores=1,3,5,7
/proc/10622/task/10632/stat : 10632 (java) S 10620 10622 10194 0 -1 4202560 1033 0 0 0 17 0 0 0 15 0 19 0 828534062 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10633] ppid=10620 vsize=13629428 CPUtime=5.33 cores=1,3,5,7
/proc/10622/task/10633/stat : 10633 (java) S 10620 10622 10194 0 -1 4202560 12139 0 0 0 530 3 0 0 15 0 19 0 828534063 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 0 0 16800975 18446604465675728128 0 0 -1 1 0 0 0
[pid=10622/tid=10634] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10634/stat : 10634 (java) S 10620 10622 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10635] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10635/stat : 10635 (java) S 10620 10622 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828534064 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10636] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10636/stat : 10636 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488518577 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10637] ppid=10620 vsize=13629428 CPUtime=0.58 cores=1,3,5,7
/proc/10622/task/10637/stat : 10637 (java) S 10620 10622 10194 0 -1 4202560 2105 0 0 0 58 0 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 5 0 0 0
[pid=10622/tid=10638] ppid=10620 vsize=13629428 CPUtime=1.07 cores=1,3,5,7
/proc/10622/task/10638/stat : 10638 (java) S 10620 10622 10194 0 -1 4202560 14673 0 0 0 106 1 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10639] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10639/stat : 10639 (java) S 10620 10622 10194 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488510873 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10640] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10640/stat : 10640 (java) S 10620 10622 10194 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828534066 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 3 0 0 0
[pid=10622/tid=10641] ppid=10620 vsize=13629428 CPUtime=0 cores=1,3,5,7
/proc/10622/task/10641/stat : 10641 (java) S 10620 10622 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828534176 13956534272 109082 33554432000 1073741824 1073778376 140734304560048 18446744073709551615 239488511488 0 4 0 16800975 18446604465675728128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13629428
Child status: 143
Real time (s): 1797.58
CPU time (s): 1800.19
CPU user time (s): 1799.98
CPU system time (s): 0.217966
CPU usage (%): 100.146
Max. virtual memory (cumulated for all children) (KiB): 13629428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120056
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= 38924
involuntary context switches= 13311
runsolver used 9.25659 second user time and 23.7804 second system time
The end