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-3454250-1307646842/watcher-3454250-1307646842 -o /tmp/evaluation-result-3454250-1307646842/solver-3454250-1307646842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454250-1307646842.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: 3.55 3.49 3.54 3/196 12553
/proc/meminfo: memFree=30441172/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 1167 0 0 0 0 0 0 0 25 0 2 0 876283899 26714112 897 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 6793 900 683 9 0 381 0
[pid=12553/tid=12554] ppid=12551 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 64 0 0 0 0 0 0 0 25 0 2 0 876283899 27824128 906 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274659884679 0 2147483391 4096 0 18446744071699109054 0 0 -1 2 0 0 0
[startup+0.0415511 s]
/proc/loadavg: 3.55 3.49 3.54 3/196 12553
/proc/meminfo: memFree=30441172/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 11252 0 1 0 1 1 0 0 25 0 13 0 876283899 10718699520 10950 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2616870 10951 1672 9 0 2607618 0
[pid=12553/tid=12554] ppid=12551 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) R 12551 12553 11485 0 -1 4202560 10106 0 1 0 1 1 0 0 20 0 13 0 876283899 10718699520 10951 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 47015143058936 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480
[startup+0.100527 s]
/proc/loadavg: 3.55 3.49 3.54 3/196 12553
/proc/meminfo: memFree=30441172/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10540096 CPUtime=0.1 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 13047 0 1 0 8 2 0 0 25 0 18 0 876283899 10793058304 12745 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2635024 12745 2092 9 0 2625758 0
[pid=12553/tid=12554] ppid=12551 vsize=10540096 CPUtime=0.08 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) R 12551 12553 11485 0 -1 4202560 11141 0 1 0 6 2 0 0 18 0 18 0 876283899 10793058304 12745 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540096
[startup+0.300461 s]
/proc/loadavg: 3.55 3.49 3.54 3/196 12553
/proc/meminfo: memFree=30441172/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10544088 CPUtime=0.55 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 18140 0 1 0 52 3 0 0 25 0 18 0 876283899 10797146112 17072 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2636022 17073 2199 9 0 2626756 0
[pid=12553/tid=12554] ppid=12551 vsize=10544088 CPUtime=0.28 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) R 12551 12553 11485 0 -1 4202560 13605 0 1 0 26 2 0 0 18 0 18 0 876283899 10797146112 17074 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505616593 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10544088
[startup+0.700389 s]
/proc/loadavg: 3.55 3.49 3.54 3/196 12553
/proc/meminfo: memFree=30441172/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10556832 CPUtime=1.5 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 44223 0 1 0 144 6 0 0 25 0 21 0 876283899 10810195968 39011 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2639208 39011 2224 9 0 2629942 0
[pid=12553/tid=12554] ppid=12551 vsize=10556832 CPUtime=0.63 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 31860 0 1 0 59 4 0 0 19 0 21 0 876283899 10810195968 39011 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10556832
[startup+1.50125 s]
/proc/loadavg: 3.55 3.49 3.54 7/218 12575
/proc/meminfo: memFree=30284376/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10557860 CPUtime=3.86 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 110395 0 1 0 372 14 0 0 25 0 22 0 876283899 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2639465 101499 2234 9 0 2630199 0
[pid=12553/tid=12554] ppid=12551 vsize=10557860 CPUtime=0.63 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 31860 0 1 0 59 4 0 0 15 0 22 0 876283899 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12556] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12556/stat : 12556 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12557] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12557/stat : 12557 (java) S 12551 12553 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12558] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12558/stat : 12558 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12559] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12559/stat : 12559 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12560] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12560/stat : 12560 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12561] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12561/stat : 12561 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12562] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12562/stat : 12562 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12563] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12563/stat : 12563 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12564] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12564/stat : 12564 (java) S 12551 12553 11485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 876283902 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 0 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12565] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12565/stat : 12565 (java) S 12551 12553 11485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 876283903 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12566] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12566/stat : 12566 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876283903 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12567] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12567/stat : 12567 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876283905 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676631985 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12568] ppid=12551 vsize=10557860 CPUtime=0.83 cores=0,2,4,6
/proc/12553/task/12568/stat : 12568 (java) S 12551 12553 11485 0 -1 4202560 6147 0 0 0 83 0 0 0 15 0 22 0 876283905 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12569] ppid=12551 vsize=10557860 CPUtime=0.68 cores=0,2,4,6
/proc/12553/task/12569/stat : 12569 (java) S 12551 12553 11485 0 -1 4202560 7683 0 0 0 67 1 0 0 15 0 22 0 876283905 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12570] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12570/stat : 12570 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876283905 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12571] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12571/stat : 12571 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876283905 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12572] ppid=12551 vsize=10557860 CPUtime=0.84 cores=0,2,4,6
/proc/12553/task/12572/stat : 12572 (java) R 12551 12553 11485 0 -1 4202560 261 0 0 0 84 0 0 0 18 0 22 0 876283964 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505990980 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12553/tid=12573] ppid=12551 vsize=10557860 CPUtime=0.82 cores=0,2,4,6
/proc/12553/task/12573/stat : 12573 (java) R 12551 12553 11485 0 -1 4202560 63277 0 0 0 76 6 0 0 18 0 22 0 876283964 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505584253 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12553/tid=12574] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12574/stat : 12574 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876283969 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12575] ppid=12551 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12575/stat : 12575 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 876283973 10811248640 101499 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10557860
[startup+3.10098 s]
/proc/loadavg: 3.66 3.52 3.54 5/218 12575
/proc/meminfo: memFree=29701312/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10558976 CPUtime=7.35 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 321095 0 1 0 699 36 0 0 25 0 22 0 876283899 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2639744 310679 2234 9 0 2630478 0
[pid=12553/tid=12554] ppid=12551 vsize=10558976 CPUtime=0.63 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 31860 0 1 0 59 4 0 0 15 0 22 0 876283899 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12556] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12556/stat : 12556 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12557] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12557/stat : 12557 (java) S 12551 12553 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12558] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12558/stat : 12558 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12559] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12559/stat : 12559 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12560] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12560/stat : 12560 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12561] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12561/stat : 12561 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12562] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12562/stat : 12562 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12563] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12563/stat : 12563 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12564] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12564/stat : 12564 (java) S 12551 12553 11485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 876283902 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 0 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12565] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12565/stat : 12565 (java) S 12551 12553 11485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 876283903 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12566] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12566/stat : 12566 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876283903 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12567] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12567/stat : 12567 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876283905 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676631985 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12568] ppid=12551 vsize=10558976 CPUtime=1.06 cores=0,2,4,6
/proc/12553/task/12568/stat : 12568 (java) S 12551 12553 11485 0 -1 4202560 7737 0 0 0 106 0 0 0 16 0 22 0 876283905 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12569] ppid=12551 vsize=10558976 CPUtime=0.75 cores=0,2,4,6
/proc/12553/task/12569/stat : 12569 (java) S 12551 12553 11485 0 -1 4202560 7938 0 0 0 74 1 0 0 16 0 22 0 876283905 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12570] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12570/stat : 12570 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876283905 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12571] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12571/stat : 12571 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876283905 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12572] ppid=12551 vsize=10558976 CPUtime=2.44 cores=0,2,4,6
/proc/12553/task/12572/stat : 12572 (java) R 12551 12553 11485 0 -1 4202560 381 0 0 0 244 0 0 0 21 0 22 0 876283964 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505783743 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12553/tid=12573] ppid=12551 vsize=10558976 CPUtime=2.43 cores=0,2,4,6
/proc/12553/task/12573/stat : 12573 (java) R 12551 12553 11485 0 -1 4202560 272012 0 0 0 215 28 0 0 18 0 22 0 876283964 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505583997 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12553/tid=12574] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12574/stat : 12574 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876283969 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12575] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12575/stat : 12575 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 876283973 10812391424 310679 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 10558976
[startup+6.30142 s]
/proc/loadavg: 3.66 3.52 3.54 5/218 12575
/proc/meminfo: memFree=28473376/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10558976 CPUtime=14.02 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 575026 0 1 0 1337 65 0 0 25 0 22 0 876283899 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2639744 562288 2238 9 0 2630478 0
[pid=12553/tid=12554] ppid=12551 vsize=10558976 CPUtime=0.63 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 31860 0 1 0 59 4 0 0 15 0 22 0 876283899 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12556] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12556/stat : 12556 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12557] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12557/stat : 12557 (java) S 12551 12553 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12558] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12558/stat : 12558 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12559] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12559/stat : 12559 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12560] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12560/stat : 12560 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12561] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12561/stat : 12561 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12562] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12562/stat : 12562 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12563] ppid=12551 vsize=10558976 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12563/stat : 12563 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876283901 10812391424 562288 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=26318912/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10556672 CPUtime=1633.19 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 923753 0 1 0 163205 114 0 0 25 0 22 0 876283899 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2639168 905441 2266 9 0 2629902 0
[pid=12553/tid=12554] ppid=12551 vsize=10556672 CPUtime=0.64 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 31889 0 1 0 59 5 0 0 15 0 22 0 876283899 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12556] ppid=12551 vsize=10556672 CPUtime=0.29 cores=0,2,4,6
/proc/12553/task/12556/stat : 12556 (java) S 12551 12553 11485 0 -1 4202560 2530 0 0 0 29 0 0 0 16 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12557] ppid=12551 vsize=10556672 CPUtime=0.29 cores=0,2,4,6
/proc/12553/task/12557/stat : 12557 (java) S 12551 12553 11485 0 -1 4202560 2375 0 0 0 29 0 0 0 16 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12558] ppid=12551 vsize=10556672 CPUtime=0.27 cores=0,2,4,6
/proc/12553/task/12558/stat : 12558 (java) S 12551 12553 11485 0 -1 4202560 2557 0 0 0 27 0 0 0 15 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12559] ppid=12551 vsize=10556672 CPUtime=0.25 cores=0,2,4,6
/proc/12553/task/12559/stat : 12559 (java) S 12551 12553 11485 0 -1 4202560 1694 0 0 0 25 0 0 0 16 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12560] ppid=12551 vsize=10556672 CPUtime=0.26 cores=0,2,4,6
/proc/12553/task/12560/stat : 12560 (java) S 12551 12553 11485 0 -1 4202560 3329 0 0 0 26 0 0 0 15 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12561] ppid=12551 vsize=10556672 CPUtime=0.29 cores=0,2,4,6
/proc/12553/task/12561/stat : 12561 (java) S 12551 12553 11485 0 -1 4202560 3578 0 0 0 29 0 0 0 16 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12562] ppid=12551 vsize=10556672 CPUtime=0.27 cores=0,2,4,6
/proc/12553/task/12562/stat : 12562 (java) S 12551 12553 11485 0 -1 4202560 3382 0 0 0 27 0 0 0 15 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12563] ppid=12551 vsize=10556672 CPUtime=0.27 cores=0,2,4,6
/proc/12553/task/12563/stat : 12563 (java) S 12551 12553 11485 0 -1 4202560 3609 0 0 0 27 0 0 0 15 0 22 0 876283901 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12564] ppid=12551 vsize=10556672 CPUtime=14.35 cores=0,2,4,6
/proc/12553/task/12564/stat : 12564 (java) S 12551 12553 11485 0 -1 4202560 22062 0 0 0 1431 4 0 0 15 0 22 0 876283902 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 0 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12565] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12565/stat : 12565 (java) S 12551 12553 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876283903 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12566] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12566/stat : 12566 (java) S 12551 12553 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876283903 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12567] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12567/stat : 12567 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876283905 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676631985 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12568] ppid=12551 vsize=10556672 CPUtime=1.7 cores=0,2,4,6
/proc/12553/task/12568/stat : 12568 (java) S 12551 12553 11485 0 -1 4202560 9885 0 0 0 169 1 0 0 15 0 22 0 876283905 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12569] ppid=12551 vsize=10556672 CPUtime=1.27 cores=0,2,4,6
/proc/12553/task/12569/stat : 12569 (java) S 12551 12553 11485 0 -1 4202560 15761 0 0 0 124 3 0 0 15 0 22 0 876283905 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12570] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12570/stat : 12570 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876283905 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12571] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12571/stat : 12571 (java) S 12551 12553 11485 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 876283905 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12572] ppid=12551 vsize=10556672 CPUtime=806.49 cores=0,2,4,6
/proc/12553/task/12572/stat : 12572 (java) R 12551 12553 11485 0 -1 4202560 773 0 0 0 80646 3 0 0 25 0 22 0 876283964 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505784477 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12553/tid=12573] ppid=12551 vsize=10556672 CPUtime=806.42 cores=0,2,4,6
/proc/12553/task/12573/stat : 12573 (java) R 12551 12553 11485 0 -1 4202560 819126 0 0 0 80550 92 0 0 25 0 22 0 876283964 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505585551 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12553/tid=12574] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12574/stat : 12574 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876283969 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12575] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12575/stat : 12575 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 876283973 10810032128 905441 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1633.19
Current children cumulated vsize (KiB) 10556672
[startup+882.301 s]
/proc/loadavg: 3.69 3.78 3.70 5/218 12608
/proc/meminfo: memFree=26279936/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10556672 CPUtime=1751.25 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 927977 0 1 0 175010 115 0 0 25 0 22 0 876283899 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2639168 909521 2266 9 0 2629902 0
[pid=12553/tid=12554] ppid=12551 vsize=10556672 CPUtime=0.64 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 31891 0 1 0 59 5 0 0 15 0 22 0 876283899 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12556] ppid=12551 vsize=10556672 CPUtime=0.31 cores=0,2,4,6
/proc/12553/task/12556/stat : 12556 (java) S 12551 12553 11485 0 -1 4202560 3422 0 0 0 31 0 0 0 15 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12557] ppid=12551 vsize=10556672 CPUtime=0.33 cores=0,2,4,6
/proc/12553/task/12557/stat : 12557 (java) S 12551 12553 11485 0 -1 4202560 2778 0 0 0 33 0 0 0 16 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12558] ppid=12551 vsize=10556672 CPUtime=0.31 cores=0,2,4,6
/proc/12553/task/12558/stat : 12558 (java) S 12551 12553 11485 0 -1 4202560 2795 0 0 0 31 0 0 0 16 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12559] ppid=12551 vsize=10556672 CPUtime=0.29 cores=0,2,4,6
/proc/12553/task/12559/stat : 12559 (java) S 12551 12553 11485 0 -1 4202560 1951 0 0 0 29 0 0 0 15 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12560] ppid=12551 vsize=10556672 CPUtime=0.28 cores=0,2,4,6
/proc/12553/task/12560/stat : 12560 (java) S 12551 12553 11485 0 -1 4202560 3805 0 0 0 28 0 0 0 15 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12561] ppid=12551 vsize=10556672 CPUtime=0.32 cores=0,2,4,6
/proc/12553/task/12561/stat : 12561 (java) S 12551 12553 11485 0 -1 4202560 4135 0 0 0 32 0 0 0 16 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12562] ppid=12551 vsize=10556672 CPUtime=0.31 cores=0,2,4,6
/proc/12553/task/12562/stat : 12562 (java) S 12551 12553 11485 0 -1 4202560 3700 0 0 0 31 0 0 0 15 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12563] ppid=12551 vsize=10556672 CPUtime=0.31 cores=0,2,4,6
/proc/12553/task/12563/stat : 12563 (java) S 12551 12553 11485 0 -1 4202560 3799 0 0 0 31 0 0 0 15 0 22 0 876283901 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12564] ppid=12551 vsize=10556672 CPUtime=16.42 cores=0,2,4,6
/proc/12553/task/12564/stat : 12564 (java) S 12551 12553 11485 0 -1 4202560 22929 0 0 0 1637 5 0 0 15 0 22 0 876283902 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 0 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12565] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12565/stat : 12565 (java) S 12551 12553 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876283903 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12566] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12566/stat : 12566 (java) S 12551 12553 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876283903 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12567] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12567/stat : 12567 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876283905 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676631985 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12568] ppid=12551 vsize=10556672 CPUtime=1.7 cores=0,2,4,6
/proc/12553/task/12568/stat : 12568 (java) S 12551 12553 11485 0 -1 4202560 9885 0 0 0 169 1 0 0 15 0 22 0 876283905 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12569] ppid=12551 vsize=10556672 CPUtime=1.31 cores=0,2,4,6
/proc/12553/task/12569/stat : 12569 (java) S 12551 12553 11485 0 -1 4202560 15769 0 0 0 128 3 0 0 15 0 22 0 876283905 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12570] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12570/stat : 12570 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876283905 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12571] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12571/stat : 12571 (java) S 12551 12553 11485 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 876283905 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12572] ppid=12551 vsize=10556672 CPUtime=864.33 cores=0,2,4,6
/proc/12553/task/12572/stat : 12572 (java) R 12551 12553 11485 0 -1 4202560 781 0 0 0 86430 3 0 0 25 0 22 0 876283964 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912505867916 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12553/tid=12573] ppid=12551 vsize=10556672 CPUtime=864.27 cores=0,2,4,6
/proc/12553/task/12573/stat : 12573 (java) R 12551 12553 11485 0 -1 4202560 819130 0 0 0 86335 92 0 0 25 0 22 0 876283964 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912506226187 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12553/tid=12574] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12574/stat : 12574 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876283969 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12575] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12575/stat : 12575 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 876283973 10810032128 909521 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1751.25
Current children cumulated vsize (KiB) 10556672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.302 s]
/proc/loadavg: 3.64 3.76 3.69 4/218 12608
/proc/meminfo: memFree=26266276/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=10556672 CPUtime=1800.15 cores=0,2,4,6
/proc/12553/stat : 12553 (java) S 12551 12553 11485 0 -1 4202496 930997 0 1 0 179900 115 0 0 25 0 22 0 876283899 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 2639168 912535 2266 9 0 2629902 0
[pid=12553/tid=12554] ppid=12551 vsize=10556672 CPUtime=0.64 cores=0,2,4,6
/proc/12553/task/12554/stat : 12554 (java) S 12551 12553 11485 0 -1 4202560 31894 0 1 0 59 5 0 0 15 0 22 0 876283899 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12556] ppid=12551 vsize=10556672 CPUtime=0.32 cores=0,2,4,6
/proc/12553/task/12556/stat : 12556 (java) S 12551 12553 11485 0 -1 4202560 3422 0 0 0 32 0 0 0 15 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12557] ppid=12551 vsize=10556672 CPUtime=0.33 cores=0,2,4,6
/proc/12553/task/12557/stat : 12557 (java) S 12551 12553 11485 0 -1 4202560 2778 0 0 0 33 0 0 0 15 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12558] ppid=12551 vsize=10556672 CPUtime=0.32 cores=0,2,4,6
/proc/12553/task/12558/stat : 12558 (java) S 12551 12553 11485 0 -1 4202560 2795 0 0 0 32 0 0 0 16 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12559] ppid=12551 vsize=10556672 CPUtime=0.3 cores=0,2,4,6
/proc/12553/task/12559/stat : 12559 (java) S 12551 12553 11485 0 -1 4202560 1951 0 0 0 30 0 0 0 16 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12560] ppid=12551 vsize=10556672 CPUtime=0.3 cores=0,2,4,6
/proc/12553/task/12560/stat : 12560 (java) S 12551 12553 11485 0 -1 4202560 3805 0 0 0 30 0 0 0 16 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12561] ppid=12551 vsize=10556672 CPUtime=0.34 cores=0,2,4,6
/proc/12553/task/12561/stat : 12561 (java) S 12551 12553 11485 0 -1 4202560 4135 0 0 0 34 0 0 0 16 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12562] ppid=12551 vsize=10556672 CPUtime=0.31 cores=0,2,4,6
/proc/12553/task/12562/stat : 12562 (java) S 12551 12553 11485 0 -1 4202560 3700 0 0 0 31 0 0 0 15 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12563] ppid=12551 vsize=10556672 CPUtime=0.32 cores=0,2,4,6
/proc/12553/task/12563/stat : 12563 (java) S 12551 12553 11485 0 -1 4202560 3799 0 0 0 32 0 0 0 16 0 22 0 876283901 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
[pid=12553/tid=12564] ppid=12551 vsize=10556672 CPUtime=17.55 cores=0,2,4,6
/proc/12553/task/12564/stat : 12564 (java) S 12551 12553 11485 0 -1 4202560 25943 0 0 0 1750 5 0 0 15 0 22 0 876283902 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 0 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12565] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12565/stat : 12565 (java) S 12551 12553 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876283903 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12566] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12566/stat : 12566 (java) S 12551 12553 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876283903 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12567] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12567/stat : 12567 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 876283905 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676631985 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12568] ppid=12551 vsize=10556672 CPUtime=1.7 cores=0,2,4,6
/proc/12553/task/12568/stat : 12568 (java) S 12551 12553 11485 0 -1 4202560 9885 0 0 0 169 1 0 0 15 0 22 0 876283905 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12569] ppid=12551 vsize=10556672 CPUtime=1.31 cores=0,2,4,6
/proc/12553/task/12569/stat : 12569 (java) S 12551 12553 11485 0 -1 4202560 15769 0 0 0 128 3 0 0 15 0 22 0 876283905 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12570] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12570/stat : 12570 (java) S 12551 12553 11485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876283905 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624281 0 4 0 16800975 18446604440470005952 0 0 -1 2 0 0 0
[pid=12553/tid=12571] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12571/stat : 12571 (java) S 12551 12553 11485 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 876283905 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 4 0 0 0
[pid=12553/tid=12572] ppid=12551 vsize=10556672 CPUtime=888.18 cores=0,2,4,6
/proc/12553/task/12572/stat : 12572 (java) R 12551 12553 11485 0 -1 4202560 782 0 0 0 88815 3 0 0 25 0 22 0 876283964 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912506197155 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12553/tid=12573] ppid=12551 vsize=10556672 CPUtime=888.11 cores=0,2,4,6
/proc/12553/task/12573/stat : 12573 (java) R 12551 12553 11485 0 -1 4202560 819130 0 0 0 88719 92 0 0 25 0 22 0 876283964 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 46912506071309 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12553/tid=12574] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12574/stat : 12574 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 876283969 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 0 0 0 0
[pid=12553/tid=12575] ppid=12551 vsize=10556672 CPUtime=0 cores=0,2,4,6
/proc/12553/task/12575/stat : 12575 (java) S 12551 12553 11485 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 876283973 10810032128 912535 33554432000 1073741824 1073778376 140733796885792 18446744073709551615 274676624896 0 4 0 16800975 18446604440470005952 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10556672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.413 s]
/proc/loadavg: 3.64 3.76 3.69 3/199 12611
/proc/meminfo: memFree=28160696/32951132 swapFree=67054608/67111528
[pid=12553] ppid=12551 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/12553/stat : 12553 (java) Z 12551 12553 11485 0 -1 4203548 931031 0 1 0 179905 124 0 0 17 0 2 0 876283899 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12553/statm: 0 0 0 0 0 0 0
[pid=12553/tid=12573] ppid=12551 vsize=0 CPUtime=888.22 cores=0,2,4,6
/proc/12553/task/12573/stat : 12573 (java) R 12551 12553 11485 0 -1 4203588 819130 0 0 0 88720 102 0 0 25 0 2 0 876283964 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.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 907.486
CPU time (s): 1800.37
CPU user time (s): 1799.06
CPU system time (s): 1.3168
CPU usage (%): 198.391
Max. virtual memory (cumulated for all children) (KiB): 10568876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.3168
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931031
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= 26445
involuntary context switches= 24242
runsolver used 1.66775 second user time and 3.3075 second system time
The end