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-3456772-1307643024/watcher-3456772-1307643024 -o /tmp/evaluation-result-3456772-1307643024/solver-3456772-1307643024 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456772-1307643024.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.93 1.99 1.99 3/192 24704
/proc/meminfo: memFree=28400456/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/24704/stat : 24704 (java) R 24702 24704 23633 0 -1 4202496 636 0 0 0 0 0 0 0 25 0 1 0 954532930 23580672 380 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252453103381 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24704/statm: 5757 395 301 9 0 124 0
[startup+0.085933 s]
/proc/loadavg: 1.93 1.99 1.99 3/192 24704
/proc/meminfo: memFree=28400456/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10538940 CPUtime=0.07 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 12355 0 1 0 6 1 0 0 25 0 18 0 954532930 10791874560 12052 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2634735 12063 1960 9 0 2625469 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538940
[startup+0.10093 s]
/proc/loadavg: 1.93 1.99 1.99 3/192 24704
/proc/meminfo: memFree=28400456/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10540340 CPUtime=0.09 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 13052 0 1 0 8 1 0 0 25 0 18 0 954532930 10793308160 12749 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2635085 12752 2092 9 0 2625819 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540340
[startup+0.3009 s]
/proc/loadavg: 1.93 1.99 1.99 3/192 24704
/proc/meminfo: memFree=28400456/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10541816 CPUtime=0.46 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 21511 0 1 0 43 3 0 0 25 0 18 0 954532930 10794819584 20588 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2635454 20591 2199 9 0 2626188 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541816
[startup+0.700819 s]
/proc/loadavg: 1.93 1.99 1.99 3/192 24704
/proc/meminfo: memFree=28400456/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10541912 CPUtime=1.01 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 50241 0 1 0 95 6 0 0 25 0 18 0 954532930 10794917888 49044 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2635478 49044 2204 9 0 2626212 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10541912
[startup+1.50067 s]
/proc/loadavg: 1.93 1.99 1.99 3/210 24722
/proc/meminfo: memFree=28105776/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10541912 CPUtime=1.82 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 115453 0 1 0 168 14 0 0 25 0 18 0 954532930 10794917888 114256 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2635478 114257 2204 9 0 2626212 0
[pid=24704/tid=24706] ppid=24702 vsize=10541912 CPUtime=1.48 cores=0,2,4,6
/proc/24704/task/24706/stat : 24706 (java) R 24702 24704 23633 0 -1 4202560 111572 0 1 0 135 13 0 0 25 0 18 0 954532931 10794917888 114259 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 46912505663694 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24707/stat : 24707 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114261 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24708] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24708/stat : 24708 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114263 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24709] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24709/stat : 24709 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114265 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24710] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24710/stat : 24710 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114267 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24711] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24711/stat : 24711 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114270 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24712] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24712/stat : 24712 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114272 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24713] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24713/stat : 24713 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114274 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24714] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24714/stat : 24714 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532932 10794917888 114276 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24715] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24715/stat : 24715 (java) S 24702 24704 23633 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954532933 10794917888 114278 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 0 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24716] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24716/stat : 24716 (java) S 24702 24704 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 954532934 10794917888 114280 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24717] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24717/stat : 24717 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954532934 10794917888 114282 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24718] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24718/stat : 24718 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532936 10794917888 114284 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469889457 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24719] ppid=24702 vsize=10541912 CPUtime=0.17 cores=0,2,4,6
/proc/24704/task/24719/stat : 24719 (java) S 24702 24704 23633 0 -1 4202560 1467 0 0 0 17 0 0 0 17 0 18 0 954532936 10794917888 114286 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 6 0 0 0
[pid=24704/tid=24720] ppid=24702 vsize=10541912 CPUtime=0.15 cores=0,2,4,6
/proc/24704/task/24720/stat : 24720 (java) S 24702 24704 23633 0 -1 4202560 1267 0 0 0 15 0 0 0 15 0 18 0 954532936 10794917888 114288 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24721] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24721/stat : 24721 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954532936 10794917888 114290 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24722] ppid=24702 vsize=10541912 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24722/stat : 24722 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954532936 10794917888 114292 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10541912
[startup+3.10136 s]
/proc/loadavg: 1.93 1.99 1.99 3/211 24723
/proc/meminfo: memFree=27863844/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10546888 CPUtime=3.94 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 218298 0 1 0 369 25 0 0 25 0 19 0 954532930 10800013312 215751 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2636722 215752 2225 9 0 2627456 0
[pid=24704/tid=24706] ppid=24702 vsize=10546888 CPUtime=3.07 cores=0,2,4,6
/proc/24704/task/24706/stat : 24706 (java) R 24702 24704 23633 0 -1 4202560 212001 0 1 0 284 23 0 0 25 0 19 0 954532931 10800013312 215752 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 46912505595778 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24707/stat : 24707 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215752 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24708] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24708/stat : 24708 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215753 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24709] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24709/stat : 24709 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215753 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24710] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24710/stat : 24710 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215754 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24711] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24711/stat : 24711 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215754 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24712] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24712/stat : 24712 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215755 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24713] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24713/stat : 24713 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215755 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24714] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24714/stat : 24714 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 215756 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24715] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24715/stat : 24715 (java) S 24702 24704 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954532933 10800013312 215756 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 0 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24716] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24716/stat : 24716 (java) S 24702 24704 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954532934 10800013312 215756 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24717] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24717/stat : 24717 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954532934 10800013312 215757 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24718] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24718/stat : 24718 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800013312 215757 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469889457 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24719] ppid=24702 vsize=10546888 CPUtime=0.39 cores=0,2,4,6
/proc/24704/task/24719/stat : 24719 (java) S 24702 24704 23633 0 -1 4202560 1541 0 0 0 39 0 0 0 15 0 19 0 954532936 10800013312 215758 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24720] ppid=24702 vsize=10546888 CPUtime=0.44 cores=0,2,4,6
/proc/24704/task/24720/stat : 24720 (java) S 24702 24704 23633 0 -1 4202560 3597 0 0 0 44 0 0 0 15 0 19 0 954532936 10800013312 215758 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24721] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24721/stat : 24721 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800013312 215758 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24722] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24722/stat : 24722 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954532936 10800013312 215759 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 6 0 0 0
[pid=24704/tid=24723] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24723/stat : 24723 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954533118 10800013312 215759 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 10546888
[startup+6.30076 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 24723
/proc/meminfo: memFree=27252788/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10546888 CPUtime=7.17 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 382893 0 1 0 674 43 0 0 25 0 19 0 954532930 10800013312 380279 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2636722 380287 2227 9 0 2627456 0
[pid=24704/tid=24706] ppid=24702 vsize=10546888 CPUtime=6.28 cores=0,2,4,6
/proc/24704/task/24706/stat : 24706 (java) R 24702 24704 23633 0 -1 4202560 376599 0 1 0 587 41 0 0 25 0 19 0 954532931 10800013312 380287 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 46912505627581 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24707/stat : 24707 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380287 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24708] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24708/stat : 24708 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380287 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24709] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24709/stat : 24709 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380287 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24710] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24710/stat : 24710 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380287 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24711] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24711/stat : 24711 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380287 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24712] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24712/stat : 24712 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380291 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24713] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24713/stat : 24713 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380296 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24714] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24714/stat : 24714 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532932 10800013312 380301 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24715] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24715/stat : 24715 (java) S 24702 24704 23633 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 954532933 10800013312 380305 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 0 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24716] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24716/stat : 24716 (java) S 24702 24704 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954532934 10800013312 380310 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24717] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24717/stat : 24717 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954532934 10800013312 380315 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24718] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24718/stat : 24718 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800013312 380319 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469889457 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24719] ppid=24702 vsize=10546888 CPUtime=0.4 cores=0,2,4,6
/proc/24704/task/24719/stat : 24719 (java) S 24702 24704 23633 0 -1 4202560 1542 0 0 0 40 0 0 0 15 0 19 0 954532936 10800013312 380322 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24720] ppid=24702 vsize=10546888 CPUtime=0.46 cores=0,2,4,6
/proc/24704/task/24720/stat : 24720 (java) S 24702 24704 23633 0 -1 4202560 3599 0 0 0 46 0 0 0 15 0 19 0 954532936 10800013312 380322 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24721] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24721/stat : 24721 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800013312 380322 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24722] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24722/stat : 24722 (java) S 24702 24704 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954532936 10800013312 380322 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 6 0 0 0
[pid=24704/tid=24723] ppid=24702 vsize=10546888 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24723/stat : 24723 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954533118 10800013312 380322 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 10546888
[startup+12.7016 s]
/proc/loadavg: 2.02 2.01 2.00 3/211 24723
/proc/meminfo: memFree=25681352/32951124 swapFree=67062556/67111528
################
# More data... #
################
/proc/24704/task/24717/stat : 24717 (java) S 24702 24704 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954532934 10800648192 942118 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24718] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24718/stat : 24718 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 942118 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469889457 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24719] ppid=24702 vsize=10547508 CPUtime=0.56 cores=0,2,4,6
/proc/24704/task/24719/stat : 24719 (java) S 24702 24704 23633 0 -1 4202560 3487 0 0 0 56 0 0 0 15 0 19 0 954532936 10800648192 942118 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24720] ppid=24702 vsize=10547508 CPUtime=0.64 cores=0,2,4,6
/proc/24704/task/24720/stat : 24720 (java) S 24702 24704 23633 0 -1 4202560 3783 0 0 0 64 0 0 0 15 0 19 0 954532936 10800648192 942118 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24721] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24721/stat : 24721 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 942118 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24722] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24722/stat : 24722 (java) S 24702 24704 23633 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954532936 10800648192 942118 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24723] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24723/stat : 24723 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954533118 10800648192 942118 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1666.79
Current children cumulated vsize (KiB) 10547508
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/212 24830
/proc/meminfo: memFree=24608292/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10547508 CPUtime=1726.83 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 948978 0 1 0 172571 112 0 0 25 0 19 0 954532930 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2636877 943677 2240 9 0 2627611 0
[pid=24704/tid=24706] ppid=24702 vsize=10547508 CPUtime=1720.98 cores=0,2,4,6
/proc/24704/task/24706/stat : 24706 (java) R 24702 24704 23633 0 -1 4202560 753917 0 1 0 172015 83 0 0 25 0 19 0 954532931 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 46912505741994 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=10547508 CPUtime=0.37 cores=0,2,4,6
/proc/24704/task/24707/stat : 24707 (java) S 24702 24704 23633 0 -1 4202560 11698 0 0 0 35 2 0 0 15 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24708] ppid=24702 vsize=10547508 CPUtime=0.7 cores=0,2,4,6
/proc/24704/task/24708/stat : 24708 (java) S 24702 24704 23633 0 -1 4202560 29838 0 0 0 65 5 0 0 16 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 6 0 0 0
[pid=24704/tid=24709] ppid=24702 vsize=10547508 CPUtime=0.46 cores=0,2,4,6
/proc/24704/task/24709/stat : 24709 (java) S 24702 24704 23633 0 -1 4202560 18837 0 0 0 44 2 0 0 15 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24710] ppid=24702 vsize=10547508 CPUtime=0.48 cores=0,2,4,6
/proc/24704/task/24710/stat : 24710 (java) S 24702 24704 23633 0 -1 4202560 22202 0 0 0 46 2 0 0 16 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24711] ppid=24702 vsize=10547508 CPUtime=0.71 cores=0,2,4,6
/proc/24704/task/24711/stat : 24711 (java) S 24702 24704 23633 0 -1 4202560 29412 0 0 0 66 5 0 0 16 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24712] ppid=24702 vsize=10547508 CPUtime=0.62 cores=0,2,4,6
/proc/24704/task/24712/stat : 24712 (java) S 24702 24704 23633 0 -1 4202560 20602 0 0 0 60 2 0 0 15 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24713] ppid=24702 vsize=10547508 CPUtime=0.69 cores=0,2,4,6
/proc/24704/task/24713/stat : 24713 (java) S 24702 24704 23633 0 -1 4202560 34265 0 0 0 65 4 0 0 16 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24714] ppid=24702 vsize=10547508 CPUtime=0.51 cores=0,2,4,6
/proc/24704/task/24714/stat : 24714 (java) S 24702 24704 23633 0 -1 4202560 19604 0 0 0 49 2 0 0 15 0 19 0 954532932 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24715] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24715/stat : 24715 (java) S 24702 24704 23633 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 954532933 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 0 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24716] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24716/stat : 24716 (java) S 24702 24704 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954532934 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24717] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24717/stat : 24717 (java) S 24702 24704 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954532934 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24718] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24718/stat : 24718 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469889457 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24719] ppid=24702 vsize=10547508 CPUtime=0.56 cores=0,2,4,6
/proc/24704/task/24719/stat : 24719 (java) S 24702 24704 23633 0 -1 4202560 3487 0 0 0 56 0 0 0 15 0 19 0 954532936 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24720] ppid=24702 vsize=10547508 CPUtime=0.64 cores=0,2,4,6
/proc/24704/task/24720/stat : 24720 (java) S 24702 24704 23633 0 -1 4202560 3783 0 0 0 64 0 0 0 15 0 19 0 954532936 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24721] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24721/stat : 24721 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24722] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24722/stat : 24722 (java) S 24702 24704 23633 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954532936 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24723] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24723/stat : 24723 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954533118 10800648192 943677 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1726.83
Current children cumulated vsize (KiB) 10547508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24832
/proc/meminfo: memFree=24578600/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10547508 CPUtime=1786.88 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 951049 0 1 0 178576 112 0 0 25 0 19 0 954532930 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2636877 945692 2240 9 0 2627611 0
[pid=24704/tid=24706] ppid=24702 vsize=10547508 CPUtime=1780.94 cores=0,2,4,6
/proc/24704/task/24706/stat : 24706 (java) R 24702 24704 23633 0 -1 4202560 753920 0 1 0 178011 83 0 0 25 0 19 0 954532931 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 46912505753693 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=10547508 CPUtime=0.39 cores=0,2,4,6
/proc/24704/task/24707/stat : 24707 (java) S 24702 24704 23633 0 -1 4202560 12292 0 0 0 37 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24708] ppid=24702 vsize=10547508 CPUtime=0.71 cores=0,2,4,6
/proc/24704/task/24708/stat : 24708 (java) S 24702 24704 23633 0 -1 4202560 30040 0 0 0 66 5 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24709] ppid=24702 vsize=10547508 CPUtime=0.46 cores=0,2,4,6
/proc/24704/task/24709/stat : 24709 (java) S 24702 24704 23633 0 -1 4202560 18837 0 0 0 44 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24710] ppid=24702 vsize=10547508 CPUtime=0.49 cores=0,2,4,6
/proc/24704/task/24710/stat : 24710 (java) S 24702 24704 23633 0 -1 4202560 22489 0 0 0 47 2 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24711] ppid=24702 vsize=10547508 CPUtime=0.74 cores=0,2,4,6
/proc/24704/task/24711/stat : 24711 (java) S 24702 24704 23633 0 -1 4202560 30052 0 0 0 69 5 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 6 0 0 0
[pid=24704/tid=24712] ppid=24702 vsize=10547508 CPUtime=0.62 cores=0,2,4,6
/proc/24704/task/24712/stat : 24712 (java) S 24702 24704 23633 0 -1 4202560 20606 0 0 0 60 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24713] ppid=24702 vsize=10547508 CPUtime=0.7 cores=0,2,4,6
/proc/24704/task/24713/stat : 24713 (java) S 24702 24704 23633 0 -1 4202560 34559 0 0 0 66 4 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24714] ppid=24702 vsize=10547508 CPUtime=0.52 cores=0,2,4,6
/proc/24704/task/24714/stat : 24714 (java) S 24702 24704 23633 0 -1 4202560 19643 0 0 0 50 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24715] ppid=24702 vsize=10547508 CPUtime=0.01 cores=0,2,4,6
/proc/24704/task/24715/stat : 24715 (java) S 24702 24704 23633 0 -1 4202560 88 0 0 0 1 0 0 0 15 0 19 0 954532933 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 0 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24716] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24716/stat : 24716 (java) S 24702 24704 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954532934 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24717] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24717/stat : 24717 (java) S 24702 24704 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954532934 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24718] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24718/stat : 24718 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469889457 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24719] ppid=24702 vsize=10547508 CPUtime=0.56 cores=0,2,4,6
/proc/24704/task/24719/stat : 24719 (java) S 24702 24704 23633 0 -1 4202560 3487 0 0 0 56 0 0 0 15 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24720] ppid=24702 vsize=10547508 CPUtime=0.64 cores=0,2,4,6
/proc/24704/task/24720/stat : 24720 (java) S 24702 24704 23633 0 -1 4202560 3783 0 0 0 64 0 0 0 15 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24721] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24721/stat : 24721 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24722] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24722/stat : 24722 (java) S 24702 24704 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24723] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24723/stat : 24723 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954533118 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1786.88
Current children cumulated vsize (KiB) 10547508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24832
/proc/meminfo: memFree=24564700/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=10547508 CPUtime=1800.09 cores=0,2,4,6
/proc/24704/stat : 24704 (java) S 24702 24704 23633 0 -1 4202496 951049 0 1 0 179897 112 0 0 25 0 19 0 954532930 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 2636877 945692 2240 9 0 2627611 0
[pid=24704/tid=24706] ppid=24702 vsize=10547508 CPUtime=1794.15 cores=0,2,4,6
/proc/24704/task/24706/stat : 24706 (java) R 24702 24704 23633 0 -1 4202560 753920 0 1 0 179332 83 0 0 25 0 19 0 954532931 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 46912505754667 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24704/tid=24707] ppid=24702 vsize=10547508 CPUtime=0.39 cores=0,2,4,6
/proc/24704/task/24707/stat : 24707 (java) S 24702 24704 23633 0 -1 4202560 12292 0 0 0 37 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24708] ppid=24702 vsize=10547508 CPUtime=0.71 cores=0,2,4,6
/proc/24704/task/24708/stat : 24708 (java) S 24702 24704 23633 0 -1 4202560 30040 0 0 0 66 5 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24709] ppid=24702 vsize=10547508 CPUtime=0.46 cores=0,2,4,6
/proc/24704/task/24709/stat : 24709 (java) S 24702 24704 23633 0 -1 4202560 18837 0 0 0 44 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24710] ppid=24702 vsize=10547508 CPUtime=0.49 cores=0,2,4,6
/proc/24704/task/24710/stat : 24710 (java) S 24702 24704 23633 0 -1 4202560 22489 0 0 0 47 2 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24711] ppid=24702 vsize=10547508 CPUtime=0.74 cores=0,2,4,6
/proc/24704/task/24711/stat : 24711 (java) S 24702 24704 23633 0 -1 4202560 30052 0 0 0 69 5 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 6 0 0 0
[pid=24704/tid=24712] ppid=24702 vsize=10547508 CPUtime=0.62 cores=0,2,4,6
/proc/24704/task/24712/stat : 24712 (java) S 24702 24704 23633 0 -1 4202560 20606 0 0 0 60 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24713] ppid=24702 vsize=10547508 CPUtime=0.7 cores=0,2,4,6
/proc/24704/task/24713/stat : 24713 (java) S 24702 24704 23633 0 -1 4202560 34559 0 0 0 66 4 0 0 16 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24714] ppid=24702 vsize=10547508 CPUtime=0.52 cores=0,2,4,6
/proc/24704/task/24714/stat : 24714 (java) S 24702 24704 23633 0 -1 4202560 19643 0 0 0 50 2 0 0 15 0 19 0 954532932 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24715] ppid=24702 vsize=10547508 CPUtime=0.01 cores=0,2,4,6
/proc/24704/task/24715/stat : 24715 (java) S 24702 24704 23633 0 -1 4202560 88 0 0 0 1 0 0 0 15 0 19 0 954532933 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 0 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24716] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24716/stat : 24716 (java) S 24702 24704 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954532934 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24717] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24717/stat : 24717 (java) S 24702 24704 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954532934 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24718] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24718/stat : 24718 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469889457 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24719] ppid=24702 vsize=10547508 CPUtime=0.56 cores=0,2,4,6
/proc/24704/task/24719/stat : 24719 (java) S 24702 24704 23633 0 -1 4202560 3487 0 0 0 56 0 0 0 15 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 0 0 0 0
[pid=24704/tid=24720] ppid=24702 vsize=10547508 CPUtime=0.64 cores=0,2,4,6
/proc/24704/task/24720/stat : 24720 (java) S 24702 24704 23633 0 -1 4202560 3783 0 0 0 64 0 0 0 15 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24721] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24721/stat : 24721 (java) S 24702 24704 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469881753 0 4 0 16800975 18446604453881467008 0 0 -1 4 0 0 0
[pid=24704/tid=24722] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24722/stat : 24722 (java) S 24702 24704 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954532936 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
[pid=24704/tid=24723] ppid=24702 vsize=10547508 CPUtime=0 cores=0,2,4,6
/proc/24704/task/24723/stat : 24723 (java) S 24702 24704 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954533118 10800648192 945692 33554432000 1073741824 1073778376 140736742583296 18446744073709551615 252469882368 0 4 0 16800975 18446604453881467008 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10547508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 24832
/proc/meminfo: memFree=24564700/32951124 swapFree=67062556/67111528
[pid=24704] ppid=24702 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/24704/stat : 24704 (java) Z 24702 24704 23633 0 -1 4203548 951077 0 1 0 179898 122 0 0 17 0 2 0 954532930 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24704/statm: 0 0 0 0 0 0 0
[pid=24704/tid=24723] ppid=24702 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/24704/task/24723/stat : 24723 (java) R 24702 24704 23633 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 954533118 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.66
CPU time (s): 1800.26
CPU user time (s): 1798.98
CPU system time (s): 1.27481
CPU usage (%): 100.256
Max. virtual memory (cumulated for all children) (KiB): 10547688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.27481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 951077
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= 38667
involuntary context switches= 6744
runsolver used 3.42548 second user time and 6.38303 second system time
The end