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-3458424-1307161584/watcher-3458424-1307161584 -o /tmp/evaluation-result-3458424-1307161584/solver-3458424-1307161584 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458424-1307161584.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.03 2.04 2.00 2/532 24696
/proc/meminfo: memFree=20411376/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 5183 0 1 0 0 0 0 0 22 0 2 0 808573972 13850947584 4886 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3381579 4899 917 9 0 3372735 0
[pid=24696/tid=24697] ppid=24694 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 5109 0 1 0 0 0 0 0 23 0 2 0 808573973 13850947584 5925 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0580119 s]
/proc/loadavg: 2.03 2.04 2.00 2/532 24696
/proc/meminfo: memFree=20411376/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 13930 0 1 0 3 1 0 0 22 0 13 0 808573972 13874806784 13628 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3387404 13628 1684 9 0 3378152 0
[pid=24696/tid=24697] ppid=24694 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) S 24694 24696 20485 0 -1 4202560 12784 0 1 0 3 1 0 0 25 0 13 0 808573973 13874806784 13628 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264726400869 0 2147483391 0 16800971 18446744071699207358 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.100977 s]
/proc/loadavg: 2.03 2.04 2.00 2/532 24696
/proc/meminfo: memFree=20411376/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13621872 CPUtime=0.09 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 15381 0 1 0 7 2 0 0 22 0 18 0 808573972 13948796928 15079 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3405468 15079 2082 9 0 3396202 0
[pid=24696/tid=24697] ppid=24694 vsize=13621872 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 13558 0 1 0 6 1 0 0 18 0 18 0 808573973 13948796928 15079 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 47517124647417 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621872
[startup+0.300929 s]
/proc/loadavg: 2.03 2.04 2.00 2/532 24696
/proc/meminfo: memFree=20411376/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13623712 CPUtime=0.43 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 18108 0 1 0 41 2 0 0 22 0 18 0 808573972 13950681088 17390 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3405928 17390 2194 9 0 3396662 0
[pid=24696/tid=24697] ppid=24694 vsize=13623712 CPUtime=0.28 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 15279 0 1 0 26 2 0 0 18 0 18 0 808573973 13950681088 17391 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505568715 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13623712
[startup+0.700892 s]
/proc/loadavg: 2.03 2.04 2.00 2/532 24696
/proc/meminfo: memFree=20411376/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13635748 CPUtime=1.49 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 53263 0 1 0 143 6 0 0 22 0 18 0 808573972 13963005952 50370 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3408937 50376 2227 9 0 3399671 0
[pid=24696/tid=24697] ppid=24694 vsize=13635748 CPUtime=0.67 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 43492 0 1 0 63 4 0 0 18 0 18 0 808573973 13963005952 50378 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505718713 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13635748
[startup+1.50074 s]
/proc/loadavg: 2.19 2.08 2.01 5/551 24716
/proc/meminfo: memFree=20000724/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13636776 CPUtime=2.63 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 107371 0 1 0 251 12 0 0 22 0 19 0 808573972 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3409194 104476 2239 9 0 3399928 0
[pid=24696/tid=24697] ppid=24694 vsize=13636776 CPUtime=1.47 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 97522 0 1 0 137 10 0 0 18 0 19 0 808573973 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505936242 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24696/tid=24700] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24700/stat : 24700 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24701] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24701/stat : 24701 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24702] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24702/stat : 24702 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24703] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24703/stat : 24703 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24704] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24704/stat : 24704 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24705] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24705/stat : 24705 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24706] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24706/stat : 24706 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24707] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24707/stat : 24707 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24708] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24708/stat : 24708 (java) S 24694 24696 20485 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808573976 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 0 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24709] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24709/stat : 24709 (java) S 24694 24696 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808573977 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24710] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24710/stat : 24710 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808573977 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24711] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24711/stat : 24711 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738228657 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24712] ppid=24694 vsize=13636776 CPUtime=0.57 cores=1,3,5,7
/proc/24696/task/24712/stat : 24712 (java) S 24694 24696 20485 0 -1 4202560 5052 0 0 0 57 0 0 0 20 0 19 0 808573979 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24713] ppid=24694 vsize=13636776 CPUtime=0.55 cores=1,3,5,7
/proc/24696/task/24713/stat : 24713 (java) S 24694 24696 20485 0 -1 4202560 3637 0 0 0 55 0 0 0 20 0 19 0 808573979 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24714] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24714/stat : 24714 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24715] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24715/stat : 24715 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808573979 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24716] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24716/stat : 24716 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 808574065 13964058624 104476 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 13636776
[startup+3.10144 s]
/proc/loadavg: 2.19 2.08 2.01 3/551 24716
/proc/meminfo: memFree=19998996/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13636776 CPUtime=4.26 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 107550 0 1 0 414 12 0 0 22 0 19 0 808573972 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3409194 104653 2239 9 0 3399928 0
[pid=24696/tid=24697] ppid=24694 vsize=13636776 CPUtime=3.08 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 97696 0 1 0 297 11 0 0 21 0 19 0 808573973 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505998665 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24696/tid=24700] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24700/stat : 24700 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24701] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24701/stat : 24701 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24702] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24702/stat : 24702 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24703] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24703/stat : 24703 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24704] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24704/stat : 24704 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24705] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24705/stat : 24705 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24706] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24706/stat : 24706 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24707] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24707/stat : 24707 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24708] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24708/stat : 24708 (java) S 24694 24696 20485 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808573976 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 0 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24709] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24709/stat : 24709 (java) S 24694 24696 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808573977 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24710] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24710/stat : 24710 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808573977 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24711] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24711/stat : 24711 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738228657 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24712] ppid=24694 vsize=13636776 CPUtime=0.57 cores=1,3,5,7
/proc/24696/task/24712/stat : 24712 (java) S 24694 24696 20485 0 -1 4202560 5052 0 0 0 57 0 0 0 20 0 19 0 808573979 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24713] ppid=24694 vsize=13636776 CPUtime=0.59 cores=1,3,5,7
/proc/24696/task/24713/stat : 24713 (java) S 24694 24696 20485 0 -1 4202560 3642 0 0 0 59 0 0 0 15 0 19 0 808573979 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24714] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24714/stat : 24714 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24715] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24715/stat : 24715 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808573979 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24716] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24716/stat : 24716 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 808574065 13964058624 104653 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 13636776
[startup+6.30084 s]
/proc/loadavg: 2.19 2.08 2.01 3/551 24716
/proc/meminfo: memFree=19997136/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13636776 CPUtime=7.52 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 107899 0 1 0 740 12 0 0 22 0 19 0 808573972 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3409194 105000 2242 9 0 3399928 0
[pid=24696/tid=24697] ppid=24694 vsize=13636776 CPUtime=6.28 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 98017 0 1 0 617 11 0 0 25 0 19 0 808573973 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505998665 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24696/tid=24700] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24700/stat : 24700 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24701] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24701/stat : 24701 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24702] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24702/stat : 24702 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24703] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24703/stat : 24703 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24704] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24704/stat : 24704 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24705] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24705/stat : 24705 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24706] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24706/stat : 24706 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24707] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24707/stat : 24707 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573975 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24708] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24708/stat : 24708 (java) S 24694 24696 20485 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 808573976 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 0 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24709] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24709/stat : 24709 (java) S 24694 24696 20485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808573977 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24710] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24710/stat : 24710 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808573977 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24711] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24711/stat : 24711 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738228657 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24712] ppid=24694 vsize=13636776 CPUtime=0.58 cores=1,3,5,7
/proc/24696/task/24712/stat : 24712 (java) S 24694 24696 20485 0 -1 4202560 5059 0 0 0 58 0 0 0 15 0 19 0 808573979 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24713] ppid=24694 vsize=13636776 CPUtime=0.64 cores=1,3,5,7
/proc/24696/task/24713/stat : 24713 (java) S 24694 24696 20485 0 -1 4202560 3663 0 0 0 64 0 0 0 15 0 19 0 808573979 13964058624 105000 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=24696/tid=24705] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24705/stat : 24705 (java) S 24694 24696 20485 0 -1 4202560 2279 0 0 0 7 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24706] ppid=24694 vsize=13636776 CPUtime=0.06 cores=1,3,5,7
/proc/24696/task/24706/stat : 24706 (java) S 24694 24696 20485 0 -1 4202560 2924 0 0 0 6 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24707] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24707/stat : 24707 (java) S 24694 24696 20485 0 -1 4202560 3848 0 0 0 7 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24708] ppid=24694 vsize=13636776 CPUtime=3.18 cores=1,3,5,7
/proc/24696/task/24708/stat : 24708 (java) S 24694 24696 20485 0 -1 4202560 18993 0 0 0 317 1 0 0 15 0 19 0 808573976 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 0 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24709] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24709/stat : 24709 (java) S 24694 24696 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24710] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24710/stat : 24710 (java) S 24694 24696 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24711] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24711/stat : 24711 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738228657 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24712] ppid=24694 vsize=13636776 CPUtime=0.69 cores=1,3,5,7
/proc/24696/task/24712/stat : 24712 (java) S 24694 24696 20485 0 -1 4202560 5091 0 0 0 69 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24713] ppid=24694 vsize=13636776 CPUtime=0.71 cores=1,3,5,7
/proc/24696/task/24713/stat : 24713 (java) S 24694 24696 20485 0 -1 4202560 3669 0 0 0 71 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24714] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24714/stat : 24714 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24715] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24715/stat : 24715 (java) S 24694 24696 20485 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24716] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24716/stat : 24716 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 808574065 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.01
Current children cumulated vsize (KiB) 13636776
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/551 24816
/proc/meminfo: memFree=20918424/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13636776 CPUtime=1784.02 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 142805 0 1 0 178385 17 0 0 22 0 19 0 808573972 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3409194 139715 2267 9 0 3399928 0
[pid=24696/tid=24697] ppid=24694 vsize=13636776 CPUtime=1778.87 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 98540 0 1 0 177876 11 0 0 25 0 19 0 808573973 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505926277 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24696/tid=24700] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24700/stat : 24700 (java) S 24694 24696 20485 0 -1 4202560 1461 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24701] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24701/stat : 24701 (java) S 24694 24696 20485 0 -1 4202560 960 0 0 0 3 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24702] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24702/stat : 24702 (java) S 24694 24696 20485 0 -1 4202560 23 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24703] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24703/stat : 24703 (java) S 24694 24696 20485 0 -1 4202560 1913 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24704] ppid=24694 vsize=13636776 CPUtime=0.02 cores=1,3,5,7
/proc/24696/task/24704/stat : 24704 (java) S 24694 24696 20485 0 -1 4202560 1850 0 0 0 2 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24705] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24705/stat : 24705 (java) S 24694 24696 20485 0 -1 4202560 2279 0 0 0 7 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24706] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24706/stat : 24706 (java) S 24694 24696 20485 0 -1 4202560 2924 0 0 0 7 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24707] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24707/stat : 24707 (java) S 24694 24696 20485 0 -1 4202560 3848 0 0 0 7 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24708] ppid=24694 vsize=13636776 CPUtime=3.29 cores=1,3,5,7
/proc/24696/task/24708/stat : 24708 (java) S 24694 24696 20485 0 -1 4202560 18995 0 0 0 328 1 0 0 15 0 19 0 808573976 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 0 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24709] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24709/stat : 24709 (java) S 24694 24696 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24710] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24710/stat : 24710 (java) S 24694 24696 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24711] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24711/stat : 24711 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738228657 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24712] ppid=24694 vsize=13636776 CPUtime=0.69 cores=1,3,5,7
/proc/24696/task/24712/stat : 24712 (java) S 24694 24696 20485 0 -1 4202560 5091 0 0 0 69 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24713] ppid=24694 vsize=13636776 CPUtime=0.71 cores=1,3,5,7
/proc/24696/task/24713/stat : 24713 (java) S 24694 24696 20485 0 -1 4202560 3669 0 0 0 71 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24714] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24714/stat : 24714 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24715] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24715/stat : 24715 (java) S 24694 24696 20485 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24716] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24716/stat : 24716 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 808574065 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.02
Current children cumulated vsize (KiB) 13636776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/551 24816
/proc/meminfo: memFree=20918532/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13636776 CPUtime=1800.04 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 142805 0 1 0 179987 17 0 0 22 0 19 0 808573972 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3409194 139715 2267 9 0 3399928 0
[pid=24696/tid=24697] ppid=24694 vsize=13636776 CPUtime=1794.89 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 98540 0 1 0 179478 11 0 0 25 0 19 0 808573973 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505798111 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24696/tid=24700] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24700/stat : 24700 (java) S 24694 24696 20485 0 -1 4202560 1461 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24701] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24701/stat : 24701 (java) S 24694 24696 20485 0 -1 4202560 960 0 0 0 3 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24702] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24702/stat : 24702 (java) S 24694 24696 20485 0 -1 4202560 23 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24703] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24703/stat : 24703 (java) S 24694 24696 20485 0 -1 4202560 1913 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24704] ppid=24694 vsize=13636776 CPUtime=0.02 cores=1,3,5,7
/proc/24696/task/24704/stat : 24704 (java) S 24694 24696 20485 0 -1 4202560 1850 0 0 0 2 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24705] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24705/stat : 24705 (java) S 24694 24696 20485 0 -1 4202560 2279 0 0 0 7 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24706] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24706/stat : 24706 (java) S 24694 24696 20485 0 -1 4202560 2924 0 0 0 7 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24707] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24707/stat : 24707 (java) S 24694 24696 20485 0 -1 4202560 3848 0 0 0 7 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24708] ppid=24694 vsize=13636776 CPUtime=3.29 cores=1,3,5,7
/proc/24696/task/24708/stat : 24708 (java) S 24694 24696 20485 0 -1 4202560 18995 0 0 0 328 1 0 0 15 0 19 0 808573976 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 0 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24709] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24709/stat : 24709 (java) S 24694 24696 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24710] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24710/stat : 24710 (java) S 24694 24696 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24711] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24711/stat : 24711 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738228657 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24712] ppid=24694 vsize=13636776 CPUtime=0.69 cores=1,3,5,7
/proc/24696/task/24712/stat : 24712 (java) S 24694 24696 20485 0 -1 4202560 5091 0 0 0 69 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24713] ppid=24694 vsize=13636776 CPUtime=0.71 cores=1,3,5,7
/proc/24696/task/24713/stat : 24713 (java) S 24694 24696 20485 0 -1 4202560 3669 0 0 0 71 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24714] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24714/stat : 24714 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24715] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24715/stat : 24715 (java) S 24694 24696 20485 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24716] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24716/stat : 24716 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 808574065 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13636776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/551 24816
/proc/meminfo: memFree=20918532/32951124 swapFree=62999000/67111528
[pid=24696] ppid=24694 vsize=13636776 CPUtime=1800.04 cores=1,3,5,7
/proc/24696/stat : 24696 (java) S 24694 24696 20485 0 -1 4202496 142805 0 1 0 179987 17 0 0 22 0 19 0 808573972 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24696/statm: 3409194 139715 2267 9 0 3399928 0
[pid=24696/tid=24697] ppid=24694 vsize=13636776 CPUtime=1794.89 cores=1,3,5,7
/proc/24696/task/24697/stat : 24697 (java) R 24694 24696 20485 0 -1 4202560 98540 0 1 0 179478 11 0 0 25 0 19 0 808573973 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 46912505798111 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24696/tid=24700] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24700/stat : 24700 (java) S 24694 24696 20485 0 -1 4202560 1461 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24701] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24701/stat : 24701 (java) S 24694 24696 20485 0 -1 4202560 960 0 0 0 3 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24702] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24702/stat : 24702 (java) S 24694 24696 20485 0 -1 4202560 23 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24703] ppid=24694 vsize=13636776 CPUtime=0.03 cores=1,3,5,7
/proc/24696/task/24703/stat : 24703 (java) S 24694 24696 20485 0 -1 4202560 1913 0 0 0 3 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24704] ppid=24694 vsize=13636776 CPUtime=0.02 cores=1,3,5,7
/proc/24696/task/24704/stat : 24704 (java) S 24694 24696 20485 0 -1 4202560 1850 0 0 0 2 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24705] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24705/stat : 24705 (java) S 24694 24696 20485 0 -1 4202560 2279 0 0 0 7 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24706] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24706/stat : 24706 (java) S 24694 24696 20485 0 -1 4202560 2924 0 0 0 7 0 0 0 16 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24707] ppid=24694 vsize=13636776 CPUtime=0.07 cores=1,3,5,7
/proc/24696/task/24707/stat : 24707 (java) S 24694 24696 20485 0 -1 4202560 3848 0 0 0 7 0 0 0 15 0 19 0 808573975 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24708] ppid=24694 vsize=13636776 CPUtime=3.29 cores=1,3,5,7
/proc/24696/task/24708/stat : 24708 (java) S 24694 24696 20485 0 -1 4202560 18995 0 0 0 328 1 0 0 15 0 19 0 808573976 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 0 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24709] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24709/stat : 24709 (java) S 24694 24696 20485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24710] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24710/stat : 24710 (java) S 24694 24696 20485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808573977 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24711] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24711/stat : 24711 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738228657 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24712] ppid=24694 vsize=13636776 CPUtime=0.69 cores=1,3,5,7
/proc/24696/task/24712/stat : 24712 (java) S 24694 24696 20485 0 -1 4202560 5091 0 0 0 69 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
[pid=24696/tid=24713] ppid=24694 vsize=13636776 CPUtime=0.71 cores=1,3,5,7
/proc/24696/task/24713/stat : 24713 (java) S 24694 24696 20485 0 -1 4202560 3669 0 0 0 71 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 3 0 0 0
[pid=24696/tid=24714] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24714/stat : 24714 (java) S 24694 24696 20485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738220953 0 4 0 16800975 18446604468267711296 0 0 -1 5 0 0 0
[pid=24696/tid=24715] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24715/stat : 24715 (java) S 24694 24696 20485 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808573979 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 1 0 0 0
[pid=24696/tid=24716] ppid=24694 vsize=13636776 CPUtime=0 cores=1,3,5,7
/proc/24696/task/24716/stat : 24716 (java) S 24694 24696 20485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 808574065 13964058624 139715 33554432000 1073741824 1073778376 140736258663984 18446744073709551615 264738221568 0 4 0 16800975 18446604468267711296 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13636776
Child status: 143
Real time (s): 1798.39
CPU time (s): 1800.14
CPU user time (s): 1799.94
CPU system time (s): 0.19697
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 13636776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.19697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142836
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= 37664
involuntary context switches= 5019
runsolver used 9.06162 second user time and 22.0346 second system time
The end