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-3455888-1307224909/watcher-3455888-1307224909 -o /tmp/evaluation-result-3455888-1307224909/solver-3455888-1307224909 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455888-1307224909.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.00 2.02 2.00 2/471 31675
/proc/meminfo: memFree=27903116/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 5365 0 1 0 0 0 0 0 25 0 2 0 834088788 10694979584 5067 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2611079 5080 917 9 0 2602235 0
[pid=31675/tid=31676] ppid=31673 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 4311 0 1 0 0 0 0 0 25 0 2 0 834088789 10694979584 5126 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0208009 s]
/proc/loadavg: 2.00 2.02 2.00 2/471 31675
/proc/meminfo: memFree=27903116/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 7322 0 1 0 0 0 0 0 25 0 2 0 834088788 10694979584 7025 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2611079 7043 917 9 0 2602235 0
[pid=31675/tid=31676] ppid=31673 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 6242 0 1 0 0 0 0 0 25 0 2 0 834088789 10694979584 7058 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.102253 s]
/proc/loadavg: 2.00 2.02 2.00 2/471 31675
/proc/meminfo: memFree=27903116/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10539820 CPUtime=0.09 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 12940 0 1 0 8 1 0 0 25 0 18 0 834088788 10792775680 12608 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2634955 12612 2091 9 0 2625689 0
[pid=31675/tid=31676] ppid=31673 vsize=10539820 CPUtime=0.07 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 11011 0 1 0 6 1 0 0 18 0 18 0 834088789 10792775680 12612 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 47457973639187 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539820
[startup+0.305791 s]
/proc/loadavg: 2.00 2.02 2.00 2/471 31675
/proc/meminfo: memFree=27903116/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10547532 CPUtime=0.51 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 19390 0 1 0 49 2 0 0 25 0 19 0 834088788 10800672768 17224 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2636883 17224 2193 9 0 2627617 0
[pid=31675/tid=31676] ppid=31673 vsize=10547532 CPUtime=0.28 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 12515 0 1 0 27 1 0 0 19 0 19 0 834088789 10800672768 17224 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10547532
[startup+0.700671 s]
/proc/loadavg: 2.00 2.02 2.00 2/471 31675
/proc/meminfo: memFree=27903116/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10557384 CPUtime=1.64 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 44951 0 1 0 159 5 0 0 25 0 19 0 834088788 10810761216 40059 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2639346 40062 2221 9 0 2630080 0
[pid=31675/tid=31676] ppid=31673 vsize=10557384 CPUtime=0.67 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 31173 0 1 0 64 3 0 0 19 0 19 0 834088789 10810761216 40064 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912505895477 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10557384
[startup+1.50153 s]
/proc/loadavg: 2.00 2.02 2.00 5/490 31694
/proc/meminfo: memFree=27631476/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10558832 CPUtime=2.89 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 131819 0 1 0 274 15 0 0 25 0 19 0 834088788 10812243968 126926 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2639708 126930 2228 9 0 2630442 0
[pid=31675/tid=31676] ppid=31673 vsize=10558832 CPUtime=1.47 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 117466 0 1 0 133 14 0 0 21 0 19 0 834088789 10812243968 126932 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912505571401 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31675/tid=31678] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31678/stat : 31678 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126935 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31675/tid=31679] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31679/stat : 31679 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126937 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31680] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31680/stat : 31680 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126940 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31681] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31681/stat : 31681 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126943 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31682] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31682/stat : 31682 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126946 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31683] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31683/stat : 31683 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126948 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31684] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31684/stat : 31684 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126951 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31685] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31685/stat : 31685 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 126954 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31686] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31686/stat : 31686 (java) S 31673 31675 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 126957 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31687] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31687/stat : 31687 (java) S 31673 31675 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834088792 10812243968 126960 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31688] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31688/stat : 31688 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834088792 10812243968 126964 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31689] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31689/stat : 31689 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 126967 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31690] ppid=31673 vsize=10558832 CPUtime=0.71 cores=1,3,5,7
/proc/31675/task/31690/stat : 31690 (java) S 31673 31675 30316 0 -1 4202560 7632 0 0 0 71 0 0 0 25 0 19 0 834088795 10812243968 126972 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31691] ppid=31673 vsize=10558832 CPUtime=0.68 cores=1,3,5,7
/proc/31675/task/31691/stat : 31691 (java) S 31673 31675 30316 0 -1 4202560 5568 0 0 0 68 0 0 0 15 0 19 0 834088795 10812243968 126975 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31692] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31692/stat : 31692 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 126978 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31693] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31693/stat : 31693 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834088795 10812243968 126982 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31694] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31694/stat : 31694 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834088807 10812243968 126986 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 10558832
[startup+3.10124 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31694
/proc/meminfo: memFree=27139320/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10558832 CPUtime=4.51 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 303742 0 1 0 419 32 0 0 25 0 19 0 834088788 10812243968 298848 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2639708 298854 2228 9 0 2630442 0
[pid=31675/tid=31676] ppid=31673 vsize=10558832 CPUtime=3.07 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 289391 0 1 0 277 30 0 0 25 0 19 0 834088789 10812243968 298857 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912506048206 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31675/tid=31678] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31678/stat : 31678 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298860 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31675/tid=31679] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31679/stat : 31679 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298862 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31680] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31680/stat : 31680 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298865 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31681] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31681/stat : 31681 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298868 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31682] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31682/stat : 31682 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298870 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31683] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31683/stat : 31683 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31684] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31684/stat : 31684 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298875 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31685] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31685/stat : 31685 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 298878 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31686] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31686/stat : 31686 (java) S 31673 31675 30316 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 298880 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31687] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31687/stat : 31687 (java) S 31673 31675 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834088792 10812243968 298882 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31688] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31688/stat : 31688 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834088792 10812243968 298884 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31689] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31689/stat : 31689 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 298886 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31690] ppid=31673 vsize=10558832 CPUtime=0.71 cores=1,3,5,7
/proc/31675/task/31690/stat : 31690 (java) S 31673 31675 30316 0 -1 4202560 7632 0 0 0 71 0 0 0 25 0 19 0 834088795 10812243968 298888 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31691] ppid=31673 vsize=10558832 CPUtime=0.69 cores=1,3,5,7
/proc/31675/task/31691/stat : 31691 (java) S 31673 31675 30316 0 -1 4202560 5568 0 0 0 69 0 0 0 15 0 19 0 834088795 10812243968 298890 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31692] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31692/stat : 31692 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 298893 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31693] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31693/stat : 31693 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834088795 10812243968 298896 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31694] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31694/stat : 31694 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834088807 10812243968 298899 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 10558832
[startup+6.30067 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31694
/proc/meminfo: memFree=25735476/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10558832 CPUtime=7.72 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 640050 0 1 0 699 73 0 0 25 0 19 0 834088788 10812243968 635123 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2639708 635128 2228 9 0 2630442 0
[pid=31675/tid=31676] ppid=31673 vsize=10558832 CPUtime=6.27 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 625697 0 1 0 556 71 0 0 25 0 19 0 834088789 10812243968 635131 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912505588732 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31675/tid=31678] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31678/stat : 31678 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635134 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31675/tid=31679] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31679/stat : 31679 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635137 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31680] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31680/stat : 31680 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635141 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31681] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31681/stat : 31681 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635145 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31682] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31682/stat : 31682 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635148 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31683] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31683/stat : 31683 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635151 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31684] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31684/stat : 31684 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635154 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31685] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31685/stat : 31685 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088791 10812243968 635157 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31686] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31686/stat : 31686 (java) S 31673 31675 30316 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 834088792 10812243968 635160 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31687] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31687/stat : 31687 (java) S 31673 31675 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834088792 10812243968 635163 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31688] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31688/stat : 31688 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834088792 10812243968 635164 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31689] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31689/stat : 31689 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 635166 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31690] ppid=31673 vsize=10558832 CPUtime=0.72 cores=1,3,5,7
/proc/31675/task/31690/stat : 31690 (java) S 31673 31675 30316 0 -1 4202560 7632 0 0 0 72 0 0 0 18 0 19 0 834088795 10812243968 635168 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31691] ppid=31673 vsize=10558832 CPUtime=0.71 cores=1,3,5,7
/proc/31675/task/31691/stat : 31691 (java) S 31673 31675 30316 0 -1 4202560 5570 0 0 0 71 0 0 0 15 0 19 0 834088795 10812243968 635171 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/31675/task/31688/stat : 31688 (java) S 31673 31675 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 950734 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31689] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31689/stat : 31689 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950734 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31690] ppid=31673 vsize=10558832 CPUtime=0.75 cores=1,3,5,7
/proc/31675/task/31690/stat : 31690 (java) S 31673 31675 30316 0 -1 4202560 7643 0 0 0 75 0 0 0 15 0 19 0 834088795 10812243968 950734 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31691] ppid=31673 vsize=10558832 CPUtime=0.9 cores=1,3,5,7
/proc/31675/task/31691/stat : 31691 (java) S 31673 31675 30316 0 -1 4202560 5591 0 0 0 90 0 0 0 15 0 19 0 834088795 10812243968 950734 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31692] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31692/stat : 31692 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950734 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31693] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31693/stat : 31693 (java) S 31673 31675 30316 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 834088795 10812243968 950734 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31694] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31694/stat : 31694 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834088807 10812243968 950734 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.89
Current children cumulated vsize (KiB) 10558832
[startup+1722.3 s]
/proc/loadavg: 2.14 2.10 2.03 3/490 31791
/proc/meminfo: memFree=24107208/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10558832 CPUtime=1730.17 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 957312 0 1 0 172904 113 0 0 25 0 19 0 834088788 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2639708 950820 2258 9 0 2630442 0
[pid=31675/tid=31676] ppid=31673 vsize=10558832 CPUtime=1715.82 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 845477 0 1 0 171487 95 0 0 25 0 19 0 834088789 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912505699068 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31675/tid=31678] ppid=31673 vsize=10558832 CPUtime=1.24 cores=1,3,5,7
/proc/31675/task/31678/stat : 31678 (java) S 31673 31675 30316 0 -1 4202560 11986 0 0 0 122 2 0 0 16 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31675/tid=31679] ppid=31673 vsize=10558832 CPUtime=1.04 cores=1,3,5,7
/proc/31675/task/31679/stat : 31679 (java) S 31673 31675 30316 0 -1 4202560 9762 0 0 0 103 1 0 0 15 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31680] ppid=31673 vsize=10558832 CPUtime=1.07 cores=1,3,5,7
/proc/31675/task/31680/stat : 31680 (java) S 31673 31675 30316 0 -1 4202560 8133 0 0 0 107 0 0 0 16 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31675/tid=31681] ppid=31673 vsize=10558832 CPUtime=1.14 cores=1,3,5,7
/proc/31675/task/31681/stat : 31681 (java) S 31673 31675 30316 0 -1 4202560 10983 0 0 0 113 1 0 0 15 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31682] ppid=31673 vsize=10558832 CPUtime=1.03 cores=1,3,5,7
/proc/31675/task/31682/stat : 31682 (java) S 31673 31675 30316 0 -1 4202560 9915 0 0 0 102 1 0 0 15 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31683] ppid=31673 vsize=10558832 CPUtime=1.19 cores=1,3,5,7
/proc/31675/task/31683/stat : 31683 (java) S 31673 31675 30316 0 -1 4202560 13500 0 0 0 119 0 0 0 16 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31684] ppid=31673 vsize=10558832 CPUtime=1.19 cores=1,3,5,7
/proc/31675/task/31684/stat : 31684 (java) S 31673 31675 30316 0 -1 4202560 11818 0 0 0 119 0 0 0 16 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31685] ppid=31673 vsize=10558832 CPUtime=1.05 cores=1,3,5,7
/proc/31675/task/31685/stat : 31685 (java) S 31673 31675 30316 0 -1 4202560 8471 0 0 0 104 1 0 0 15 0 19 0 834088791 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31686] ppid=31673 vsize=10558832 CPUtime=3.6 cores=1,3,5,7
/proc/31675/task/31686/stat : 31686 (java) S 31673 31675 30316 0 -1 4202560 12784 0 0 0 356 4 0 0 15 0 19 0 834088792 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31687] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31687/stat : 31687 (java) S 31673 31675 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31688] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31688/stat : 31688 (java) S 31673 31675 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31689] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31689/stat : 31689 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31690] ppid=31673 vsize=10558832 CPUtime=0.75 cores=1,3,5,7
/proc/31675/task/31690/stat : 31690 (java) S 31673 31675 30316 0 -1 4202560 7643 0 0 0 75 0 0 0 15 0 19 0 834088795 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31691] ppid=31673 vsize=10558832 CPUtime=0.9 cores=1,3,5,7
/proc/31675/task/31691/stat : 31691 (java) S 31673 31675 30316 0 -1 4202560 5591 0 0 0 90 0 0 0 15 0 19 0 834088795 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31692] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31692/stat : 31692 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31693] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31693/stat : 31693 (java) S 31673 31675 30316 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 834088795 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31694] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31694/stat : 31694 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834088807 10812243968 950820 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.17
Current children cumulated vsize (KiB) 10558832
[startup+1782.3 s]
/proc/loadavg: 2.11 2.10 2.03 3/490 31793
/proc/meminfo: memFree=24101228/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10558832 CPUtime=1790.44 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 957360 0 1 0 178931 113 0 0 25 0 19 0 834088788 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2639708 950855 2258 9 0 2630442 0
[pid=31675/tid=31676] ppid=31673 vsize=10558832 CPUtime=1775.71 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 845482 0 1 0 177476 95 0 0 25 0 19 0 834088789 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912505570510 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31675/tid=31678] ppid=31673 vsize=10558832 CPUtime=1.28 cores=1,3,5,7
/proc/31675/task/31678/stat : 31678 (java) S 31673 31675 30316 0 -1 4202560 11986 0 0 0 126 2 0 0 15 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31675/tid=31679] ppid=31673 vsize=10558832 CPUtime=1.09 cores=1,3,5,7
/proc/31675/task/31679/stat : 31679 (java) S 31673 31675 30316 0 -1 4202560 9776 0 0 0 108 1 0 0 16 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31680] ppid=31673 vsize=10558832 CPUtime=1.07 cores=1,3,5,7
/proc/31675/task/31680/stat : 31680 (java) S 31673 31675 30316 0 -1 4202560 8133 0 0 0 107 0 0 0 15 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31681] ppid=31673 vsize=10558832 CPUtime=1.18 cores=1,3,5,7
/proc/31675/task/31681/stat : 31681 (java) S 31673 31675 30316 0 -1 4202560 10998 0 0 0 117 1 0 0 16 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31682] ppid=31673 vsize=10558832 CPUtime=1.11 cores=1,3,5,7
/proc/31675/task/31682/stat : 31682 (java) S 31673 31675 30316 0 -1 4202560 9917 0 0 0 110 1 0 0 15 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31683] ppid=31673 vsize=10558832 CPUtime=1.26 cores=1,3,5,7
/proc/31675/task/31683/stat : 31683 (java) S 31673 31675 30316 0 -1 4202560 13502 0 0 0 126 0 0 0 15 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31684] ppid=31673 vsize=10558832 CPUtime=1.22 cores=1,3,5,7
/proc/31675/task/31684/stat : 31684 (java) S 31673 31675 30316 0 -1 4202560 11819 0 0 0 122 0 0 0 16 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31675/tid=31685] ppid=31673 vsize=10558832 CPUtime=1.13 cores=1,3,5,7
/proc/31675/task/31685/stat : 31685 (java) S 31673 31675 30316 0 -1 4202560 8472 0 0 0 112 1 0 0 15 0 19 0 834088791 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31686] ppid=31673 vsize=10558832 CPUtime=3.6 cores=1,3,5,7
/proc/31675/task/31686/stat : 31686 (java) S 31673 31675 30316 0 -1 4202560 12788 0 0 0 356 4 0 0 15 0 19 0 834088792 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31687] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31687/stat : 31687 (java) S 31673 31675 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31688] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31688/stat : 31688 (java) S 31673 31675 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31689] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31689/stat : 31689 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31690] ppid=31673 vsize=10558832 CPUtime=0.75 cores=1,3,5,7
/proc/31675/task/31690/stat : 31690 (java) S 31673 31675 30316 0 -1 4202560 7643 0 0 0 75 0 0 0 15 0 19 0 834088795 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31691] ppid=31673 vsize=10558832 CPUtime=0.9 cores=1,3,5,7
/proc/31675/task/31691/stat : 31691 (java) S 31673 31675 30316 0 -1 4202560 5591 0 0 0 90 0 0 0 15 0 19 0 834088795 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31692] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31692/stat : 31692 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31693] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31693/stat : 31693 (java) S 31673 31675 30316 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834088795 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31694] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31694/stat : 31694 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834088807 10812243968 950855 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (KiB) 10558832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.8 s]
/proc/loadavg: 2.09 2.09 2.03 4/490 31793
/proc/meminfo: memFree=24100212/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=10558832 CPUtime=1800.02 cores=1,3,5,7
/proc/31675/stat : 31675 (java) S 31673 31675 30316 0 -1 4202496 957381 0 1 0 179889 113 0 0 25 0 19 0 834088788 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 2639708 950873 2258 9 0 2630442 0
[pid=31675/tid=31676] ppid=31673 vsize=10558832 CPUtime=1785.22 cores=1,3,5,7
/proc/31675/task/31676/stat : 31676 (java) R 31673 31675 30316 0 -1 4202560 845483 0 1 0 178427 95 0 0 25 0 19 0 834088789 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 46912505699042 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31675/tid=31678] ppid=31673 vsize=10558832 CPUtime=1.29 cores=1,3,5,7
/proc/31675/task/31678/stat : 31678 (java) S 31673 31675 30316 0 -1 4202560 11993 0 0 0 127 2 0 0 16 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31679] ppid=31673 vsize=10558832 CPUtime=1.12 cores=1,3,5,7
/proc/31675/task/31679/stat : 31679 (java) S 31673 31675 30316 0 -1 4202560 9781 0 0 0 111 1 0 0 16 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31680] ppid=31673 vsize=10558832 CPUtime=1.1 cores=1,3,5,7
/proc/31675/task/31680/stat : 31680 (java) S 31673 31675 30316 0 -1 4202560 8133 0 0 0 110 0 0 0 16 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31681] ppid=31673 vsize=10558832 CPUtime=1.18 cores=1,3,5,7
/proc/31675/task/31681/stat : 31681 (java) S 31673 31675 30316 0 -1 4202560 10998 0 0 0 117 1 0 0 15 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31682] ppid=31673 vsize=10558832 CPUtime=1.11 cores=1,3,5,7
/proc/31675/task/31682/stat : 31682 (java) S 31673 31675 30316 0 -1 4202560 9917 0 0 0 110 1 0 0 15 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31675/tid=31683] ppid=31673 vsize=10558832 CPUtime=1.27 cores=1,3,5,7
/proc/31675/task/31683/stat : 31683 (java) S 31673 31675 30316 0 -1 4202560 13508 0 0 0 127 0 0 0 16 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31684] ppid=31673 vsize=10558832 CPUtime=1.22 cores=1,3,5,7
/proc/31675/task/31684/stat : 31684 (java) S 31673 31675 30316 0 -1 4202560 11819 0 0 0 122 0 0 0 15 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31685] ppid=31673 vsize=10558832 CPUtime=1.13 cores=1,3,5,7
/proc/31675/task/31685/stat : 31685 (java) S 31673 31675 30316 0 -1 4202560 8472 0 0 0 112 1 0 0 15 0 19 0 834088791 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31686] ppid=31673 vsize=10558832 CPUtime=3.6 cores=1,3,5,7
/proc/31675/task/31686/stat : 31686 (java) S 31673 31675 30316 0 -1 4202560 12790 0 0 0 356 4 0 0 15 0 19 0 834088792 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31687] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31687/stat : 31687 (java) S 31673 31675 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31688] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31688/stat : 31688 (java) S 31673 31675 30316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834088792 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31689] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31689/stat : 31689 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31690] ppid=31673 vsize=10558832 CPUtime=0.75 cores=1,3,5,7
/proc/31675/task/31690/stat : 31690 (java) S 31673 31675 30316 0 -1 4202560 7643 0 0 0 75 0 0 0 15 0 19 0 834088795 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31691] ppid=31673 vsize=10558832 CPUtime=0.9 cores=1,3,5,7
/proc/31675/task/31691/stat : 31691 (java) S 31673 31675 30316 0 -1 4202560 5591 0 0 0 90 0 0 0 15 0 19 0 834088795 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31675/tid=31692] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31692/stat : 31692 (java) S 31673 31675 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834088795 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31693] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31693/stat : 31693 (java) S 31673 31675 30316 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 834088795 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31675/tid=31694] ppid=31673 vsize=10558832 CPUtime=0 cores=1,3,5,7
/proc/31675/task/31694/stat : 31694 (java) S 31673 31675 30316 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834088807 10812243968 950873 33554432000 1073741824 1073778376 140735374086400 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10558832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792 s]
/proc/loadavg: 2.09 2.09 2.03 4/490 31793
/proc/meminfo: memFree=24100212/32951124 swapFree=55639044/67111528
[pid=31675] ppid=31673 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/31675/stat : 31675 (java) Z 31673 31675 30316 0 -1 4203548 957422 0 1 0 179898 125 0 0 17 0 2 0 834088788 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31675/statm: 0 0 0 0 0 0 0
[pid=31675/tid=31692] ppid=31673 vsize=0 CPUtime=0.12 cores=1,3,5,7
/proc/31675/task/31692/stat : 31692 (java) R 31673 31675 30316 0 -1 4203588 1 0 0 0 0 12 0 0 18 0 2 0 834088795 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.02
CPU time (s): 1800.25
CPU user time (s): 1798.98
CPU system time (s): 1.27181
CPU usage (%): 100.46
Max. virtual memory (cumulated for all children) (KiB): 10558832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.27181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957422
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= 41893
involuntary context switches= 7866
runsolver used 8.44172 second user time and 19.2971 second system time
The end