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-3457417-1307659861/watcher-3457417-1307659861 -o /tmp/evaluation-result-3457417-1307659861/solver-3457417-1307659861 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457417-1307659861.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: 1.92 1.99 1.99 2/194 12914
/proc/meminfo: memFree=31931288/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 1238 0 0 0 0 0 0 0 24 0 2 0 858401638 31260672 957 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 7632 957 730 9 0 383 0
[pid=12914/tid=12915] ppid=12912 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 858401639 31272960 959 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254261616443 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.091586 s]
/proc/loadavg: 1.92 1.99 1.99 2/194 12914
/proc/meminfo: memFree=31931288/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10540084 CPUtime=0.09 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 12933 0 1 0 8 1 0 0 24 0 18 0 858401638 10793046016 12629 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2635021 12630 2093 9 0 2625755 0
[pid=12914/tid=12915] ppid=12912 vsize=10540084 CPUtime=0.08 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 11034 0 1 0 7 1 0 0 23 0 18 0 858401639 10793046016 12630 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 47038099177477 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540084
[startup+0.100594 s]
/proc/loadavg: 1.92 1.99 1.99 2/194 12914
/proc/meminfo: memFree=31931288/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10540084 CPUtime=0.1 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 13090 0 1 0 9 1 0 0 24 0 18 0 858401638 10793046016 12786 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2635021 12786 2093 9 0 2625755 0
[pid=12914/tid=12915] ppid=12912 vsize=10540084 CPUtime=0.08 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 11191 0 1 0 7 1 0 0 23 0 18 0 858401639 10793046016 12787 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 47038100040643 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540084
[startup+0.300548 s]
/proc/loadavg: 1.92 1.99 1.99 2/194 12914
/proc/meminfo: memFree=31931288/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10541960 CPUtime=0.49 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 18366 0 1 0 47 2 0 0 24 0 18 0 858401638 10794967040 17871 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2635490 17873 2200 9 0 2626224 0
[pid=12914/tid=12915] ppid=12912 vsize=10541960 CPUtime=0.28 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 15678 0 1 0 27 1 0 0 23 0 18 0 858401639 10794967040 17874 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 46912505572803 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541960
[startup+0.700477 s]
/proc/loadavg: 1.92 1.99 1.99 2/194 12914
/proc/meminfo: memFree=31931288/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10552732 CPUtime=1.25 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 47392 0 1 0 119 6 0 0 24 0 18 0 858401638 10805997568 44406 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2638183 44409 2212 9 0 2628917 0
[pid=12914/tid=12915] ppid=12912 vsize=10552732 CPUtime=0.68 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 38804 0 1 0 64 4 0 0 25 0 18 0 858401639 10805997568 44409 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 46912505669375 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 10552732
[startup+1.50134 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 12933
/proc/meminfo: memFree=31431920/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10552732 CPUtime=2.2 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 107841 0 1 0 206 14 0 0 24 0 18 0 858401638 10805997568 103185 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2638183 103188 2214 9 0 2628917 0
[pid=12914/tid=12915] ppid=12912 vsize=10552732 CPUtime=1.48 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 97564 0 1 0 136 12 0 0 18 0 18 0 858401639 10805997568 103189 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 46912505561974 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12914/tid=12917] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12917/stat : 12917 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10805997568 103191 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12918] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12918/stat : 12918 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 103193 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12919] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12919/stat : 12919 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 103195 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12920] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12920/stat : 12920 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 103196 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12921] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12921/stat : 12921 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 103198 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12922] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12922/stat : 12922 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 103200 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12923] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12923/stat : 12923 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 103202 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12924] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12924/stat : 12924 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10805997568 103203 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12925] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12925/stat : 12925 (java) S 12912 12914 11688 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 858401641 10805997568 103205 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 0 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12926] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12926/stat : 12926 (java) S 12912 12914 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 858401642 10805997568 103205 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12927] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12927/stat : 12927 (java) S 12912 12914 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 858401642 10805997568 103206 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12928] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12928/stat : 12928 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858401644 10805997568 103208 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273440177 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12929] ppid=12912 vsize=10552732 CPUtime=0.3 cores=1,3,5,7
/proc/12914/task/12929/stat : 12929 (java) S 12912 12914 11688 0 -1 4202560 4207 0 0 0 30 0 0 0 17 0 18 0 858401644 10805997568 103210 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12930] ppid=12912 vsize=10552732 CPUtime=0.39 cores=1,3,5,7
/proc/12914/task/12930/stat : 12930 (java) S 12912 12914 11688 0 -1 4202560 4921 0 0 0 39 0 0 0 19 0 18 0 858401644 10805997568 103211 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12931] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12931/stat : 12931 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 858401644 10805997568 103213 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12932] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12932/stat : 12932 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858401644 10805997568 103217 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 10552732
[startup+3.10105 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 12933
/proc/meminfo: memFree=30588844/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10552732 CPUtime=3.8 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 218451 0 1 0 352 28 0 0 24 0 18 0 858401638 10805997568 213795 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2638183 213798 2214 9 0 2628917 0
[pid=12914/tid=12915] ppid=12912 vsize=10552732 CPUtime=3.08 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 208175 0 1 0 282 26 0 0 21 0 18 0 858401639 10805997568 213800 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 46912505570242 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12914/tid=12917] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12917/stat : 12917 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10805997568 213802 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12918] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12918/stat : 12918 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 213803 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12919] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12919/stat : 12919 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 213805 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12920] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12920/stat : 12920 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 213807 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12921] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12921/stat : 12921 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 213809 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12922] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12922/stat : 12922 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 213809 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12923] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12923/stat : 12923 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10805997568 213810 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12924] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12924/stat : 12924 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10805997568 213812 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12925] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12925/stat : 12925 (java) S 12912 12914 11688 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 858401641 10805997568 213814 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 0 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12926] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12926/stat : 12926 (java) S 12912 12914 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 858401642 10805997568 213815 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12927] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12927/stat : 12927 (java) S 12912 12914 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 858401642 10805997568 213817 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12928] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12928/stat : 12928 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858401644 10805997568 213819 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273440177 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12929] ppid=12912 vsize=10552732 CPUtime=0.3 cores=1,3,5,7
/proc/12914/task/12929/stat : 12929 (java) S 12912 12914 11688 0 -1 4202560 4207 0 0 0 30 0 0 0 15 0 18 0 858401644 10805997568 213820 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12930] ppid=12912 vsize=10552732 CPUtime=0.39 cores=1,3,5,7
/proc/12914/task/12930/stat : 12930 (java) S 12912 12914 11688 0 -1 4202560 4921 0 0 0 39 0 0 0 19 0 18 0 858401644 10805997568 213825 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12931] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12931/stat : 12931 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 858401644 10805997568 213832 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12932] ppid=12912 vsize=10552732 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12932/stat : 12932 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 858401644 10805997568 213840 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 10552732
[startup+6.30149 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 12934
/proc/meminfo: memFree=27829268/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10548492 CPUtime=7.02 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 469375 0 1 0 647 55 0 0 24 0 18 0 858401638 10801655808 463686 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2637123 463688 2215 9 0 2627857 0
[pid=12914/tid=12915] ppid=12912 vsize=10548492 CPUtime=6.28 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 459094 0 1 0 575 53 0 0 18 0 18 0 858401639 10801655808 463689 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 46912505593727 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12914/tid=12917] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12917/stat : 12917 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10801655808 463691 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12918] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12918/stat : 12918 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 463692 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12919] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12919/stat : 12919 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 463694 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12920] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12920/stat : 12920 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 463696 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12921] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12921/stat : 12921 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 463697 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12922] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12922/stat : 12922 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 463699 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12923] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12923/stat : 12923 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 463701 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12924] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12924/stat : 12924 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10801655808 463702 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12925] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12925/stat : 12925 (java) S 12912 12914 11688 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 858401641 10801655808 463704 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 0 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12926] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12926/stat : 12926 (java) S 12912 12914 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 858401642 10801655808 463706 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12927] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12927/stat : 12927 (java) S 12912 12914 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 858401642 10801655808 463707 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12928] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12928/stat : 12928 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858401644 10801655808 463709 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273440177 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12929] ppid=12912 vsize=10548492 CPUtime=0.3 cores=1,3,5,7
/proc/12914/task/12929/stat : 12929 (java) S 12912 12914 11688 0 -1 4202560 4207 0 0 0 30 0 0 0 16 0 18 0 858401644 10801655808 463711 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12930] ppid=12912 vsize=10548492 CPUtime=0.41 cores=1,3,5,7
/proc/12914/task/12930/stat : 12930 (java) S 12912 12914 11688 0 -1 4202560 4923 0 0 0 41 0 0 0 17 0 18 0 858401644 10801655808 463712 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12931] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12931/stat : 12931 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 858401644 10801655808 463714 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12932] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12932/stat : 12932 (java) S 12912 12914 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 858401644 10801655808 463715 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 10548492
Solver just ended. Dumping a history of the last processes samples
[startup+7.10136 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 12934
/proc/meminfo: memFree=27410396/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10548492 CPUtime=7.82 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 534317 0 1 0 719 63 0 0 24 0 18 0 858401638 10801655808 528628 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2637123 528631 2215 9 0 2627857 0
[pid=12914/tid=12915] ppid=12912 vsize=10548492 CPUtime=7.08 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 524038 0 1 0 647 61 0 0 19 0 18 0 858401639 10801655808 528633 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 46912505561958 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12914/tid=12917] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12917/stat : 12917 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10801655808 528636 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12918] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12918/stat : 12918 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 528638 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12919] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12919/stat : 12919 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 528640 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12920] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12920/stat : 12920 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 528643 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12921] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12921/stat : 12921 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 528645 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12922] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12922/stat : 12922 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 528647 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12923] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12923/stat : 12923 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 528650 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12924] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12924/stat : 12924 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10801655808 528652 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12925] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12925/stat : 12925 (java) S 12912 12914 11688 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 858401641 10801655808 528654 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 0 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12926] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12926/stat : 12926 (java) S 12912 12914 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 858401642 10801655808 528656 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12927] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12927/stat : 12927 (java) S 12912 12914 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 858401642 10801655808 528660 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12928] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12928/stat : 12928 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858401644 10801655808 528668 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273440177 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12929] ppid=12912 vsize=10548492 CPUtime=0.3 cores=1,3,5,7
/proc/12914/task/12929/stat : 12929 (java) S 12912 12914 11688 0 -1 4202560 4207 0 0 0 30 0 0 0 15 0 18 0 858401644 10801655808 528675 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12930] ppid=12912 vsize=10548492 CPUtime=0.41 cores=1,3,5,7
/proc/12914/task/12930/stat : 12930 (java) S 12912 12914 11688 0 -1 4202560 4923 0 0 0 41 0 0 0 15 0 18 0 858401644 10801655808 528684 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12931] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12931/stat : 12931 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 858401644 10801655808 528685 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12932] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12932/stat : 12932 (java) S 12912 12914 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 858401644 10801655808 528685 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 10548492
[startup+7.90121 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 12934
/proc/meminfo: memFree=27045588/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=10548492 CPUtime=8.62 cores=1,3,5,7
/proc/12914/stat : 12914 (java) S 12912 12914 11688 0 -1 4202496 602956 0 1 0 792 70 0 0 24 0 18 0 858401638 10801655808 597267 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 2637123 597269 2215 9 0 2627857 0
[pid=12914/tid=12915] ppid=12912 vsize=10548492 CPUtime=7.88 cores=1,3,5,7
/proc/12914/task/12915/stat : 12915 (java) R 12912 12914 11688 0 -1 4202560 592676 0 1 0 720 68 0 0 20 0 18 0 858401639 10801655808 597271 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 46912505629778 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12914/tid=12917] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12917/stat : 12917 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10801655808 597275 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12918] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12918/stat : 12918 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 597275 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12919] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12919/stat : 12919 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 597275 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12920] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12920/stat : 12920 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 597275 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12921] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12921/stat : 12921 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 597276 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12922] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12922/stat : 12922 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 597280 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12923] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12923/stat : 12923 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 858401640 10801655808 597283 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12924] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12924/stat : 12924 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 858401640 10801655808 597285 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12925] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12925/stat : 12925 (java) S 12912 12914 11688 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 858401641 10801655808 597288 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 0 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12926] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12926/stat : 12926 (java) S 12912 12914 11688 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 18 0 858401642 10801655808 597291 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 7 0 0 0
[pid=12914/tid=12927] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12927/stat : 12927 (java) S 12912 12914 11688 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 858401642 10801655808 597293 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12928] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12928/stat : 12928 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 858401644 10801655808 597296 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273440177 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12929] ppid=12912 vsize=10548492 CPUtime=0.3 cores=1,3,5,7
/proc/12914/task/12929/stat : 12929 (java) S 12912 12914 11688 0 -1 4202560 4207 0 0 0 30 0 0 0 15 0 18 0 858401644 10801655808 597299 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
[pid=12914/tid=12930] ppid=12912 vsize=10548492 CPUtime=0.41 cores=1,3,5,7
/proc/12914/task/12930/stat : 12930 (java) S 12912 12914 11688 0 -1 4202560 4923 0 0 0 41 0 0 0 15 0 18 0 858401644 10801655808 597301 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12931] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12931/stat : 12931 (java) S 12912 12914 11688 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 858401644 10801655808 597304 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273432473 0 4 0 16800975 18446604471134835904 0 0 -1 5 0 0 0
[pid=12914/tid=12932] ppid=12912 vsize=10548492 CPUtime=0 cores=1,3,5,7
/proc/12914/task/12932/stat : 12932 (java) S 12912 12914 11688 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 858401644 10801655808 597307 33554432000 1073741824 1073778376 140735142288416 18446744073709551615 254273433088 0 4 0 16800975 18446604471134835904 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 10548492
[startup+8.10115 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 12934
/proc/meminfo: memFree=27045588/32951124 swapFree=67057920/67111528
[pid=12914] ppid=12912 vsize=0 CPUtime=8.93 cores=1,3,5,7
/proc/12914/stat : 12914 (java) Z 12912 12914 11688 0 -1 4203548 611049 0 1 0 819 74 0 0 18 0 2 0 858401638 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12914/statm: 0 0 0 0 0 0 0
[pid=12914/tid=12924] ppid=12912 vsize=0 CPUtime=0.02 cores=1,3,5,7
/proc/12914/task/12924/stat : 12924 (java) R 12912 12914 11688 0 -1 4203588 1 0 0 0 0 2 0 0 18 0 2 0 858401640 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 8.16088
CPU time (s): 8.99963
CPU user time (s): 8.19475
CPU system time (s): 0.804877
CPU usage (%): 110.278
Max. virtual memory (cumulated for all children) (KiB): 10552732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.19475
system time used= 0.804877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611049
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= 403
involuntary context switches= 40
runsolver used 0.017997 second user time and 0.030995 second system time
The end