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-3456349-1307224860/watcher-3456349-1307224860 -o /tmp/evaluation-result-3456349-1307224860/solver-3456349-1307224860 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456349-1307224860.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.08 2.06 3/454 4965
/proc/meminfo: memFree=16613496/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 1320 0 0 0 0 0 0 0 25 0 2 0 834083900 36646912 1021 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 8947 1024 787 9 0 386 0
[pid=4965/tid=4966] ppid=4963 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 3596 0 1 0 0 0 0 0 25 0 2 0 834083901 10694979584 4412 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.082743 s]
/proc/loadavg: 2.08 2.08 2.06 3/454 4965
/proc/meminfo: memFree=16613496/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 11997 0 1 0 6 0 0 0 25 0 18 0 834083900 10724442112 11692 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2618272 11692 1755 9 0 2609006 0
[pid=4965/tid=4966] ppid=4963 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 10821 0 1 0 6 0 0 0 22 0 18 0 834083901 10724442112 11692 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 47245206419475 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10069 s]
/proc/loadavg: 2.08 2.08 2.06 3/454 4965
/proc/meminfo: memFree=16613496/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10539704 CPUtime=0.1 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 12998 0 1 0 9 1 0 0 25 0 18 0 834083900 10792656896 12693 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2634926 12694 2092 9 0 2625660 0
[pid=4965/tid=4966] ppid=4963 vsize=10539704 CPUtime=0.07 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 11093 0 1 0 7 0 0 0 18 0 18 0 834083901 10792656896 12695 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 47245204022019 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539704
[startup+0.300688 s]
/proc/loadavg: 2.08 2.08 2.06 3/454 4965
/proc/meminfo: memFree=16613496/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10540840 CPUtime=0.52 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 16554 0 1 0 51 1 0 0 25 0 18 0 834083900 10793820160 15764 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2635210 15766 2201 9 0 2625944 0
[pid=4965/tid=4966] ppid=4963 vsize=10540840 CPUtime=0.28 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 13408 0 1 0 27 1 0 0 18 0 18 0 834083901 10793820160 15766 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10540840
[startup+0.700616 s]
/proc/loadavg: 2.08 2.08 2.06 3/454 4965
/proc/meminfo: memFree=16613496/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10549272 CPUtime=1.49 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 52302 0 1 0 143 6 0 0 25 0 19 0 834083900 10802454528 47781 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2637318 47793 2230 9 0 2628052 0
[pid=4965/tid=4966] ppid=4963 vsize=10549272 CPUtime=0.68 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 40061 0 1 0 64 4 0 0 19 0 19 0 834083901 10802454528 47795 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912505743184 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10549272
[startup+1.50149 s]
/proc/loadavg: 2.08 2.08 2.06 3/474 4985
/proc/meminfo: memFree=16268432/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10550724 CPUtime=2.48 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 155543 0 1 0 230 18 0 0 25 0 19 0 834083900 10803941376 150904 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2637681 150909 2232 9 0 2628415 0
[pid=4965/tid=4966] ppid=4963 vsize=10550724 CPUtime=1.48 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 142968 0 1 0 132 16 0 0 18 0 19 0 834083901 10803941376 150915 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912505743184 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150922 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150923 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150928 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150934 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150936 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150941 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150948 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 150949 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3845 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 150954 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 0 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834083904 10803941376 150960 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3845 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834083904 10803941376 150962 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834083907 10803941376 150967 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389125041 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=10550724 CPUtime=0.65 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3845 0 -1 4202560 8338 0 0 0 64 1 0 0 15 0 19 0 834083907 10803941376 150974 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=10550724 CPUtime=0.32 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3845 0 -1 4202560 3088 0 0 0 32 0 0 0 15 0 19 0 834083907 10803941376 150975 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834083907 10803941376 150981 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834083907 10803941376 150987 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083933 10803941376 150988 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 10550724
[startup+3.10119 s]
/proc/loadavg: 2.07 2.08 2.06 3/473 4993
/proc/meminfo: memFree=15700200/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10550724 CPUtime=4.12 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 366020 0 1 0 372 40 0 0 25 0 19 0 834083900 10803941376 361379 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2637681 361387 2232 9 0 2628415 0
[pid=4965/tid=4966] ppid=4963 vsize=10550724 CPUtime=3.08 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 353442 0 1 0 270 38 0 0 19 0 19 0 834083901 10803941376 361392 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912505715562 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361392 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361399 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361405 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361406 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361413 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361418 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361419 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834083903 10803941376 361426 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3845 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 834083904 10803941376 361431 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 0 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834083904 10803941376 361432 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3845 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 834083904 10803941376 361439 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834083907 10803941376 361443 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389125041 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=10550724 CPUtime=0.67 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3845 0 -1 4202560 8339 0 0 0 66 1 0 0 15 0 19 0 834083907 10803941376 361445 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=10550724 CPUtime=0.34 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3845 0 -1 4202560 3091 0 0 0 34 0 0 0 15 0 19 0 834083907 10803941376 361453 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834083907 10803941376 361456 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834083907 10803941376 361459 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083933 10803941376 361466 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 10550724
[startup+6.3016 s]
/proc/loadavg: 2.07 2.08 2.06 3/473 4993
/proc/meminfo: memFree=13974584/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10550724 CPUtime=7.38 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 664898 0 1 0 668 70 0 0 25 0 19 0 834083900 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2637681 659715 2246 9 0 2628415 0
[pid=4965/tid=4966] ppid=4963 vsize=10550724 CPUtime=6.28 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 651040 0 1 0 560 68 0 0 21 0 19 0 834083901 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912505755369 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3845 0 -1 4202560 473 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3845 0 -1 4202560 424 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 3 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3845 0 -1 4202560 358 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 834083903 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3845 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 834083904 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 0 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3845 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834083907 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389125041 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=10550724 CPUtime=0.72 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3845 0 -1 4202560 8344 0 0 0 71 1 0 0 16 0 19 0 834083907 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=10550724 CPUtime=0.35 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3845 0 -1 4202560 3091 0 0 0 35 0 0 0 15 0 19 0 834083907 10803941376 659715 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=4965/tid=4984] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083933 10803941376 1174201 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1672.12
Current children cumulated vsize (KiB) 10550724
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.03 3/473 5090
/proc/meminfo: memFree=11903120/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10550724 CPUtime=1732.34 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 1202723 0 1 0 173093 141 0 0 25 0 19 0 834083900 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2637681 1181527 2251 9 0 2628415 0
[pid=4965/tid=4966] ppid=4963 vsize=10550724 CPUtime=1718.2 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 841922 0 1 0 171733 87 0 0 25 0 19 0 834083901 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912506137185 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=10550724 CPUtime=1.58 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3845 0 -1 4202560 44964 0 0 0 153 5 0 0 15 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=10550724 CPUtime=1.48 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3845 0 -1 4202560 44653 0 0 0 142 6 0 0 15 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=10550724 CPUtime=1.65 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3845 0 -1 4202560 51107 0 0 0 157 8 0 0 16 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=10550724 CPUtime=1.64 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3845 0 -1 4202560 45869 0 0 0 158 6 0 0 15 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=10550724 CPUtime=1.63 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3845 0 -1 4202560 37977 0 0 0 157 6 0 0 16 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 3 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=10550724 CPUtime=1.45 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3845 0 -1 4202560 41121 0 0 0 140 5 0 0 16 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=10550724 CPUtime=1.4 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3845 0 -1 4202560 36593 0 0 0 136 4 0 0 16 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=10550724 CPUtime=1.48 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3845 0 -1 4202560 45627 0 0 0 142 6 0 0 15 0 19 0 834083903 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=10550724 CPUtime=0.03 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3845 0 -1 4202560 110 0 0 0 2 1 0 0 15 0 19 0 834083904 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 0 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3845 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834083907 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389125041 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=10550724 CPUtime=0.97 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3845 0 -1 4202560 8382 0 0 0 96 1 0 0 15 0 19 0 834083907 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=10550724 CPUtime=0.71 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3845 0 -1 4202560 3146 0 0 0 71 0 0 0 15 0 19 0 834083907 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834083907 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3845 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834083907 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083933 10803941376 1181527 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1732.34
Current children cumulated vsize (KiB) 10550724
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/473 5092
/proc/meminfo: memFree=11824848/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10550724 CPUtime=1792.79 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 1219929 0 1 0 179136 143 0 0 25 0 19 0 834083900 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2637681 1197965 2251 9 0 2628415 0
[pid=4965/tid=4966] ppid=4963 vsize=10550724 CPUtime=1778.02 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 841932 0 1 0 177715 87 0 0 25 0 19 0 834083901 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912505701865 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=10550724 CPUtime=1.66 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3845 0 -1 4202560 47484 0 0 0 161 5 0 0 15 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=10550724 CPUtime=1.53 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3845 0 -1 4202560 46040 0 0 0 147 6 0 0 16 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=10550724 CPUtime=1.76 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3845 0 -1 4202560 53428 0 0 0 168 8 0 0 16 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=10550724 CPUtime=1.7 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3845 0 -1 4202560 48473 0 0 0 164 6 0 0 16 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=10550724 CPUtime=1.73 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3845 0 -1 4202560 40310 0 0 0 167 6 0 0 15 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 3 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=10550724 CPUtime=1.51 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3845 0 -1 4202560 41703 0 0 0 146 5 0 0 15 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=10550724 CPUtime=1.47 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3845 0 -1 4202560 38903 0 0 0 142 5 0 0 16 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=10550724 CPUtime=1.56 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3845 0 -1 4202560 48758 0 0 0 150 6 0 0 15 0 19 0 834083903 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=10550724 CPUtime=0.03 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3845 0 -1 4202560 114 0 0 0 2 1 0 0 15 0 19 0 834083904 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 0 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3845 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834083907 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389125041 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=10550724 CPUtime=0.97 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3845 0 -1 4202560 8382 0 0 0 96 1 0 0 15 0 19 0 834083907 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=10550724 CPUtime=0.71 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3845 0 -1 4202560 3146 0 0 0 71 0 0 0 15 0 19 0 834083907 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834083907 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3845 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834083907 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083933 10803941376 1197965 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1792.79
Current children cumulated vsize (KiB) 10550724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.5 s]
/proc/loadavg: 2.01 2.04 2.02 3/473 5092
/proc/meminfo: memFree=11822988/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=10550724 CPUtime=1800.03 cores=1,3,5,7
/proc/4965/stat : 4965 (java) S 4963 4965 3845 0 -1 4202496 1220436 0 1 0 179860 143 0 0 25 0 19 0 834083900 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 2637681 1198430 2251 9 0 2628415 0
[pid=4965/tid=4966] ppid=4963 vsize=10550724 CPUtime=1785.21 cores=1,3,5,7
/proc/4965/task/4966/stat : 4966 (java) R 4963 4965 3845 0 -1 4202560 841933 0 1 0 178434 87 0 0 25 0 19 0 834083901 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 46912505741635 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4965/tid=4968] ppid=4963 vsize=10550724 CPUtime=1.66 cores=1,3,5,7
/proc/4965/task/4968/stat : 4968 (java) S 4963 4965 3845 0 -1 4202560 47484 0 0 0 161 5 0 0 15 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4969] ppid=4963 vsize=10550724 CPUtime=1.56 cores=1,3,5,7
/proc/4965/task/4969/stat : 4969 (java) S 4963 4965 3845 0 -1 4202560 46184 0 0 0 150 6 0 0 16 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4970] ppid=4963 vsize=10550724 CPUtime=1.76 cores=1,3,5,7
/proc/4965/task/4970/stat : 4970 (java) S 4963 4965 3845 0 -1 4202560 53428 0 0 0 168 8 0 0 15 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4971] ppid=4963 vsize=10550724 CPUtime=1.7 cores=1,3,5,7
/proc/4965/task/4971/stat : 4971 (java) S 4963 4965 3845 0 -1 4202560 48473 0 0 0 164 6 0 0 15 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4972] ppid=4963 vsize=10550724 CPUtime=1.73 cores=1,3,5,7
/proc/4965/task/4972/stat : 4972 (java) S 4963 4965 3845 0 -1 4202560 40310 0 0 0 167 6 0 0 15 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 3 0 0 0
[pid=4965/tid=4973] ppid=4963 vsize=10550724 CPUtime=1.51 cores=1,3,5,7
/proc/4965/task/4973/stat : 4973 (java) S 4963 4965 3845 0 -1 4202560 41703 0 0 0 146 5 0 0 15 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4974] ppid=4963 vsize=10550724 CPUtime=1.47 cores=1,3,5,7
/proc/4965/task/4974/stat : 4974 (java) S 4963 4965 3845 0 -1 4202560 38903 0 0 0 142 5 0 0 15 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4975] ppid=4963 vsize=10550724 CPUtime=1.59 cores=1,3,5,7
/proc/4965/task/4975/stat : 4975 (java) S 4963 4965 3845 0 -1 4202560 49120 0 0 0 153 6 0 0 16 0 19 0 834083903 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4976] ppid=4963 vsize=10550724 CPUtime=0.03 cores=1,3,5,7
/proc/4965/task/4976/stat : 4976 (java) S 4963 4965 3845 0 -1 4202560 114 0 0 0 2 1 0 0 15 0 19 0 834083904 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 0 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4977] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4977/stat : 4977 (java) S 4963 4965 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4978] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4978/stat : 4978 (java) S 4963 4965 3845 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 834083904 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
[pid=4965/tid=4979] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4979/stat : 4979 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834083907 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389125041 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4980] ppid=4963 vsize=10550724 CPUtime=0.97 cores=1,3,5,7
/proc/4965/task/4980/stat : 4980 (java) S 4963 4965 3845 0 -1 4202560 8382 0 0 0 96 1 0 0 15 0 19 0 834083907 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4981] ppid=4963 vsize=10550724 CPUtime=0.71 cores=1,3,5,7
/proc/4965/task/4981/stat : 4981 (java) S 4963 4965 3845 0 -1 4202560 3146 0 0 0 71 0 0 0 15 0 19 0 834083907 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4982] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4982/stat : 4982 (java) S 4963 4965 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834083907 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117337 0 4 0 16800975 18446604469703890048 0 0 -1 1 0 0 0
[pid=4965/tid=4983] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4983/stat : 4983 (java) S 4963 4965 3845 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834083907 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 5 0 0 0
[pid=4965/tid=4984] ppid=4963 vsize=10550724 CPUtime=0 cores=1,3,5,7
/proc/4965/task/4984/stat : 4984 (java) S 4963 4965 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834083933 10803941376 1198430 33554432000 1073741824 1073778376 140736504212144 18446744073709551615 255389117952 0 4 0 16800975 18446604469703890048 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10550724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.62 s]
/proc/loadavg: 2.01 2.04 2.02 3/457 5095
/proc/meminfo: memFree=13559116/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/4965/stat : 4965 (java) Z 4963 4965 3845 0 -1 4203548 1220467 0 1 0 179866 151 0 0 17 0 2 0 834083900 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 0 0 0 0 0 0 0
[pid=4965/tid=5094] ppid=4963 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/4965/task/5094/stat : 5094 (java) R 4963 4965 3845 0 -1 4203588 11 0 0 0 0 8 0 0 18 0 2 0 834262853 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
[startup+1789.72 s]
/proc/loadavg: 2.01 2.04 2.02 3/457 5095
/proc/meminfo: memFree=13559116/32951124 swapFree=60787360/67111528
[pid=4965] ppid=4963 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/4965/stat : 4965 (java) Z 4963 4965 3845 0 -1 4203548 1220467 0 1 0 179866 159 0 0 17 0 2 0 834083900 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4965/statm: 0 0 0 0 0 0 0
[pid=4965/tid=5094] ppid=4963 vsize=0 CPUtime=0.16 cores=1,3,5,7
/proc/4965/task/5094/stat : 5094 (java) R 4963 4965 3845 0 -1 4203588 11 0 0 0 0 16 0 0 18 0 2 0 834262853 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.73
CPU time (s): 1800.28
CPU user time (s): 1798.66
CPU system time (s): 1.61575
CPU usage (%): 100.589
Max. virtual memory (cumulated for all children) (KiB): 10550724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.61575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1220467
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= 43371
involuntary context switches= 11198
runsolver used 7.76882 second user time and 18.7152 second system time
The end