runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3732080-1338743406/watcher-3732080-1338743406 -o /tmp/evaluation-result-3732080-1338743406/solver-3732080-1338743406 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3732080-1338743406.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.08 2.05 4/195 1551
/proc/meminfo: memFree=27025612/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1551/stat : 1551 (java6) D 1549 1551 959 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340465060 9515008 183 33554432000 1073741824 1073778376 140734745883168 140734745874200 212073266869 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 2323 183 140 9 0 71 0
[startup+0.0785391 s]
/proc/loadavg: 2.08 2.08 2.05 4/195 1551
/proc/meminfo: memFree=27025612/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2648568 CPUtime=0.05 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 3915 0 1 0 4 1 0 0 20 0 18 0 340465060 2712133632 5122 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 662142 5122 1772 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648568
[startup+0.100261 s]
/proc/loadavg: 2.08 2.08 2.05 4/195 1551
/proc/meminfo: memFree=27025612/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 4749 0 1 0 8 1 0 0 20 0 18 0 340465060 2712133632 5955 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 662142 5955 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300206 s]
/proc/loadavg: 2.08 2.08 2.05 4/195 1551
/proc/meminfo: memFree=27025612/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 6196 0 1 0 44 2 0 0 20 0 19 0 340465060 2780295168 8328 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 678783 8328 2225 9 0 669476 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2715132
[startup+0.700196 s]
/proc/loadavg: 2.08 2.08 2.05 4/195 1551
/proc/meminfo: memFree=27025612/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2715132 CPUtime=1.17 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 9449 0 1 0 114 3 0 0 20 0 19 0 340465060 2780295168 9828 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 678783 9828 2239 9 0 669476 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 2715132
[startup+1.50064 s]
/proc/loadavg: 2.15 2.09 2.05 3/214 1574
/proc/meminfo: memFree=26992768/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2715132 CPUtime=2.02 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 9562 0 1 0 199 3 0 0 20 0 19 0 340465060 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 678783 10859 2241 9 0 669476 0
[pid=1551/tid=1553] ppid=1549 vsize=2715132 CPUtime=1.47 cores=0,2,4,6
/proc/1551/task/1553/stat : 1553 (java) R 1549 1551 959 0 -1 4202560 2821 0 1 0 145 2 0 0 20 0 19 0 340465061 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030556877264 140030497275492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1554] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1554/stat : 1554 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030423791784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1555] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1555/stat : 1555 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030422739240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1559] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1559/stat : 1559 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030421686696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1551/tid=1560] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1560/stat : 1560 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030420634152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1562] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1562/stat : 1562 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030419581608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1563] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1563/stat : 1563 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030418529064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1564] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1564/stat : 1564 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030417476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1565] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1565/stat : 1565 (java) S 1549 1551 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030416423976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1566] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1566/stat : 1566 (java) S 1549 1551 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030404012136 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1567] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1567/stat : 1567 (java) S 1549 1551 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030402958456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1568] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1568/stat : 1568 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030401905800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1569] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1569/stat : 1569 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030400854544 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1570] ppid=1549 vsize=2715132 CPUtime=0.34 cores=0,2,4,6
/proc/1551/task/1570/stat : 1570 (java) S 1549 1551 959 0 -1 4202560 3421 0 0 0 34 0 0 0 20 0 19 0 340465066 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030399801912 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1571] ppid=1549 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/1551/task/1571/stat : 1571 (java) S 1549 1551 959 0 -1 4202560 2124 0 0 0 18 0 0 0 20 0 19 0 340465066 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030398749368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1572] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1572/stat : 1572 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030397697016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1573] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1573/stat : 1573 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030396644680 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1574] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1574/stat : 1574 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465088 2780295168 10859 33554432000 1073741824 1073778376 140734612735696 140030395589416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 2715132
[startup+3.10061 s]
/proc/loadavg: 2.15 2.09 2.05 3/214 1574
/proc/meminfo: memFree=26987928/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2715132 CPUtime=3.62 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 9564 0 1 0 359 3 0 0 20 0 19 0 340465060 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 678783 11883 2241 9 0 669476 0
[pid=1551/tid=1553] ppid=1549 vsize=2715132 CPUtime=3.06 cores=0,2,4,6
/proc/1551/task/1553/stat : 1553 (java) R 1549 1551 959 0 -1 4202560 2823 0 1 0 304 2 0 0 20 0 19 0 340465061 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030556877256 140030497097093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1554] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1554/stat : 1554 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030423791784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1555] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1555/stat : 1555 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030422739240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1559] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1559/stat : 1559 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030421686696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1551/tid=1560] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1560/stat : 1560 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030420634152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1562] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1562/stat : 1562 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030419581608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1563] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1563/stat : 1563 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030418529064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1564] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1564/stat : 1564 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030417476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1565] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1565/stat : 1565 (java) S 1549 1551 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030416423976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1566] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1566/stat : 1566 (java) S 1549 1551 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030404012136 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1567] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1567/stat : 1567 (java) S 1549 1551 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030402958456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1568] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1568/stat : 1568 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030401905800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1569] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1569/stat : 1569 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030400854544 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1570] ppid=1549 vsize=2715132 CPUtime=0.34 cores=0,2,4,6
/proc/1551/task/1570/stat : 1570 (java) S 1549 1551 959 0 -1 4202560 3421 0 0 0 34 0 0 0 20 0 19 0 340465066 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030399801912 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1571] ppid=1549 vsize=2715132 CPUtime=0.18 cores=0,2,4,6
/proc/1551/task/1571/stat : 1571 (java) S 1549 1551 959 0 -1 4202560 2124 0 0 0 18 0 0 0 20 0 19 0 340465066 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030398749368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1572] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1572/stat : 1572 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030397697016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1573] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1573/stat : 1573 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030396644680 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1574] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1574/stat : 1574 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465088 2780295168 11883 33554432000 1073741824 1073778376 140734612735696 140030395589416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 2715132
[startup+6.30074 s]
/proc/loadavg: 2.22 2.11 2.06 3/214 1574
/proc/meminfo: memFree=26977548/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2715132 CPUtime=6.91 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 10563 0 1 0 688 3 0 0 20 0 19 0 340465060 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 678783 15549 2245 9 0 669476 0
[pid=1551/tid=1553] ppid=1549 vsize=2715132 CPUtime=6.25 cores=0,2,4,6
/proc/1551/task/1553/stat : 1553 (java) R 1549 1551 959 0 -1 4202560 2832 0 1 0 623 2 0 0 20 0 19 0 340465061 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030556876944 140030497276068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1554] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1554/stat : 1554 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030423791784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1555] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1555/stat : 1555 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030422739240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1559] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1559/stat : 1559 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030421686696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1551/tid=1560] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1560/stat : 1560 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030420634152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1562] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1562/stat : 1562 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030419581608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1563] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1563/stat : 1563 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030418529064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1564] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1564/stat : 1564 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030417476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1565] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1565/stat : 1565 (java) S 1549 1551 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030416423976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1566] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1566/stat : 1566 (java) S 1549 1551 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030404012136 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1567] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1567/stat : 1567 (java) S 1549 1551 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030402958456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1568] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1568/stat : 1568 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030401905800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1569] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1569/stat : 1569 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030400854544 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1570] ppid=1549 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/1551/task/1570/stat : 1570 (java) S 1549 1551 959 0 -1 4202560 4099 0 0 0 40 0 0 0 20 0 19 0 340465066 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030399801912 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1571] ppid=1549 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/1551/task/1571/stat : 1571 (java) S 1549 1551 959 0 -1 4202560 2435 0 0 0 23 0 0 0 20 0 19 0 340465066 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030398749368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1572] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1572/stat : 1572 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030397697016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1573] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1573/stat : 1573 (java) S 1549 1551 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030396644680 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1574] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1574/stat : 1574 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465088 2780295168 15549 33554432000 1073741824 1073778376 140734612735696 140030395589416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.91
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
/proc/1551/task/1565/stat : 1565 (java) S 1549 1551 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030416423976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1566] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1566/stat : 1566 (java) S 1549 1551 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030404012136 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1567] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1567/stat : 1567 (java) S 1549 1551 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030402958456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1568] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1568/stat : 1568 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030401905800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1569] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1569/stat : 1569 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030400854544 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1570] ppid=1549 vsize=2715132 CPUtime=0.42 cores=0,2,4,6
/proc/1551/task/1570/stat : 1570 (java) S 1549 1551 959 0 -1 4202560 4104 0 0 0 42 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030399801912 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1571] ppid=1549 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/1551/task/1571/stat : 1571 (java) S 1549 1551 959 0 -1 4202560 2435 0 0 0 23 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030398749368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1572] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1572/stat : 1572 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030397697016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1573] ppid=1549 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/1551/task/1573/stat : 1573 (java) S 1549 1551 959 0 -1 4202560 8 0 0 0 2 1 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030396644680 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1574] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1574/stat : 1574 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465088 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030395589416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 123.73
Current children cumulated vsize (KiB) 2715132
[startup+124.701 s]
/proc/loadavg: 2.03 2.07 2.05 3/213 1636
/proc/meminfo: memFree=28137752/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2715132 CPUtime=125.33 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 10634 0 1 0 12526 7 0 0 20 0 19 0 340465060 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 678783 44244 2245 9 0 669476 0
[pid=1551/tid=1553] ppid=1549 vsize=2715132 CPUtime=124.32 cores=0,2,4,6
/proc/1551/task/1553/stat : 1553 (java) R 1549 1551 959 0 -1 4202560 2892 0 1 0 12427 5 0 0 20 0 19 0 340465061 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030556875616 140030497350815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1554] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1554/stat : 1554 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030423791784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1555] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1555/stat : 1555 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030422739240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1559] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1559/stat : 1559 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030421686696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1551/tid=1560] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1560/stat : 1560 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030420634152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1562] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1562/stat : 1562 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030419581608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1563] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1563/stat : 1563 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030418529064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1564] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1564/stat : 1564 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030417476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1565] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1565/stat : 1565 (java) S 1549 1551 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030416423976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1566] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1566/stat : 1566 (java) S 1549 1551 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030404012136 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1567] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1567/stat : 1567 (java) S 1549 1551 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030402958456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1568] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1568/stat : 1568 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030401905800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1569] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1569/stat : 1569 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030400854544 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1570] ppid=1549 vsize=2715132 CPUtime=0.42 cores=0,2,4,6
/proc/1551/task/1570/stat : 1570 (java) S 1549 1551 959 0 -1 4202560 4104 0 0 0 42 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030399801912 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1571] ppid=1549 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/1551/task/1571/stat : 1571 (java) S 1549 1551 959 0 -1 4202560 2435 0 0 0 23 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030398749368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1572] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1572/stat : 1572 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030397697016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1573] ppid=1549 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/1551/task/1573/stat : 1573 (java) S 1549 1551 959 0 -1 4202560 8 0 0 0 2 1 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030396644680 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1574] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1574/stat : 1574 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465088 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030395589416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 125.33
Current children cumulated vsize (KiB) 2715132
[startup+125.101 s]
/proc/loadavg: 2.03 2.07 2.05 3/213 1636
/proc/meminfo: memFree=28137752/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2715132 CPUtime=125.73 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 10634 0 1 0 12566 7 0 0 20 0 19 0 340465060 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 678783 44244 2245 9 0 669476 0
[pid=1551/tid=1553] ppid=1549 vsize=2715132 CPUtime=124.71 cores=0,2,4,6
/proc/1551/task/1553/stat : 1553 (java) R 1549 1551 959 0 -1 4202560 2892 0 1 0 12466 5 0 0 20 0 19 0 340465061 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030556875616 140030497350832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1554] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1554/stat : 1554 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030423791784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1555] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1555/stat : 1555 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030422739240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1559] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1559/stat : 1559 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030421686696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1551/tid=1560] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1560/stat : 1560 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030420634152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1562] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1562/stat : 1562 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030419581608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1563] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1563/stat : 1563 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030418529064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1564] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1564/stat : 1564 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030417476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1565] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1565/stat : 1565 (java) S 1549 1551 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340465062 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030416423976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1566] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1566/stat : 1566 (java) S 1549 1551 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030404012136 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1567] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1567/stat : 1567 (java) S 1549 1551 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030402958456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1568] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1568/stat : 1568 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465063 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030401905800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1569] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1569/stat : 1569 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030400854544 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1570] ppid=1549 vsize=2715132 CPUtime=0.42 cores=0,2,4,6
/proc/1551/task/1570/stat : 1570 (java) S 1549 1551 959 0 -1 4202560 4104 0 0 0 42 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030399801912 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1571] ppid=1549 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/1551/task/1571/stat : 1571 (java) S 1549 1551 959 0 -1 4202560 2435 0 0 0 23 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030398749368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1572] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1572/stat : 1572 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030397697016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1573] ppid=1549 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/1551/task/1573/stat : 1573 (java) S 1549 1551 959 0 -1 4202560 8 0 0 0 2 1 0 0 20 0 19 0 340465066 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030396644680 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1574] ppid=1549 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1574/stat : 1574 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340465088 2780295168 44244 33554432000 1073741824 1073778376 140734612735696 140030395589416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 125.73
Current children cumulated vsize (KiB) 2715132
[startup+125.501 s]
/proc/loadavg: 2.03 2.07 2.05 3/213 1636
/proc/meminfo: memFree=28137752/32873648 swapFree=7388/7388
[pid=1551] ppid=1549 vsize=2781696 CPUtime=126.13 cores=0,2,4,6
/proc/1551/stat : 1551 (java) S 1549 1551 959 0 -1 4202496 10646 0 1 0 12606 7 0 0 20 0 20 0 340465060 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140734612726832 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1551/statm: 695424 44766 2245 9 0 686117 0
[pid=1551/tid=1553] ppid=1549 vsize=2781696 CPUtime=125.11 cores=0,2,4,6
/proc/1551/task/1553/stat : 1553 (java) S 1549 1551 959 0 -1 4202560 2895 0 1 0 12506 5 0 0 20 0 20 0 340465061 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030556877528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1554] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1554/stat : 1554 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030423791784 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1555] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1555/stat : 1555 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030422739240 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1559] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1559/stat : 1559 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030421686696 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1551/tid=1560] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1560/stat : 1560 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030420634152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1562] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1562/stat : 1562 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030419581608 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1563] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1563/stat : 1563 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030418529064 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1564] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1564/stat : 1564 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030417476520 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1565] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1565/stat : 1565 (java) S 1549 1551 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340465062 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030416423976 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1566] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1566/stat : 1566 (java) S 1549 1551 959 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 340465063 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030404012136 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1567] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1567/stat : 1567 (java) S 1549 1551 959 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340465063 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030402958456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1568] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1568/stat : 1568 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340465063 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030401905800 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1569] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1569/stat : 1569 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465066 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030400854544 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1570] ppid=1549 vsize=2781696 CPUtime=0.42 cores=0,2,4,6
/proc/1551/task/1570/stat : 1570 (java) R 1549 1551 959 0 -1 4202560 4104 0 0 0 42 0 0 0 20 0 20 0 340465066 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030399801912 140030559591536 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1551/tid=1571] ppid=1549 vsize=2781696 CPUtime=0.23 cores=0,2,4,6
/proc/1551/task/1571/stat : 1571 (java) S 1549 1551 959 0 -1 4202560 2435 0 0 0 23 0 0 0 20 0 20 0 340465066 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030398749368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1572] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1572/stat : 1572 (java) S 1549 1551 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340465066 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030397697016 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1551/tid=1573] ppid=1549 vsize=2781696 CPUtime=0.03 cores=0,2,4,6
/proc/1551/task/1573/stat : 1573 (java) S 1549 1551 959 0 -1 4202560 8 0 0 0 2 1 0 0 20 0 20 0 340465066 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030396644680 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1551/tid=1574] ppid=1549 vsize=2781696 CPUtime=0 cores=0,2,4,6
/proc/1551/task/1574/stat : 1574 (java) S 1549 1551 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340465088 2848456704 44766 33554432000 1073741824 1073778376 140734612735696 140030395589416 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 126.13
Current children cumulated vsize (KiB) 2781696
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1551 and gives
# childrusage.ru_utime.tv_sec=125
# childrusage.ru_utime.tv_usec=773879
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=100984
# CPU time returned by wait4() is 125.875
# while last known CPU time is 126.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 125.504
CPU time (s): 126.13
CPU user time (s): 126.06
CPU system time (s): 0.07
CPU usage (%): 100.499
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 125.774
system time used= 0.100984
maximum resident set size= 179088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10656
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2939
involuntary context switches= 486
runsolver used 0.39094 second user time and 1.07784 second system time
The end