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-3456512-1307217674/watcher-3456512-1307217674 -o /tmp/evaluation-result-3456512-1307217674/solver-3456512-1307217674 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456512-1307217674.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.98 2.01 1.69 2/391 24978
/proc/meminfo: memFree=19098896/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 1737 0 1 0 0 0 0 0 21 0 2 0 833367872 10681323520 1438 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2607745 1453 906 9 0 2598901 0
[pid=24978/tid=24979] ppid=24976 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 2375 0 1 0 0 0 0 0 22 0 2 0 833367873 10694979584 3191 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.094733 s]
/proc/loadavg: 1.98 2.01 1.69 2/391 24978
/proc/meminfo: memFree=19098896/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10540372 CPUtime=0.1 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 12963 0 1 0 8 2 0 0 21 0 18 0 833367872 10793340928 12659 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2635093 12659 2092 9 0 2625827 0
[pid=24978/tid=24979] ppid=24976 vsize=10540372 CPUtime=0.07 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 11064 0 1 0 6 1 0 0 18 0 18 0 833367873 10793340928 12659 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46914543942483 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540372
[startup+0.100754 s]
/proc/loadavg: 1.98 2.01 1.69 2/391 24978
/proc/meminfo: memFree=19098896/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10540372 CPUtime=0.1 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 13071 0 1 0 8 2 0 0 21 0 18 0 833367872 10793340928 12767 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2635093 12767 2092 9 0 2625827 0
[pid=24978/tid=24979] ppid=24976 vsize=10540372 CPUtime=0.08 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 11172 0 1 0 7 1 0 0 18 0 18 0 833367873 10793340928 12767 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230808826913 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540372
[startup+0.303159 s]
/proc/loadavg: 1.98 2.01 1.69 2/391 24978
/proc/meminfo: memFree=19098896/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10542704 CPUtime=0.5 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 16356 0 1 0 48 2 0 0 21 0 18 0 833367872 10795728896 15953 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2635676 15954 2201 9 0 2626410 0
[pid=24978/tid=24979] ppid=24976 vsize=10542704 CPUtime=0.29 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 13612 0 1 0 27 2 0 0 18 0 18 0 833367873 10795728896 15955 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912505590489 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542704
[startup+0.700644 s]
/proc/loadavg: 1.98 2.01 1.69 2/391 24978
/proc/meminfo: memFree=19098896/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10545860 CPUtime=1.18 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 53453 0 1 0 111 7 0 0 21 0 18 0 833367872 10798960640 51946 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2636465 51951 2213 9 0 2627199 0
[pid=24978/tid=24979] ppid=24976 vsize=10545860 CPUtime=0.68 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 47945 0 1 0 62 6 0 0 18 0 18 0 833367873 10798960640 51953 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912505558107 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10545860
[startup+1.5054 s]
/proc/loadavg: 1.98 2.01 1.70 3/409 24996
/proc/meminfo: memFree=18772260/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10545860 CPUtime=2.04 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 133908 0 1 0 187 17 0 0 21 0 18 0 833367872 10798960640 132401 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2636465 132407 2224 9 0 2627199 0
[pid=24978/tid=24979] ppid=24976 vsize=10545860 CPUtime=1.48 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 128380 0 1 0 132 16 0 0 19 0 18 0 833367873 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912505365938 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24978/tid=24981] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24981/stat : 24981 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24982] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24982/stat : 24982 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24983] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24983/stat : 24983 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24984] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24984/stat : 24984 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24985] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24985/stat : 24985 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24986] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24986/stat : 24986 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24987] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24987/stat : 24987 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24988] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24988/stat : 24988 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367875 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24989] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24989/stat : 24989 (java) S 24976 24978 24770 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833367876 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 0 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24990] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24990/stat : 24990 (java) S 24976 24978 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833367876 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24991] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24991/stat : 24991 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833367876 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24992] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367878 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820989361 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24993] ppid=24976 vsize=10545860 CPUtime=0.26 cores=0,2,4,6
/proc/24978/task/24993/stat : 24993 (java) R 24976 24978 24770 0 -1 4202560 1949 0 0 0 26 0 0 0 15 0 18 0 833367878 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820991669 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24978/tid=24994] ppid=24976 vsize=10545860 CPUtime=0.28 cores=0,2,4,6
/proc/24978/task/24994/stat : 24994 (java) R 24976 24978 24770 0 -1 4202560 2434 0 0 0 28 0 0 0 16 0 18 0 833367878 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24978/tid=24995] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24995/stat : 24995 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833367878 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24996] ppid=24976 vsize=10545860 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24996/stat : 24996 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833367878 10798960640 132407 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 10545860
[startup+3.10121 s]
/proc/loadavg: 1.98 2.01 1.70 3/410 24997
/proc/meminfo: memFree=18481096/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10547412 CPUtime=4.48 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 212270 0 1 0 421 27 0 0 21 0 19 0 833367872 10800549888 208002 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2636853 208005 2237 9 0 2627587 0
[pid=24978/tid=24979] ppid=24976 vsize=10547412 CPUtime=3.08 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 201807 0 1 0 283 25 0 0 18 0 19 0 833367873 10800549888 208007 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912505876546 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24978/tid=24981] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24981/stat : 24981 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833367875 10800549888 208009 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24982] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24982/stat : 24982 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10800549888 208011 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24983] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24983/stat : 24983 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10800549888 208014 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24984] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24984/stat : 24984 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10800549888 208016 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24985] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24985/stat : 24985 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10800549888 208016 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24986] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24986/stat : 24986 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10800549888 208016 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24987] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24987/stat : 24987 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10800549888 208016 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24988] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24988/stat : 24988 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10800549888 208017 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24989] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24989/stat : 24989 (java) S 24976 24978 24770 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833367876 10800549888 208019 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 0 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24990] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24990/stat : 24990 (java) S 24976 24978 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833367876 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24991] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24991/stat : 24991 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367876 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24992] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820989361 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24993] ppid=24976 vsize=10547412 CPUtime=0.83 cores=0,2,4,6
/proc/24978/task/24993/stat : 24993 (java) S 24976 24978 24770 0 -1 4202560 6727 0 0 0 83 0 0 0 16 0 19 0 833367878 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24994] ppid=24976 vsize=10547412 CPUtime=0.54 cores=0,2,4,6
/proc/24978/task/24994/stat : 24994 (java) S 24976 24978 24770 0 -1 4202560 2579 0 0 0 54 0 0 0 15 0 19 0 833367878 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24995] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24995/stat : 24995 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24996] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24996/stat : 24996 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833367878 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24997] ppid=24976 vsize=10547412 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24997/stat : 24997 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833368025 10800549888 208020 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 10547412
[startup+6.30162 s]
/proc/loadavg: 1.98 2.01 1.70 4/410 24997
/proc/meminfo: memFree=17737948/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10554024 CPUtime=7.85 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 413325 0 1 0 735 50 0 0 21 0 19 0 833367872 10807320576 408675 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2638506 408677 2238 9 0 2629240 0
[pid=24978/tid=24979] ppid=24976 vsize=10554024 CPUtime=6.28 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 401362 0 1 0 580 48 0 0 19 0 19 0 833367873 10807320576 408678 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912505876524 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24978/tid=24981] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24981/stat : 24981 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833367875 10807320576 408679 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24982] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24982/stat : 24982 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10807320576 408680 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24983] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24983/stat : 24983 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10807320576 408681 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24984] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24984/stat : 24984 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10807320576 408682 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24985] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24985/stat : 24985 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10807320576 408683 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24986] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24986/stat : 24986 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10807320576 408684 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24987] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24987/stat : 24987 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10807320576 408685 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24988] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24988/stat : 24988 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367875 10807320576 408687 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24989] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24989/stat : 24989 (java) S 24976 24978 24770 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 833367876 10807320576 408688 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 0 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24990] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24990/stat : 24990 (java) S 24976 24978 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833367876 10807320576 408689 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24991] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24991/stat : 24991 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833367876 10807320576 408690 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24992] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10807320576 408691 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820989361 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24993] ppid=24976 vsize=10554024 CPUtime=0.86 cores=0,2,4,6
/proc/24978/task/24993/stat : 24993 (java) S 24976 24978 24770 0 -1 4202560 6739 0 0 0 86 0 0 0 16 0 19 0 833367878 10807320576 408692 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24994] ppid=24976 vsize=10554024 CPUtime=0.67 cores=0,2,4,6
/proc/24978/task/24994/stat : 24994 (java) S 24976 24978 24770 0 -1 4202560 4065 0 0 0 67 0 0 0 15 0 19 0 833367878 10807320576 408693 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24995] ppid=24976 vsize=10554024 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24995/stat : 24995 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10807320576 408694 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/24978/task/24991/stat : 24991 (java) S 24976 24978 24770 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833367876 10802008064 915740 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24992] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 915740 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820989361 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24993] ppid=24976 vsize=10548836 CPUtime=1.07 cores=0,2,4,6
/proc/24978/task/24993/stat : 24993 (java) S 24976 24978 24770 0 -1 4202560 6785 0 0 0 106 1 0 0 15 0 19 0 833367878 10802008064 915740 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24994] ppid=24976 vsize=10548836 CPUtime=0.84 cores=0,2,4,6
/proc/24978/task/24994/stat : 24994 (java) S 24976 24978 24770 0 -1 4202560 4113 0 0 0 84 0 0 0 15 0 19 0 833367878 10802008064 915740 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24995] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24995/stat : 24995 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 915740 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24996] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24996/stat : 24996 (java) S 24976 24978 24770 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 833367878 10802008064 915740 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 2 0 0 0
[pid=24978/tid=24997] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24997/stat : 24997 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833368025 10802008064 915740 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1668.7
Current children cumulated vsize (KiB) 10548836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/410 25094
/proc/meminfo: memFree=14914064/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10548836 CPUtime=1728.84 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 923478 0 1 0 172770 114 0 0 21 0 19 0 833367872 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2637209 915773 2267 9 0 2627943 0
[pid=24978/tid=24979] ppid=24976 vsize=10548836 CPUtime=1718.82 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 813434 0 1 0 171786 96 0 0 25 0 19 0 833367873 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912505892588 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24978/tid=24981] ppid=24976 vsize=10548836 CPUtime=0.81 cores=0,2,4,6
/proc/24978/task/24981/stat : 24981 (java) S 24976 24978 24770 0 -1 4202560 13014 0 0 0 80 1 0 0 16 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24982] ppid=24976 vsize=10548836 CPUtime=0.8 cores=0,2,4,6
/proc/24978/task/24982/stat : 24982 (java) S 24976 24978 24770 0 -1 4202560 12074 0 0 0 78 2 0 0 16 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24983] ppid=24976 vsize=10548836 CPUtime=0.75 cores=0,2,4,6
/proc/24978/task/24983/stat : 24983 (java) S 24976 24978 24770 0 -1 4202560 7518 0 0 0 75 0 0 0 15 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24984] ppid=24976 vsize=10548836 CPUtime=0.84 cores=0,2,4,6
/proc/24978/task/24984/stat : 24984 (java) S 24976 24978 24770 0 -1 4202560 5557 0 0 0 84 0 0 0 16 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24985] ppid=24976 vsize=10548836 CPUtime=0.89 cores=0,2,4,6
/proc/24978/task/24985/stat : 24985 (java) S 24976 24978 24770 0 -1 4202560 13823 0 0 0 88 1 0 0 15 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 2 0 0 0
[pid=24978/tid=24986] ppid=24976 vsize=10548836 CPUtime=0.72 cores=0,2,4,6
/proc/24978/task/24986/stat : 24986 (java) S 24976 24978 24770 0 -1 4202560 4595 0 0 0 72 0 0 0 16 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24987] ppid=24976 vsize=10548836 CPUtime=1.03 cores=0,2,4,6
/proc/24978/task/24987/stat : 24987 (java) S 24976 24978 24770 0 -1 4202560 10395 0 0 0 102 1 0 0 15 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24988] ppid=24976 vsize=10548836 CPUtime=0.94 cores=0,2,4,6
/proc/24978/task/24988/stat : 24988 (java) S 24976 24978 24770 0 -1 4202560 12498 0 0 0 93 1 0 0 15 0 19 0 833367875 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24989] ppid=24976 vsize=10548836 CPUtime=1.18 cores=0,2,4,6
/proc/24978/task/24989/stat : 24989 (java) S 24976 24978 24770 0 -1 4202560 18422 0 0 0 115 3 0 0 15 0 19 0 833367876 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 0 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24990] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24990/stat : 24990 (java) S 24976 24978 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833367876 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24991] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24991/stat : 24991 (java) S 24976 24978 24770 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833367876 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24992] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820989361 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24993] ppid=24976 vsize=10548836 CPUtime=1.07 cores=0,2,4,6
/proc/24978/task/24993/stat : 24993 (java) S 24976 24978 24770 0 -1 4202560 6785 0 0 0 106 1 0 0 15 0 19 0 833367878 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24994] ppid=24976 vsize=10548836 CPUtime=0.84 cores=0,2,4,6
/proc/24978/task/24994/stat : 24994 (java) S 24976 24978 24770 0 -1 4202560 4113 0 0 0 84 0 0 0 15 0 19 0 833367878 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24995] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24995/stat : 24995 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24996] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24996/stat : 24996 (java) S 24976 24978 24770 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833367878 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24997] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24997/stat : 24997 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833368025 10802008064 915773 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1728.84
Current children cumulated vsize (KiB) 10548836
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/410 25095
/proc/meminfo: memFree=14913304/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10548836 CPUtime=1788.95 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 923509 0 1 0 178781 114 0 0 21 0 19 0 833367872 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2637209 915794 2267 9 0 2627943 0
[pid=24978/tid=24979] ppid=24976 vsize=10548836 CPUtime=1778.73 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 813437 0 1 0 177777 96 0 0 25 0 19 0 833367873 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912506071285 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24978/tid=24981] ppid=24976 vsize=10548836 CPUtime=0.81 cores=0,2,4,6
/proc/24978/task/24981/stat : 24981 (java) S 24976 24978 24770 0 -1 4202560 13014 0 0 0 80 1 0 0 16 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24982] ppid=24976 vsize=10548836 CPUtime=0.84 cores=0,2,4,6
/proc/24978/task/24982/stat : 24982 (java) S 24976 24978 24770 0 -1 4202560 12075 0 0 0 82 2 0 0 15 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24983] ppid=24976 vsize=10548836 CPUtime=0.77 cores=0,2,4,6
/proc/24978/task/24983/stat : 24983 (java) S 24976 24978 24770 0 -1 4202560 7520 0 0 0 77 0 0 0 16 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24984] ppid=24976 vsize=10548836 CPUtime=0.88 cores=0,2,4,6
/proc/24978/task/24984/stat : 24984 (java) S 24976 24978 24770 0 -1 4202560 5563 0 0 0 87 1 0 0 16 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24985] ppid=24976 vsize=10548836 CPUtime=0.92 cores=0,2,4,6
/proc/24978/task/24985/stat : 24985 (java) S 24976 24978 24770 0 -1 4202560 13827 0 0 0 91 1 0 0 15 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 2 0 0 0
[pid=24978/tid=24986] ppid=24976 vsize=10548836 CPUtime=0.75 cores=0,2,4,6
/proc/24978/task/24986/stat : 24986 (java) S 24976 24978 24770 0 -1 4202560 4603 0 0 0 75 0 0 0 16 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24987] ppid=24976 vsize=10548836 CPUtime=1.08 cores=0,2,4,6
/proc/24978/task/24987/stat : 24987 (java) S 24976 24978 24770 0 -1 4202560 10396 0 0 0 107 1 0 0 16 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 2 0 0 0
[pid=24978/tid=24988] ppid=24976 vsize=10548836 CPUtime=0.96 cores=0,2,4,6
/proc/24978/task/24988/stat : 24988 (java) S 24976 24978 24770 0 -1 4202560 12498 0 0 0 95 1 0 0 15 0 19 0 833367875 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24989] ppid=24976 vsize=10548836 CPUtime=1.18 cores=0,2,4,6
/proc/24978/task/24989/stat : 24989 (java) S 24976 24978 24770 0 -1 4202560 18424 0 0 0 115 3 0 0 15 0 19 0 833367876 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 0 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24990] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24990/stat : 24990 (java) S 24976 24978 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833367876 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24991] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24991/stat : 24991 (java) S 24976 24978 24770 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833367876 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24992] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820989361 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24993] ppid=24976 vsize=10548836 CPUtime=1.07 cores=0,2,4,6
/proc/24978/task/24993/stat : 24993 (java) S 24976 24978 24770 0 -1 4202560 6785 0 0 0 106 1 0 0 15 0 19 0 833367878 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24994] ppid=24976 vsize=10548836 CPUtime=0.84 cores=0,2,4,6
/proc/24978/task/24994/stat : 24994 (java) S 24976 24978 24770 0 -1 4202560 4113 0 0 0 84 0 0 0 15 0 19 0 833367878 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24995] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24995/stat : 24995 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24996] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24996/stat : 24996 (java) S 24976 24978 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833367878 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24997] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24997/stat : 24997 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833368025 10802008064 915794 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1788.95
Current children cumulated vsize (KiB) 10548836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/410 25095
/proc/meminfo: memFree=14912556/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=10548836 CPUtime=1800.01 cores=0,2,4,6
/proc/24978/stat : 24978 (java) S 24976 24978 24770 0 -1 4202496 923784 0 1 0 179887 114 0 0 21 0 19 0 833367872 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 2637209 916065 2267 9 0 2627943 0
[pid=24978/tid=24979] ppid=24976 vsize=10548836 CPUtime=1789.73 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4202560 813438 0 1 0 178877 96 0 0 25 0 19 0 833367873 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 46912505922689 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24978/tid=24981] ppid=24976 vsize=10548836 CPUtime=0.81 cores=0,2,4,6
/proc/24978/task/24981/stat : 24981 (java) S 24976 24978 24770 0 -1 4202560 13014 0 0 0 80 1 0 0 15 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24982] ppid=24976 vsize=10548836 CPUtime=0.84 cores=0,2,4,6
/proc/24978/task/24982/stat : 24982 (java) S 24976 24978 24770 0 -1 4202560 12075 0 0 0 82 2 0 0 15 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24983] ppid=24976 vsize=10548836 CPUtime=0.77 cores=0,2,4,6
/proc/24978/task/24983/stat : 24983 (java) S 24976 24978 24770 0 -1 4202560 7520 0 0 0 77 0 0 0 15 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24984] ppid=24976 vsize=10548836 CPUtime=0.9 cores=0,2,4,6
/proc/24978/task/24984/stat : 24984 (java) S 24976 24978 24770 0 -1 4202560 5661 0 0 0 89 1 0 0 16 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24985] ppid=24976 vsize=10548836 CPUtime=0.94 cores=0,2,4,6
/proc/24978/task/24985/stat : 24985 (java) S 24976 24978 24770 0 -1 4202560 13915 0 0 0 93 1 0 0 16 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 2 0 0 0
[pid=24978/tid=24986] ppid=24976 vsize=10548836 CPUtime=0.75 cores=0,2,4,6
/proc/24978/task/24986/stat : 24986 (java) S 24976 24978 24770 0 -1 4202560 4605 0 0 0 75 0 0 0 15 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24987] ppid=24976 vsize=10548836 CPUtime=1.1 cores=0,2,4,6
/proc/24978/task/24987/stat : 24987 (java) S 24976 24978 24770 0 -1 4202560 10480 0 0 0 109 1 0 0 16 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24988] ppid=24976 vsize=10548836 CPUtime=0.96 cores=0,2,4,6
/proc/24978/task/24988/stat : 24988 (java) S 24976 24978 24770 0 -1 4202560 12498 0 0 0 95 1 0 0 15 0 19 0 833367875 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24989] ppid=24976 vsize=10548836 CPUtime=1.18 cores=0,2,4,6
/proc/24978/task/24989/stat : 24989 (java) S 24976 24978 24770 0 -1 4202560 18426 0 0 0 115 3 0 0 15 0 19 0 833367876 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 0 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24990] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24990/stat : 24990 (java) S 24976 24978 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833367876 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24991] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24991/stat : 24991 (java) S 24976 24978 24770 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833367876 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24992] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24992/stat : 24992 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820989361 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24993] ppid=24976 vsize=10548836 CPUtime=1.07 cores=0,2,4,6
/proc/24978/task/24993/stat : 24993 (java) S 24976 24978 24770 0 -1 4202560 6785 0 0 0 106 1 0 0 15 0 19 0 833367878 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
[pid=24978/tid=24994] ppid=24976 vsize=10548836 CPUtime=0.84 cores=0,2,4,6
/proc/24978/task/24994/stat : 24994 (java) S 24976 24978 24770 0 -1 4202560 4113 0 0 0 84 0 0 0 15 0 19 0 833367878 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24995] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24995/stat : 24995 (java) S 24976 24978 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833367878 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820981657 0 4 0 16800975 18446604446705652736 0 0 -1 4 0 0 0
[pid=24978/tid=24996] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24996/stat : 24996 (java) S 24976 24978 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833367878 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 0 0 0 0
[pid=24978/tid=24997] ppid=24976 vsize=10548836 CPUtime=0 cores=0,2,4,6
/proc/24978/task/24997/stat : 24997 (java) S 24976 24978 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833368025 10802008064 916065 33554432000 1073741824 1073778376 140736400442528 18446744073709551615 230820982272 0 4 0 16800975 18446604446705652736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10548836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.42 s]
/proc/loadavg: 2.00 2.01 1.93 3/410 25095
/proc/meminfo: memFree=14912556/32951124 swapFree=37148216/67111528
[pid=24978] ppid=24976 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/24978/stat : 24978 (java) Z 24976 24978 24770 0 -1 4203548 923812 0 1 0 179892 121 0 0 17 0 2 0 833367872 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/24978/statm: 0 0 0 0 0 0 0
[pid=24978/tid=24979] ppid=24976 vsize=0 CPUtime=1789.81 cores=0,2,4,6
/proc/24978/task/24979/stat : 24979 (java) R 24976 24978 24770 0 -1 4203588 813438 0 1 0 178878 103 0 0 25 0 2 0 833367873 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.49
CPU time (s): 1800.21
CPU user time (s): 1798.92
CPU system time (s): 1.2858
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 10554024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.2858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923812
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= 40092
involuntary context switches= 21188
runsolver used 7.2529 second user time and 14.2398 second system time
The end