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-3479310-1307449691/watcher-3479310-1307449691 -o /tmp/evaluation-result-3479310-1307449691/solver-3479310-1307449691 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479310-1307449691.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.09 2.07 2.01 2/442 25583
/proc/meminfo: memFree=22165624/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 1316 0 0 0 0 0 0 0 23 0 2 0 856567812 36646912 1018 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 8947 1018 782 9 0 386 0
[pid=25583/tid=25584] ppid=25581 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 880 0 1 0 0 0 0 0 24 0 2 0 856567813 10681323520 1696 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.029761 s]
/proc/loadavg: 2.09 2.07 2.01 2/442 25583
/proc/meminfo: memFree=22165624/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 10089 0 1 0 0 1 0 0 23 0 10 0 856567812 10703900672 9790 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2613257 9803 1048 9 0 2604413 0
[pid=25583/tid=25584] ppid=25581 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 8986 0 1 0 0 1 0 0 25 0 10 0 856567813 10703900672 9809 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246516830213 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100714 s]
/proc/loadavg: 2.09 2.07 2.01 2/442 25583
/proc/meminfo: memFree=22165624/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10539692 CPUtime=0.09 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 12910 0 1 0 8 1 0 0 23 0 18 0 856567812 10792644608 12607 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2634923 12607 2092 9 0 2625657 0
[pid=25583/tid=25584] ppid=25581 vsize=10539692 CPUtime=0.07 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 11012 0 1 0 6 1 0 0 22 0 18 0 856567813 10792644608 12607 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912496193992 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539692
[startup+0.300699 s]
/proc/loadavg: 2.09 2.07 2.01 2/442 25583
/proc/meminfo: memFree=22165624/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10541416 CPUtime=0.5 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 18424 0 1 0 48 2 0 0 23 0 18 0 856567812 10794409984 17775 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2635354 17806 2204 9 0 2626088 0
[pid=25583/tid=25584] ppid=25581 vsize=10541416 CPUtime=0.28 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 15336 0 1 0 26 2 0 0 22 0 18 0 856567813 10794409984 17822 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541416
[startup+0.700604 s]
/proc/loadavg: 2.09 2.07 2.01 2/442 25583
/proc/meminfo: memFree=22165624/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10542744 CPUtime=1.1 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 56406 0 1 0 103 7 0 0 23 0 18 0 856567812 10795769856 54975 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2635686 54975 2204 9 0 2626420 0
[pid=25583/tid=25584] ppid=25581 vsize=10542744 CPUtime=0.67 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 51508 0 1 0 61 6 0 0 18 0 18 0 856567813 10795769856 54975 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912505217057 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10542744
[startup+1.50149 s]
/proc/loadavg: 2.09 2.07 2.01 3/460 25601
/proc/meminfo: memFree=21856792/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10546228 CPUtime=2.12 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 120821 0 1 0 198 14 0 0 23 0 18 0 856567812 10799337472 119162 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2636557 119166 2224 9 0 2627291 0
[pid=25583/tid=25584] ppid=25581 vsize=10546228 CPUtime=1.47 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 114789 0 1 0 134 13 0 0 18 0 18 0 856567813 10799337472 119168 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912505682693 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25583/tid=25586] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25586/stat : 25586 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119170 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25587] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25587/stat : 25587 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119172 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25588] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25588/stat : 25588 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119175 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25589] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25589/stat : 25589 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119177 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25590] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25590/stat : 25590 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119179 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25591] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25591/stat : 25591 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119182 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25592] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25592/stat : 25592 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119184 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25593] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25593/stat : 25593 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 119187 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25594] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25594/stat : 25594 (java) S 25581 25583 24324 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 856567816 10799337472 119189 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 0 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25595] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25595/stat : 25595 (java) S 25581 25583 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856567816 10799337472 119191 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25596] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25596/stat : 25596 (java) S 25581 25583 24324 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 856567816 10799337472 119194 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25597] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25597/stat : 25597 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 856567819 10799337472 119196 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528657841 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25598] ppid=25581 vsize=10546228 CPUtime=0.3 cores=1,3,5,7
/proc/25583/task/25598/stat : 25598 (java) S 25581 25583 24324 0 -1 4202560 2708 0 0 0 30 0 0 0 15 0 18 0 856567819 10799337472 119198 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25599] ppid=25581 vsize=10546228 CPUtime=0.33 cores=1,3,5,7
/proc/25583/task/25599/stat : 25599 (java) S 25581 25583 24324 0 -1 4202560 2178 0 0 0 33 0 0 0 15 0 18 0 856567819 10799337472 119200 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25600] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25600/stat : 25600 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856567819 10799337472 119203 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25601] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25601/stat : 25601 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856567819 10799337472 119205 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10546228
[startup+3.17619 s]
/proc/loadavg: 2.09 2.07 2.01 3/460 25601
/proc/meminfo: memFree=21856792/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10546228 CPUtime=3.8 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 303877 0 1 0 344 36 0 0 23 0 18 0 856567812 10799337472 302218 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2636557 302222 2225 9 0 2627291 0
[pid=25583/tid=25584] ppid=25581 vsize=10546228 CPUtime=3.15 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 297844 0 1 0 280 35 0 0 19 0 18 0 856567813 10799337472 302224 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912505683227 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25583/tid=25586] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25586/stat : 25586 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302227 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25587] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25587/stat : 25587 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302230 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25588] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25588/stat : 25588 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302232 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25589] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25589/stat : 25589 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302235 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25590] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25590/stat : 25590 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302238 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25591] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25591/stat : 25591 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302240 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25592] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25592/stat : 25592 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302240 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25593] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25593/stat : 25593 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856567815 10799337472 302242 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25594] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25594/stat : 25594 (java) S 25581 25583 24324 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 856567816 10799337472 302245 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 0 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25595] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25595/stat : 25595 (java) S 25581 25583 24324 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856567816 10799337472 302247 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25596] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25596/stat : 25596 (java) S 25581 25583 24324 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 856567816 10799337472 302250 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25597] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25597/stat : 25597 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 856567819 10799337472 302252 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528657841 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25598] ppid=25581 vsize=10546228 CPUtime=0.3 cores=1,3,5,7
/proc/25583/task/25598/stat : 25598 (java) S 25581 25583 24324 0 -1 4202560 2708 0 0 0 30 0 0 0 15 0 18 0 856567819 10799337472 302255 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25599] ppid=25581 vsize=10546228 CPUtime=0.33 cores=1,3,5,7
/proc/25583/task/25599/stat : 25599 (java) S 25581 25583 24324 0 -1 4202560 2178 0 0 0 33 0 0 0 15 0 18 0 856567819 10799337472 302258 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25600] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25600/stat : 25600 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856567819 10799337472 302260 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25601] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25601/stat : 25601 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 856567819 10799337472 302263 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 10546228
[startup+6.30062 s]
/proc/loadavg: 2.24 2.10 2.02 3/460 25601
/proc/meminfo: memFree=19662300/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10546228 CPUtime=7.13 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 676861 0 1 0 636 77 0 0 23 0 18 0 856567812 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2636557 675112 2239 9 0 2627291 0
[pid=25583/tid=25584] ppid=25581 vsize=10546228 CPUtime=6.2 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 650974 0 1 0 548 72 0 0 20 0 18 0 856567813 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912505506976 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25583/tid=25586] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25586/stat : 25586 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25587] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25587/stat : 25587 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25588] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25588/stat : 25588 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25589] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25589/stat : 25589 (java) S 25581 25583 24324 0 -1 4202560 132 0 0 0 0 0 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25590] ppid=25581 vsize=10546228 CPUtime=0.04 cores=1,3,5,7
/proc/25583/task/25590/stat : 25590 (java) S 25581 25583 24324 0 -1 4202560 4151 0 0 0 4 0 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25591] ppid=25581 vsize=10546228 CPUtime=0.05 cores=1,3,5,7
/proc/25583/task/25591/stat : 25591 (java) S 25581 25583 24324 0 -1 4202560 5351 0 0 0 5 0 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25592] ppid=25581 vsize=10546228 CPUtime=0.05 cores=1,3,5,7
/proc/25583/task/25592/stat : 25592 (java) S 25581 25583 24324 0 -1 4202560 5855 0 0 0 5 0 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
[pid=25583/tid=25593] ppid=25581 vsize=10546228 CPUtime=0.06 cores=1,3,5,7
/proc/25583/task/25593/stat : 25593 (java) S 25581 25583 24324 0 -1 4202560 4350 0 0 0 5 1 0 0 18 0 18 0 856567815 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25594] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25594/stat : 25594 (java) S 25581 25583 24324 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 856567816 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 0 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25595] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25595/stat : 25595 (java) S 25581 25583 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 856567816 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25596] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25596/stat : 25596 (java) S 25581 25583 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 856567816 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25597] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25597/stat : 25597 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 856567819 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528657841 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25598] ppid=25581 vsize=10546228 CPUtime=0.3 cores=1,3,5,7
/proc/25583/task/25598/stat : 25598 (java) S 25581 25583 24324 0 -1 4202560 2708 0 0 0 30 0 0 0 16 0 18 0 856567819 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25599] ppid=25581 vsize=10546228 CPUtime=0.35 cores=1,3,5,7
/proc/25583/task/25599/stat : 25599 (java) S 25581 25583 24324 0 -1 4202560 2182 0 0 0 35 0 0 0 15 0 18 0 856567819 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25600] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25600/stat : 25600 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856567819 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25601] ppid=25581 vsize=10546228 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25601/stat : 25601 (java) S 25581 25583 24324 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 856567819 10799337472 675112 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/25583/task/25595/stat : 25595 (java) S 25581 25583 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25596] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25596/stat : 25596 (java) S 25581 25583 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25597] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25597/stat : 25597 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856567819 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528657841 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25598] ppid=25581 vsize=10546320 CPUtime=0.83 cores=1,3,5,7
/proc/25583/task/25598/stat : 25598 (java) S 25581 25583 24324 0 -1 4202560 4040 0 0 0 83 0 0 0 15 0 19 0 856567819 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25599] ppid=25581 vsize=10546320 CPUtime=1.09 cores=1,3,5,7
/proc/25583/task/25599/stat : 25599 (java) S 25581 25583 24324 0 -1 4202560 3065 0 0 0 109 0 0 0 15 0 19 0 856567819 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25600] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25600/stat : 25600 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856567819 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25601] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25601/stat : 25601 (java) S 25581 25583 24324 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 856567819 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25602] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25602/stat : 25602 (java) S 25581 25583 24324 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 856570168 10799431680 959604 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1670.16
Current children cumulated vsize (KiB) 10546320
[startup+1722.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/461 25695
/proc/meminfo: memFree=17831612/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10546320 CPUtime=1730.29 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 965400 0 1 0 172899 130 0 0 23 0 19 0 856567812 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2636580 959720 2249 9 0 2627314 0
[pid=25583/tid=25584] ppid=25581 vsize=10546320 CPUtime=1719.45 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 671585 0 1 0 171860 85 0 0 25 0 19 0 856567813 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912506205381 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25583/tid=25586] ppid=25581 vsize=10546320 CPUtime=0.85 cores=1,3,5,7
/proc/25583/task/25586/stat : 25586 (java) S 25581 25583 24324 0 -1 4202560 22391 0 0 0 82 3 0 0 15 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25587] ppid=25581 vsize=10546320 CPUtime=1.14 cores=1,3,5,7
/proc/25583/task/25587/stat : 25587 (java) S 25581 25583 24324 0 -1 4202560 27175 0 0 0 110 4 0 0 15 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25588] ppid=25581 vsize=10546320 CPUtime=0.93 cores=1,3,5,7
/proc/25583/task/25588/stat : 25588 (java) S 25581 25583 24324 0 -1 4202560 22560 0 0 0 90 3 0 0 15 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
[pid=25583/tid=25589] ppid=25581 vsize=10546320 CPUtime=1.11 cores=1,3,5,7
/proc/25583/task/25589/stat : 25589 (java) S 25581 25583 24324 0 -1 4202560 38101 0 0 0 107 4 0 0 15 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
[pid=25583/tid=25590] ppid=25581 vsize=10546320 CPUtime=1.45 cores=1,3,5,7
/proc/25583/task/25590/stat : 25590 (java) S 25581 25583 24324 0 -1 4202560 68767 0 0 0 137 8 0 0 15 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25591] ppid=25581 vsize=10546320 CPUtime=1.26 cores=1,3,5,7
/proc/25583/task/25591/stat : 25591 (java) S 25581 25583 24324 0 -1 4202560 43026 0 0 0 121 5 0 0 16 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
[pid=25583/tid=25592] ppid=25581 vsize=10546320 CPUtime=0.96 cores=1,3,5,7
/proc/25583/task/25592/stat : 25592 (java) S 25581 25583 24324 0 -1 4202560 30507 0 0 0 92 4 0 0 16 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25593] ppid=25581 vsize=10546320 CPUtime=1.03 cores=1,3,5,7
/proc/25583/task/25593/stat : 25593 (java) S 25581 25583 24324 0 -1 4202560 32824 0 0 0 98 5 0 0 16 0 19 0 856567815 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25594] ppid=25581 vsize=10546320 CPUtime=0.07 cores=1,3,5,7
/proc/25583/task/25594/stat : 25594 (java) S 25581 25583 24324 0 -1 4202560 108 0 0 0 4 3 0 0 15 0 19 0 856567816 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 0 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25595] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25595/stat : 25595 (java) S 25581 25583 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25596] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25596/stat : 25596 (java) S 25581 25583 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25597] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25597/stat : 25597 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856567819 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528657841 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25598] ppid=25581 vsize=10546320 CPUtime=0.83 cores=1,3,5,7
/proc/25583/task/25598/stat : 25598 (java) S 25581 25583 24324 0 -1 4202560 4040 0 0 0 83 0 0 0 15 0 19 0 856567819 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25599] ppid=25581 vsize=10546320 CPUtime=1.09 cores=1,3,5,7
/proc/25583/task/25599/stat : 25599 (java) S 25581 25583 24324 0 -1 4202560 3065 0 0 0 109 0 0 0 15 0 19 0 856567819 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25600] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25600/stat : 25600 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856567819 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25601] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25601/stat : 25601 (java) S 25581 25583 24324 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 856567819 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25602] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25602/stat : 25602 (java) S 25581 25583 24324 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 856570168 10799431680 959720 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.29
Current children cumulated vsize (KiB) 10546320
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/461 25697
/proc/meminfo: memFree=17809356/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10546320 CPUtime=1790.44 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 965541 0 1 0 178913 131 0 0 23 0 19 0 856567812 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2636580 959839 2249 9 0 2627314 0
[pid=25583/tid=25584] ppid=25581 vsize=10546320 CPUtime=1779.38 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 671599 0 1 0 177853 85 0 0 25 0 19 0 856567813 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912506153851 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25583/tid=25586] ppid=25581 vsize=10546320 CPUtime=0.87 cores=1,3,5,7
/proc/25583/task/25586/stat : 25586 (java) S 25581 25583 24324 0 -1 4202560 22424 0 0 0 84 3 0 0 15 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25587] ppid=25581 vsize=10546320 CPUtime=1.18 cores=1,3,5,7
/proc/25583/task/25587/stat : 25587 (java) S 25581 25583 24324 0 -1 4202560 27191 0 0 0 114 4 0 0 16 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25588] ppid=25581 vsize=10546320 CPUtime=0.95 cores=1,3,5,7
/proc/25583/task/25588/stat : 25588 (java) S 25581 25583 24324 0 -1 4202560 22596 0 0 0 92 3 0 0 16 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
[pid=25583/tid=25589] ppid=25581 vsize=10546320 CPUtime=1.14 cores=1,3,5,7
/proc/25583/task/25589/stat : 25589 (java) S 25581 25583 24324 0 -1 4202560 38101 0 0 0 110 4 0 0 16 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25590] ppid=25581 vsize=10546320 CPUtime=1.48 cores=1,3,5,7
/proc/25583/task/25590/stat : 25590 (java) S 25581 25583 24324 0 -1 4202560 68784 0 0 0 140 8 0 0 15 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25591] ppid=25581 vsize=10546320 CPUtime=1.29 cores=1,3,5,7
/proc/25583/task/25591/stat : 25591 (java) S 25581 25583 24324 0 -1 4202560 43026 0 0 0 124 5 0 0 15 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25592] ppid=25581 vsize=10546320 CPUtime=0.98 cores=1,3,5,7
/proc/25583/task/25592/stat : 25592 (java) S 25581 25583 24324 0 -1 4202560 30507 0 0 0 94 4 0 0 16 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25593] ppid=25581 vsize=10546320 CPUtime=1.05 cores=1,3,5,7
/proc/25583/task/25593/stat : 25593 (java) S 25581 25583 24324 0 -1 4202560 32841 0 0 0 100 5 0 0 15 0 19 0 856567815 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
[pid=25583/tid=25594] ppid=25581 vsize=10546320 CPUtime=0.08 cores=1,3,5,7
/proc/25583/task/25594/stat : 25594 (java) S 25581 25583 24324 0 -1 4202560 112 0 0 0 5 3 0 0 15 0 19 0 856567816 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 0 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25595] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25595/stat : 25595 (java) S 25581 25583 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25596] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25596/stat : 25596 (java) S 25581 25583 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25597] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25597/stat : 25597 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856567819 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528657841 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25598] ppid=25581 vsize=10546320 CPUtime=0.83 cores=1,3,5,7
/proc/25583/task/25598/stat : 25598 (java) S 25581 25583 24324 0 -1 4202560 4040 0 0 0 83 0 0 0 15 0 19 0 856567819 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25599] ppid=25581 vsize=10546320 CPUtime=1.09 cores=1,3,5,7
/proc/25583/task/25599/stat : 25599 (java) S 25581 25583 24324 0 -1 4202560 3065 0 0 0 109 0 0 0 15 0 19 0 856567819 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25600] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25600/stat : 25600 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856567819 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25601] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25601/stat : 25601 (java) S 25581 25583 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856567819 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25602] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25602/stat : 25602 (java) S 25581 25583 24324 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 856570168 10799431680 959839 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (KiB) 10546320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.9 s]
/proc/loadavg: 2.00 2.06 2.06 3/461 25697
/proc/meminfo: memFree=17798672/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=10546320 CPUtime=1800.07 cores=1,3,5,7
/proc/25583/stat : 25583 (java) S 25581 25583 24324 0 -1 4202496 965560 0 1 0 179876 131 0 0 23 0 19 0 856567812 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 2636580 959856 2249 9 0 2627314 0
[pid=25583/tid=25584] ppid=25581 vsize=10546320 CPUtime=1788.97 cores=1,3,5,7
/proc/25583/task/25584/stat : 25584 (java) R 25581 25583 24324 0 -1 4202560 671601 0 1 0 178812 85 0 0 25 0 19 0 856567813 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 46912506205119 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25583/tid=25586] ppid=25581 vsize=10546320 CPUtime=0.87 cores=1,3,5,7
/proc/25583/task/25586/stat : 25586 (java) S 25581 25583 24324 0 -1 4202560 22424 0 0 0 84 3 0 0 15 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25587] ppid=25581 vsize=10546320 CPUtime=1.18 cores=1,3,5,7
/proc/25583/task/25587/stat : 25587 (java) S 25581 25583 24324 0 -1 4202560 27191 0 0 0 114 4 0 0 16 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25588] ppid=25581 vsize=10546320 CPUtime=0.96 cores=1,3,5,7
/proc/25583/task/25588/stat : 25588 (java) S 25581 25583 24324 0 -1 4202560 22597 0 0 0 93 3 0 0 16 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25589] ppid=25581 vsize=10546320 CPUtime=1.15 cores=1,3,5,7
/proc/25583/task/25589/stat : 25589 (java) S 25581 25583 24324 0 -1 4202560 38117 0 0 0 111 4 0 0 16 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25590] ppid=25581 vsize=10546320 CPUtime=1.48 cores=1,3,5,7
/proc/25583/task/25590/stat : 25590 (java) S 25581 25583 24324 0 -1 4202560 68784 0 0 0 140 8 0 0 15 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
[pid=25583/tid=25591] ppid=25581 vsize=10546320 CPUtime=1.29 cores=1,3,5,7
/proc/25583/task/25591/stat : 25591 (java) S 25581 25583 24324 0 -1 4202560 43026 0 0 0 124 5 0 0 15 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25592] ppid=25581 vsize=10546320 CPUtime=0.98 cores=1,3,5,7
/proc/25583/task/25592/stat : 25592 (java) S 25581 25583 24324 0 -1 4202560 30507 0 0 0 94 4 0 0 15 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25593] ppid=25581 vsize=10546320 CPUtime=1.06 cores=1,3,5,7
/proc/25583/task/25593/stat : 25593 (java) S 25581 25583 24324 0 -1 4202560 32841 0 0 0 101 5 0 0 16 0 19 0 856567815 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 5 0 0 0
[pid=25583/tid=25594] ppid=25581 vsize=10546320 CPUtime=0.08 cores=1,3,5,7
/proc/25583/task/25594/stat : 25594 (java) S 25581 25583 24324 0 -1 4202560 112 0 0 0 5 3 0 0 15 0 19 0 856567816 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 0 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25595] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25595/stat : 25595 (java) S 25581 25583 24324 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25596] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25596/stat : 25596 (java) S 25581 25583 24324 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 856567816 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25597] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25597/stat : 25597 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856567819 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528657841 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25598] ppid=25581 vsize=10546320 CPUtime=0.83 cores=1,3,5,7
/proc/25583/task/25598/stat : 25598 (java) S 25581 25583 24324 0 -1 4202560 4040 0 0 0 83 0 0 0 15 0 19 0 856567819 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 3 0 0 0
[pid=25583/tid=25599] ppid=25581 vsize=10546320 CPUtime=1.09 cores=1,3,5,7
/proc/25583/task/25599/stat : 25599 (java) S 25581 25583 24324 0 -1 4202560 3065 0 0 0 109 0 0 0 15 0 19 0 856567819 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25600] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25600/stat : 25600 (java) S 25581 25583 24324 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856567819 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650137 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25601] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25601/stat : 25601 (java) S 25581 25583 24324 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 856567819 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 1 0 0 0
[pid=25583/tid=25602] ppid=25581 vsize=10546320 CPUtime=0 cores=1,3,5,7
/proc/25583/task/25602/stat : 25602 (java) S 25581 25583 24324 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 856570168 10799431680 959856 33554432000 1073741824 1073778376 140734423804896 18446744073709551615 246528650752 0 4 0 16800975 18446604468985730112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10546320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.02 s]
/proc/loadavg: 2.00 2.06 2.06 3/461 25697
/proc/meminfo: memFree=17798672/32951124 swapFree=44043516/67111528
[pid=25583] ppid=25581 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/25583/stat : 25583 (java) Z 25581 25583 24324 0 -1 4203548 965588 0 1 0 179877 140 0 0 17 0 2 0 856567812 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25583/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.07
CPU time (s): 1800.23
CPU user time (s): 1798.78
CPU system time (s): 1.45478
CPU usage (%): 100.456
Max. virtual memory (cumulated for all children) (KiB): 10549596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.45478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 965588
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= 47007
involuntary context switches= 18718
runsolver used 7.30489 second user time and 17.5053 second system time
The end