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-3458410-1307161263/watcher-3458410-1307161263 -o /tmp/evaluation-result-3458410-1307161263/solver-3458410-1307161263 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458410-1307161263.opb
running on 4 cores: 0,2,4,6
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: 1.95 2.00 2.00 2/531 24632
/proc/meminfo: memFree=21708728/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 7536 0 1 0 0 1 0 0 21 0 2 0 808541878 13850947584 7239 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3381579 7253 917 9 0 3372735 0
[pid=24632/tid=24633] ppid=24629 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 7594 0 1 0 0 1 0 0 23 0 2 0 808541878 13850947584 8409 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.111479 s]
/proc/loadavg: 1.95 2.00 2.00 2/531 24632
/proc/meminfo: memFree=21708728/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13555836 CPUtime=0.06 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 14273 0 1 0 4 2 0 0 21 0 18 0 808541878 13881176064 13970 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3388959 13970 1742 9 0 3379693 0
[pid=24632/tid=24633] ppid=24629 vsize=13555836 CPUtime=0.06 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 13099 0 1 0 4 2 0 0 25 0 18 0 808541878 13881176064 13970 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 47298864052656 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555836
[startup+0.21752 s]
/proc/loadavg: 1.95 2.00 2.00 2/531 24632
/proc/meminfo: memFree=21708728/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13622396 CPUtime=0.22 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 16310 0 1 0 20 2 0 0 21 0 18 0 808541878 13949333504 15987 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3405599 15987 2167 9 0 3396333 0
[pid=24632/tid=24633] ppid=24629 vsize=13622396 CPUtime=0.16 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 14183 0 1 0 14 2 0 0 18 0 18 0 808541878 13949333504 15988 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 47298861168264 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 13622396
[startup+0.300445 s]
/proc/loadavg: 1.95 2.00 2.00 2/531 24632
/proc/meminfo: memFree=21708728/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13623420 CPUtime=0.37 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 18023 0 1 0 34 3 0 0 21 0 18 0 808541878 13950382080 17340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3405855 17340 2192 9 0 3396589 0
[pid=24632/tid=24633] ppid=24629 vsize=13623420 CPUtime=0.24 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 14918 0 1 0 22 2 0 0 18 0 18 0 808541878 13950382080 17340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 13623420
[startup+0.700451 s]
/proc/loadavg: 1.95 2.00 2.00 2/531 24632
/proc/meminfo: memFree=21708728/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13634684 CPUtime=1.46 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 49247 0 1 0 139 7 0 0 21 0 18 0 808541878 13961916416 46610 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3408671 46615 2228 9 0 3399405 0
[pid=24632/tid=24633] ppid=24629 vsize=13634684 CPUtime=0.64 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 39612 0 1 0 59 5 0 0 18 0 18 0 808541878 13961916416 46617 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505577654 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13634684
[startup+1.50122 s]
/proc/loadavg: 1.95 2.00 2.00 3/550 24653
/proc/meminfo: memFree=21071276/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13634684 CPUtime=2.27 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 299634 0 1 0 191 36 0 0 21 0 18 0 808541878 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3408671 296996 2231 9 0 3399405 0
[pid=24632/tid=24633] ppid=24629 vsize=13634684 CPUtime=1.44 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 289988 0 1 0 110 34 0 0 18 0 18 0 808541878 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505212888 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24632/tid=24635] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24635/stat : 24635 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 808541880 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24636] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24636/stat : 24636 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541880 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24637] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24637/stat : 24637 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541880 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24638] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24638/stat : 24638 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541880 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24639] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24639/stat : 24639 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541880 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24641] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24641/stat : 24641 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541880 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24642] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24642/stat : 24642 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541880 13961916416 296996 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24643] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24643/stat : 24643 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541880 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24644] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24644/stat : 24644 (java) S 24629 24632 20485 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 18 0 808541881 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24645] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24645/stat : 24645 (java) S 24629 24632 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 808541882 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24646] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24646/stat : 24646 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 808541882 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24648] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24648/stat : 24648 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541888 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24649] ppid=24629 vsize=13634684 CPUtime=0.42 cores=0,2,4,6
/proc/24632/task/24649/stat : 24649 (java) R 24629 24632 20485 0 -1 4202560 4385 0 0 0 42 0 0 0 18 0 18 0 808541888 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 47298863505129 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24632/tid=24650] ppid=24629 vsize=13634684 CPUtime=0.39 cores=0,2,4,6
/proc/24632/task/24650/stat : 24650 (java) R 24629 24632 20485 0 -1 4202560 4108 0 0 0 38 1 0 0 17 0 18 0 808541888 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 47298859189554 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24632/tid=24651] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24651/stat : 24651 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 808541888 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24652] ppid=24629 vsize=13634684 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24652/stat : 24652 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 808541888 13961916416 296999 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 13634684
[startup+3.10098 s]
/proc/loadavg: 2.03 2.01 2.00 3/551 24654
/proc/meminfo: memFree=20474208/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13635712 CPUtime=4.18 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 300752 0 1 0 382 36 0 0 21 0 19 0 808541878 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3408928 298112 2240 9 0 3399662 0
[pid=24632/tid=24633] ppid=24629 vsize=13635712 CPUtime=3.04 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 291050 0 1 0 270 34 0 0 18 0 19 0 808541878 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505953609 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24632/tid=24635] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24635/stat : 24635 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24636] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24636/stat : 24636 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24637] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24637/stat : 24637 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24638] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24638/stat : 24638 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24639] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24639/stat : 24639 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24641] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24641/stat : 24641 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24642] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24642/stat : 24642 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24643] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24643/stat : 24643 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24644] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24644/stat : 24644 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 808541881 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24645] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24645/stat : 24645 (java) S 24629 24632 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808541882 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24646] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24646/stat : 24646 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808541882 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24648] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24648/stat : 24648 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24649] ppid=24629 vsize=13635712 CPUtime=0.6 cores=0,2,4,6
/proc/24632/task/24649/stat : 24649 (java) S 24629 24632 20485 0 -1 4202560 4414 0 0 0 60 0 0 0 15 0 19 0 808541888 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24650] ppid=24629 vsize=13635712 CPUtime=0.51 cores=0,2,4,6
/proc/24632/task/24650/stat : 24650 (java) S 24629 24632 20485 0 -1 4202560 4127 0 0 0 50 1 0 0 15 0 19 0 808541888 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24651] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24651/stat : 24651 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24652] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24652/stat : 24652 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808541888 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24654] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24654/stat : 24654 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808542031 13962969088 298112 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 13635712
[startup+6.30137 s]
/proc/loadavg: 2.03 2.01 2.00 3/551 24655
/proc/meminfo: memFree=20471392/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13635712 CPUtime=7.42 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 301002 0 1 0 705 37 0 0 21 0 19 0 808541878 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3408928 298340 2240 9 0 3399662 0
[pid=24632/tid=24633] ppid=24629 vsize=13635712 CPUtime=6.24 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 291295 0 1 0 590 34 0 0 25 0 19 0 808541878 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505953609 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24632/tid=24635] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24635/stat : 24635 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24636] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24636/stat : 24636 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24637] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24637/stat : 24637 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24638] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24638/stat : 24638 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24639] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24639/stat : 24639 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24641] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24641/stat : 24641 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24642] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24642/stat : 24642 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24643] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24643/stat : 24643 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541880 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24644] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24644/stat : 24644 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 808541881 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24645] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24645/stat : 24645 (java) S 24629 24632 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808541882 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24646] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24646/stat : 24646 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808541882 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24648] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24648/stat : 24648 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24649] ppid=24629 vsize=13635712 CPUtime=0.63 cores=0,2,4,6
/proc/24632/task/24649/stat : 24649 (java) S 24629 24632 20485 0 -1 4202560 4419 0 0 0 63 0 0 0 15 0 19 0 808541888 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24650] ppid=24629 vsize=13635712 CPUtime=0.51 cores=0,2,4,6
/proc/24632/task/24650/stat : 24650 (java) S 24629 24632 20485 0 -1 4202560 4127 0 0 0 50 1 0 0 15 0 19 0 808541888 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24651] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24651/stat : 24651 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 298340 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=24632/tid=24641] ppid=24629 vsize=13635712 CPUtime=0.08 cores=0,2,4,6
/proc/24632/task/24641/stat : 24641 (java) S 24629 24632 20485 0 -1 4202560 3586 0 0 0 8 0 0 0 15 0 19 0 808541880 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24642] ppid=24629 vsize=13635712 CPUtime=0.09 cores=0,2,4,6
/proc/24632/task/24642/stat : 24642 (java) S 24629 24632 20485 0 -1 4202560 5534 0 0 0 8 1 0 0 15 0 19 0 808541880 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24643] ppid=24629 vsize=13635712 CPUtime=0.06 cores=0,2,4,6
/proc/24632/task/24643/stat : 24643 (java) S 24629 24632 20485 0 -1 4202560 2771 0 0 0 6 0 0 0 15 0 19 0 808541880 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24644] ppid=24629 vsize=13635712 CPUtime=4.37 cores=0,2,4,6
/proc/24632/task/24644/stat : 24644 (java) S 24629 24632 20485 0 -1 4202560 25631 0 0 0 435 2 0 0 15 0 19 0 808541881 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=24632/tid=24645] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24645/stat : 24645 (java) S 24629 24632 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24646] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24646/stat : 24646 (java) S 24629 24632 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24648] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24648/stat : 24648 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24649] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24649/stat : 24649 (java) S 24629 24632 20485 0 -1 4202560 4462 0 0 0 69 0 0 0 15 0 19 0 808541888 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24650] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24650/stat : 24650 (java) S 24629 24632 20485 0 -1 4202560 4167 0 0 0 68 1 0 0 15 0 19 0 808541888 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24651] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24651/stat : 24651 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24652] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24652/stat : 24652 (java) S 24629 24632 20485 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 808541888 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24654] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24654/stat : 24654 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808542031 13962969088 346236 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1664.03
Current children cumulated vsize (KiB) 13635712
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/551 24753
/proc/meminfo: memFree=19824496/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13635712 CPUtime=1724.05 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 349178 0 1 0 172361 44 0 0 21 0 19 0 808541878 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3408928 346328 2269 9 0 3399662 0
[pid=24632/tid=24633] ppid=24629 vsize=13635712 CPUtime=1717.53 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 294535 0 1 0 171718 35 0 0 25 0 19 0 808541878 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505983808 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24632/tid=24635] ppid=24629 vsize=13635712 CPUtime=0.11 cores=0,2,4,6
/proc/24632/task/24635/stat : 24635 (java) S 24629 24632 20485 0 -1 4202560 5630 0 0 0 11 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24636] ppid=24629 vsize=13635712 CPUtime=0.02 cores=0,2,4,6
/proc/24632/task/24636/stat : 24636 (java) S 24629 24632 20485 0 -1 4202560 748 0 0 0 2 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24637] ppid=24629 vsize=13635712 CPUtime=0.03 cores=0,2,4,6
/proc/24632/task/24637/stat : 24637 (java) S 24629 24632 20485 0 -1 4202560 760 0 0 0 3 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24638] ppid=24629 vsize=13635712 CPUtime=0.02 cores=0,2,4,6
/proc/24632/task/24638/stat : 24638 (java) S 24629 24632 20485 0 -1 4202560 6 0 0 0 2 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24639] ppid=24629 vsize=13635712 CPUtime=0.03 cores=0,2,4,6
/proc/24632/task/24639/stat : 24639 (java) S 24629 24632 20485 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24641] ppid=24629 vsize=13635712 CPUtime=0.09 cores=0,2,4,6
/proc/24632/task/24641/stat : 24641 (java) S 24629 24632 20485 0 -1 4202560 3586 0 0 0 9 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24642] ppid=24629 vsize=13635712 CPUtime=0.09 cores=0,2,4,6
/proc/24632/task/24642/stat : 24642 (java) S 24629 24632 20485 0 -1 4202560 5534 0 0 0 8 1 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24643] ppid=24629 vsize=13635712 CPUtime=0.06 cores=0,2,4,6
/proc/24632/task/24643/stat : 24643 (java) S 24629 24632 20485 0 -1 4202560 2771 0 0 0 6 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24644] ppid=24629 vsize=13635712 CPUtime=4.57 cores=0,2,4,6
/proc/24632/task/24644/stat : 24644 (java) S 24629 24632 20485 0 -1 4202560 25725 0 0 0 455 2 0 0 15 0 19 0 808541881 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=24632/tid=24645] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24645/stat : 24645 (java) S 24629 24632 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24646] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24646/stat : 24646 (java) S 24629 24632 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24648] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24648/stat : 24648 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24649] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24649/stat : 24649 (java) S 24629 24632 20485 0 -1 4202560 4462 0 0 0 69 0 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24650] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24650/stat : 24650 (java) S 24629 24632 20485 0 -1 4202560 4167 0 0 0 68 1 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24651] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24651/stat : 24651 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24652] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24652/stat : 24652 (java) S 24629 24632 20485 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24654] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24654/stat : 24654 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808542031 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.05
Current children cumulated vsize (KiB) 13635712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 24756
/proc/meminfo: memFree=19821864/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13635712 CPUtime=1784.05 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 349180 0 1 0 178361 44 0 0 21 0 19 0 808541878 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3408928 346328 2269 9 0 3399662 0
[pid=24632/tid=24633] ppid=24629 vsize=13635712 CPUtime=1777.53 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 294535 0 1 0 177718 35 0 0 25 0 19 0 808541878 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505991952 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24632/tid=24635] ppid=24629 vsize=13635712 CPUtime=0.11 cores=0,2,4,6
/proc/24632/task/24635/stat : 24635 (java) S 24629 24632 20485 0 -1 4202560 5630 0 0 0 11 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24636] ppid=24629 vsize=13635712 CPUtime=0.02 cores=0,2,4,6
/proc/24632/task/24636/stat : 24636 (java) S 24629 24632 20485 0 -1 4202560 748 0 0 0 2 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24637] ppid=24629 vsize=13635712 CPUtime=0.03 cores=0,2,4,6
/proc/24632/task/24637/stat : 24637 (java) S 24629 24632 20485 0 -1 4202560 760 0 0 0 3 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24638] ppid=24629 vsize=13635712 CPUtime=0.02 cores=0,2,4,6
/proc/24632/task/24638/stat : 24638 (java) S 24629 24632 20485 0 -1 4202560 6 0 0 0 2 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24639] ppid=24629 vsize=13635712 CPUtime=0.03 cores=0,2,4,6
/proc/24632/task/24639/stat : 24639 (java) S 24629 24632 20485 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24641] ppid=24629 vsize=13635712 CPUtime=0.09 cores=0,2,4,6
/proc/24632/task/24641/stat : 24641 (java) S 24629 24632 20485 0 -1 4202560 3586 0 0 0 9 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24642] ppid=24629 vsize=13635712 CPUtime=0.09 cores=0,2,4,6
/proc/24632/task/24642/stat : 24642 (java) S 24629 24632 20485 0 -1 4202560 5534 0 0 0 8 1 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24643] ppid=24629 vsize=13635712 CPUtime=0.06 cores=0,2,4,6
/proc/24632/task/24643/stat : 24643 (java) S 24629 24632 20485 0 -1 4202560 2771 0 0 0 6 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24644] ppid=24629 vsize=13635712 CPUtime=4.57 cores=0,2,4,6
/proc/24632/task/24644/stat : 24644 (java) S 24629 24632 20485 0 -1 4202560 25725 0 0 0 455 2 0 0 15 0 19 0 808541881 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=24632/tid=24645] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24645/stat : 24645 (java) S 24629 24632 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24646] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24646/stat : 24646 (java) S 24629 24632 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24648] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24648/stat : 24648 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24649] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24649/stat : 24649 (java) S 24629 24632 20485 0 -1 4202560 4462 0 0 0 69 0 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24650] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24650/stat : 24650 (java) S 24629 24632 20485 0 -1 4202560 4167 0 0 0 68 1 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24651] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24651/stat : 24651 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24652] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24652/stat : 24652 (java) S 24629 24632 20485 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24654] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24654/stat : 24654 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808542031 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.05
Current children cumulated vsize (KiB) 13635712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 24756
/proc/meminfo: memFree=19822468/32951124 swapFree=62999000/67111528
[pid=24632] ppid=24629 vsize=13635712 CPUtime=1800.07 cores=0,2,4,6
/proc/24632/stat : 24632 (java) S 24629 24632 20485 0 -1 4202496 349182 0 1 0 179963 44 0 0 21 0 19 0 808541878 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24632/statm: 3408928 346328 2269 9 0 3399662 0
[pid=24632/tid=24633] ppid=24629 vsize=13635712 CPUtime=1793.55 cores=0,2,4,6
/proc/24632/task/24633/stat : 24633 (java) R 24629 24632 20485 0 -1 4202560 294535 0 1 0 179320 35 0 0 25 0 19 0 808541878 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 46912505978220 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24632/tid=24635] ppid=24629 vsize=13635712 CPUtime=0.11 cores=0,2,4,6
/proc/24632/task/24635/stat : 24635 (java) S 24629 24632 20485 0 -1 4202560 5630 0 0 0 11 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24636] ppid=24629 vsize=13635712 CPUtime=0.02 cores=0,2,4,6
/proc/24632/task/24636/stat : 24636 (java) S 24629 24632 20485 0 -1 4202560 748 0 0 0 2 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24637] ppid=24629 vsize=13635712 CPUtime=0.03 cores=0,2,4,6
/proc/24632/task/24637/stat : 24637 (java) S 24629 24632 20485 0 -1 4202560 760 0 0 0 3 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24638] ppid=24629 vsize=13635712 CPUtime=0.02 cores=0,2,4,6
/proc/24632/task/24638/stat : 24638 (java) S 24629 24632 20485 0 -1 4202560 6 0 0 0 2 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24639] ppid=24629 vsize=13635712 CPUtime=0.03 cores=0,2,4,6
/proc/24632/task/24639/stat : 24639 (java) S 24629 24632 20485 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24641] ppid=24629 vsize=13635712 CPUtime=0.09 cores=0,2,4,6
/proc/24632/task/24641/stat : 24641 (java) S 24629 24632 20485 0 -1 4202560 3586 0 0 0 9 0 0 0 16 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24642] ppid=24629 vsize=13635712 CPUtime=0.09 cores=0,2,4,6
/proc/24632/task/24642/stat : 24642 (java) S 24629 24632 20485 0 -1 4202560 5534 0 0 0 8 1 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24643] ppid=24629 vsize=13635712 CPUtime=0.06 cores=0,2,4,6
/proc/24632/task/24643/stat : 24643 (java) S 24629 24632 20485 0 -1 4202560 2771 0 0 0 6 0 0 0 15 0 19 0 808541880 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24644] ppid=24629 vsize=13635712 CPUtime=4.57 cores=0,2,4,6
/proc/24632/task/24644/stat : 24644 (java) S 24629 24632 20485 0 -1 4202560 25725 0 0 0 455 2 0 0 15 0 19 0 808541881 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 0 0 16800975 18446604440972402752 0 0 -1 4 0 0 0
[pid=24632/tid=24645] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24645/stat : 24645 (java) S 24629 24632 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24646] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24646/stat : 24646 (java) S 24629 24632 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808541882 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24648] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24648/stat : 24648 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738228657 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24649] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24649/stat : 24649 (java) S 24629 24632 20485 0 -1 4202560 4462 0 0 0 69 0 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
[pid=24632/tid=24650] ppid=24629 vsize=13635712 CPUtime=0.69 cores=0,2,4,6
/proc/24632/task/24650/stat : 24650 (java) S 24629 24632 20485 0 -1 4202560 4167 0 0 0 68 1 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24651] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24651/stat : 24651 (java) S 24629 24632 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738220953 0 4 0 16800975 18446604440972402752 0 0 -1 6 0 0 0
[pid=24632/tid=24652] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24652/stat : 24652 (java) S 24629 24632 20485 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808541888 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 0 0 0 0
[pid=24632/tid=24654] ppid=24629 vsize=13635712 CPUtime=0 cores=0,2,4,6
/proc/24632/task/24654/stat : 24654 (java) S 24629 24632 20485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808542031 13962969088 346328 33554432000 1073741824 1073778376 140734744399824 18446744073709551615 264738221568 0 4 0 16800975 18446604440972402752 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13635712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.42
CPU time (s): 1800.23
CPU user time (s): 1799.73
CPU system time (s): 0.502923
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 13635712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349229
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= 37289
involuntary context switches= 4842
runsolver used 10.1974 second user time and 20.8808 second system time
The end