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-3456235-1307226671/watcher-3456235-1307226671 -o /tmp/evaluation-result-3456235-1307226671/solver-3456235-1307226671 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456235-1307226671.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.06 2.11 2.06 2/523 18737
/proc/meminfo: memFree=27608576/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 7068 0 1 0 0 0 0 0 17 0 2 0 834269700 10694979584 6769 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2611079 6787 917 9 0 2602235 0
[pid=18737/tid=18738] ppid=18735 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 7273 0 1 0 0 0 0 0 18 0 2 0 834269700 10694979584 8089 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.065751 s]
/proc/loadavg: 2.06 2.11 2.06 2/523 18737
/proc/meminfo: memFree=27608576/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 11759 0 1 0 4 1 0 0 17 0 18 0 834269700 10724302848 11455 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2618238 11456 1742 9 0 2608972 0
[pid=18737/tid=18738] ppid=18735 vsize=10472952 CPUtime=0.04 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 10586 0 1 0 4 0 0 0 25 0 18 0 834269700 10724302848 11457 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 47068082601059 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.100745 s]
/proc/loadavg: 2.06 2.11 2.06 2/523 18737
/proc/meminfo: memFree=27608576/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10604988 CPUtime=0.1 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 13151 0 1 0 9 1 0 0 17 0 18 0 834269700 10859507712 12817 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2651247 12817 2093 9 0 2641981 0
[pid=18737/tid=18738] ppid=18735 vsize=10604988 CPUtime=0.08 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 11194 0 1 0 7 1 0 0 18 0 18 0 834269700 10859507712 12817 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 47068080842771 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10604988
[startup+0.309493 s]
/proc/loadavg: 2.06 2.11 2.06 2/523 18737
/proc/meminfo: memFree=27608576/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10606568 CPUtime=0.51 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 16633 0 1 0 49 2 0 0 17 0 18 0 834269700 10861125632 15754 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2651642 15755 2224 9 0 2642376 0
[pid=18737/tid=18738] ppid=18735 vsize=10606568 CPUtime=0.29 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 12974 0 1 0 28 1 0 0 18 0 18 0 834269700 10861125632 15755 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 47068082940755 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10606568
[startup+0.700607 s]
/proc/loadavg: 2.06 2.11 2.06 2/523 18737
/proc/meminfo: memFree=27608576/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10613092 CPUtime=1.65 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 30037 0 1 0 161 4 0 0 17 0 19 0 834269700 10867806208 26278 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2653273 26279 2234 9 0 2644007 0
[pid=18737/tid=18738] ppid=18735 vsize=10613092 CPUtime=0.68 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 18839 0 1 0 65 3 0 0 19 0 19 0 834269700 10867806208 26280 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 46912505834254 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10613092
[startup+1.5015 s]
/proc/loadavg: 2.05 2.11 2.06 3/542 18756
/proc/meminfo: memFree=27451944/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10613092 CPUtime=2.88 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 71848 0 1 0 278 10 0 0 17 0 19 0 834269700 10867806208 67470 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2653273 67471 2240 9 0 2644007 0
[pid=18737/tid=18738] ppid=18735 vsize=10613092 CPUtime=1.48 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 60340 0 1 0 139 9 0 0 20 0 19 0 834269700 10867806208 67472 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 46912505918911 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18737/tid=18740] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18740/stat : 18740 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834269702 10867806208 67472 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18741] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18741/stat : 18741 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 67472 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18742] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18742/stat : 18742 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 67473 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18743] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18743/stat : 18743 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 67473 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18744] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18744/stat : 18744 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 67473 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18745] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18745/stat : 18745 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 67474 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18746] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18746/stat : 18746 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834269702 10867806208 67474 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18747] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18747/stat : 18747 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834269702 10867806208 67475 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18748] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18748/stat : 18748 (java) S 18735 18737 17309 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834269703 10867806208 67475 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 0 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18749] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18749/stat : 18749 (java) S 18735 18737 17309 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 834269703 10867806208 67476 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18750] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18750/stat : 18750 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 834269703 10867806208 67477 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18751] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18751/stat : 18751 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834269705 10867806208 67477 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646338993 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18752] ppid=18735 vsize=10613092 CPUtime=0.7 cores=1,3,5,7
/proc/18737/task/18752/stat : 18752 (java) S 18735 18737 17309 0 -1 4202560 3301 0 0 0 70 0 0 0 15 0 19 0 834269705 10867806208 67478 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18753] ppid=18735 vsize=10613092 CPUtime=0.68 cores=1,3,5,7
/proc/18737/task/18753/stat : 18753 (java) S 18735 18737 17309 0 -1 4202560 7049 0 0 0 68 0 0 0 15 0 19 0 834269705 10867806208 67478 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18754] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18754/stat : 18754 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834269705 10867806208 67478 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18755] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18755/stat : 18755 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834269705 10867806208 67479 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18756] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18756/stat : 18756 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834269753 10867806208 67479 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 10613092
[startup+3.10122 s]
/proc/loadavg: 2.05 2.11 2.06 3/542 18756
/proc/meminfo: memFree=27227504/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10613092 CPUtime=4.59 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 144261 0 1 0 440 19 0 0 17 0 19 0 834269700 10867806208 139881 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2653273 139881 2240 9 0 2644007 0
[pid=18737/tid=18738] ppid=18735 vsize=10613092 CPUtime=3.08 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 132742 0 1 0 291 17 0 0 25 0 19 0 834269700 10867806208 139882 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 46912505605183 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18737/tid=18740] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18740/stat : 18740 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834269702 10867806208 139882 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18741] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18741/stat : 18741 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 139883 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18742] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18742/stat : 18742 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 139883 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18743] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18743/stat : 18743 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 139884 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18744] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18744/stat : 18744 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 139884 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18745] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18745/stat : 18745 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 139884 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18746] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18746/stat : 18746 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834269702 10867806208 139885 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18747] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18747/stat : 18747 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834269702 10867806208 139885 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18748] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18748/stat : 18748 (java) S 18735 18737 17309 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 834269703 10867806208 139885 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 0 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18749] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18749/stat : 18749 (java) S 18735 18737 17309 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 834269703 10867806208 139885 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18750] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18750/stat : 18750 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 834269703 10867806208 139886 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18751] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18751/stat : 18751 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834269705 10867806208 139886 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646338993 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18752] ppid=18735 vsize=10613092 CPUtime=0.79 cores=1,3,5,7
/proc/18737/task/18752/stat : 18752 (java) S 18735 18737 17309 0 -1 4202560 3308 0 0 0 79 0 0 0 15 0 19 0 834269705 10867806208 139887 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18753] ppid=18735 vsize=10613092 CPUtime=0.69 cores=1,3,5,7
/proc/18737/task/18753/stat : 18753 (java) S 18735 18737 17309 0 -1 4202560 7052 0 0 0 69 0 0 0 15 0 19 0 834269705 10867806208 139887 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18754] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18754/stat : 18754 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834269705 10867806208 139888 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18755] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18755/stat : 18755 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834269705 10867806208 139888 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18756] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18756/stat : 18756 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834269753 10867806208 139889 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 10613092
[startup+6.30066 s]
/proc/loadavg: 2.05 2.10 2.06 3/542 18756
/proc/meminfo: memFree=26781280/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10613092 CPUtime=7.82 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 237954 0 1 0 755 27 0 0 17 0 19 0 834269700 10867806208 233460 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2653273 233460 2241 9 0 2644007 0
[pid=18737/tid=18738] ppid=18735 vsize=10613092 CPUtime=6.28 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 226427 0 1 0 602 26 0 0 25 0 19 0 834269700 10867806208 233461 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 46912505918919 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18737/tid=18740] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18740/stat : 18740 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834269702 10867806208 233462 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18741] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18741/stat : 18741 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 233463 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18742] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18742/stat : 18742 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 233464 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18743] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18743/stat : 18743 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 233464 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18744] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18744/stat : 18744 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 233464 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18745] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18745/stat : 18745 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834269702 10867806208 233465 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18746] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18746/stat : 18746 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834269702 10867806208 233466 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18747] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18747/stat : 18747 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834269702 10867806208 233466 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18748] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18748/stat : 18748 (java) S 18735 18737 17309 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 834269703 10867806208 233467 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 0 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18749] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18749/stat : 18749 (java) S 18735 18737 17309 0 -1 4202560 16 0 0 0 0 0 0 0 22 0 19 0 834269703 10867806208 233468 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18750] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18750/stat : 18750 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 834269703 10867806208 233468 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18751] ppid=18735 vsize=10613092 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18751/stat : 18751 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834269705 10867806208 233469 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646338993 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18752] ppid=18735 vsize=10613092 CPUtime=0.82 cores=1,3,5,7
/proc/18737/task/18752/stat : 18752 (java) S 18735 18737 17309 0 -1 4202560 3315 0 0 0 82 0 0 0 15 0 19 0 834269705 10867806208 233469 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18753] ppid=18735 vsize=10613092 CPUtime=0.69 cores=1,3,5,7
/proc/18737/task/18753/stat : 18753 (java) S 18735 18737 17309 0 -1 4202560 7052 0 0 0 69 0 0 0 15 0 19 0 834269705 10867806208 233470 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/18737/task/18749/stat : 18749 (java) S 18735 18737 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18750] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18750/stat : 18750 (java) S 18735 18737 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18751] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18751/stat : 18751 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834269705 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646338993 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18752] ppid=18735 vsize=10613560 CPUtime=0.97 cores=1,3,5,7
/proc/18737/task/18752/stat : 18752 (java) S 18735 18737 17309 0 -1 4202560 3456 0 0 0 97 0 0 0 15 0 19 0 834269705 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18753] ppid=18735 vsize=10613560 CPUtime=0.87 cores=1,3,5,7
/proc/18737/task/18753/stat : 18753 (java) S 18735 18737 17309 0 -1 4202560 7074 0 0 0 87 0 0 0 15 0 19 0 834269705 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18754] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18754/stat : 18754 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834269705 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18755] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18755/stat : 18755 (java) S 18735 18737 17309 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834269705 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18756] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18756/stat : 18756 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834269753 10868285440 909815 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1665.53
Current children cumulated vsize (KiB) 10613560
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/542 18802
/proc/meminfo: memFree=22786800/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10613560 CPUtime=1725.58 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 917365 0 1 0 172451 107 0 0 17 0 19 0 834269700 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2653390 910784 2255 9 0 2644124 0
[pid=18737/tid=18738] ppid=18735 vsize=10613560 CPUtime=1721.63 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 821641 0 1 0 172068 95 0 0 25 0 19 0 834269700 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 46912505918620 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18737/tid=18740] ppid=18735 vsize=10613560 CPUtime=0.29 cores=1,3,5,7
/proc/18737/task/18740/stat : 18740 (java) S 18735 18737 17309 0 -1 4202560 8738 0 0 0 28 1 0 0 16 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18741] ppid=18735 vsize=10613560 CPUtime=0.33 cores=1,3,5,7
/proc/18737/task/18741/stat : 18741 (java) S 18735 18737 17309 0 -1 4202560 13125 0 0 0 32 1 0 0 16 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18742] ppid=18735 vsize=10613560 CPUtime=0.18 cores=1,3,5,7
/proc/18737/task/18742/stat : 18742 (java) S 18735 18737 17309 0 -1 4202560 5339 0 0 0 18 0 0 0 16 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18743] ppid=18735 vsize=10613560 CPUtime=0.3 cores=1,3,5,7
/proc/18737/task/18743/stat : 18743 (java) S 18735 18737 17309 0 -1 4202560 14369 0 0 0 30 0 0 0 16 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18744] ppid=18735 vsize=10613560 CPUtime=0.24 cores=1,3,5,7
/proc/18737/task/18744/stat : 18744 (java) S 18735 18737 17309 0 -1 4202560 11849 0 0 0 23 1 0 0 15 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18745] ppid=18735 vsize=10613560 CPUtime=0.21 cores=1,3,5,7
/proc/18737/task/18745/stat : 18745 (java) S 18735 18737 17309 0 -1 4202560 8777 0 0 0 21 0 0 0 15 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18746] ppid=18735 vsize=10613560 CPUtime=0.19 cores=1,3,5,7
/proc/18737/task/18746/stat : 18746 (java) S 18735 18737 17309 0 -1 4202560 8409 0 0 0 18 1 0 0 15 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18747] ppid=18735 vsize=10613560 CPUtime=0.25 cores=1,3,5,7
/proc/18737/task/18747/stat : 18747 (java) S 18735 18737 17309 0 -1 4202560 13251 0 0 0 24 1 0 0 16 0 19 0 834269702 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18748] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18748/stat : 18748 (java) S 18735 18737 17309 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 834269703 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 0 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18749] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18749/stat : 18749 (java) S 18735 18737 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18750] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18750/stat : 18750 (java) S 18735 18737 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18751] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18751/stat : 18751 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834269705 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646338993 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18752] ppid=18735 vsize=10613560 CPUtime=0.97 cores=1,3,5,7
/proc/18737/task/18752/stat : 18752 (java) S 18735 18737 17309 0 -1 4202560 3456 0 0 0 97 0 0 0 15 0 19 0 834269705 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18753] ppid=18735 vsize=10613560 CPUtime=0.87 cores=1,3,5,7
/proc/18737/task/18753/stat : 18753 (java) S 18735 18737 17309 0 -1 4202560 7074 0 0 0 87 0 0 0 15 0 19 0 834269705 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18754] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18754/stat : 18754 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834269705 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18755] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18755/stat : 18755 (java) S 18735 18737 17309 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834269705 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18756] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18756/stat : 18756 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834269753 10868285440 910784 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.58
Current children cumulated vsize (KiB) 10613560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/542 18851
/proc/meminfo: memFree=25241472/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10613560 CPUtime=1785.64 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 917537 0 1 0 178457 107 0 0 17 0 19 0 834269700 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2653390 910944 2255 9 0 2644124 0
[pid=18737/tid=18738] ppid=18735 vsize=10613560 CPUtime=1781.62 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 821643 0 1 0 178067 95 0 0 25 0 19 0 834269700 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 46912505918690 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18737/tid=18740] ppid=18735 vsize=10613560 CPUtime=0.29 cores=1,3,5,7
/proc/18737/task/18740/stat : 18740 (java) S 18735 18737 17309 0 -1 4202560 8738 0 0 0 28 1 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18741] ppid=18735 vsize=10613560 CPUtime=0.34 cores=1,3,5,7
/proc/18737/task/18741/stat : 18741 (java) S 18735 18737 17309 0 -1 4202560 13162 0 0 0 33 1 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18742] ppid=18735 vsize=10613560 CPUtime=0.18 cores=1,3,5,7
/proc/18737/task/18742/stat : 18742 (java) S 18735 18737 17309 0 -1 4202560 5339 0 0 0 18 0 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18743] ppid=18735 vsize=10613560 CPUtime=0.3 cores=1,3,5,7
/proc/18737/task/18743/stat : 18743 (java) S 18735 18737 17309 0 -1 4202560 14369 0 0 0 30 0 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18744] ppid=18735 vsize=10613560 CPUtime=0.24 cores=1,3,5,7
/proc/18737/task/18744/stat : 18744 (java) S 18735 18737 17309 0 -1 4202560 11849 0 0 0 23 1 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18745] ppid=18735 vsize=10613560 CPUtime=0.22 cores=1,3,5,7
/proc/18737/task/18745/stat : 18745 (java) S 18735 18737 17309 0 -1 4202560 8826 0 0 0 22 0 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18746] ppid=18735 vsize=10613560 CPUtime=0.21 cores=1,3,5,7
/proc/18737/task/18746/stat : 18746 (java) S 18735 18737 17309 0 -1 4202560 8450 0 0 0 20 1 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18747] ppid=18735 vsize=10613560 CPUtime=0.26 cores=1,3,5,7
/proc/18737/task/18747/stat : 18747 (java) S 18735 18737 17309 0 -1 4202560 13284 0 0 0 25 1 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18748] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18748/stat : 18748 (java) S 18735 18737 17309 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 834269703 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 0 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18749] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18749/stat : 18749 (java) S 18735 18737 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18750] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18750/stat : 18750 (java) S 18735 18737 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18751] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18751/stat : 18751 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646338993 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18752] ppid=18735 vsize=10613560 CPUtime=0.99 cores=1,3,5,7
/proc/18737/task/18752/stat : 18752 (java) S 18735 18737 17309 0 -1 4202560 3463 0 0 0 99 0 0 0 15 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18753] ppid=18735 vsize=10613560 CPUtime=0.87 cores=1,3,5,7
/proc/18737/task/18753/stat : 18753 (java) S 18735 18737 17309 0 -1 4202560 7074 0 0 0 87 0 0 0 15 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18754] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18754/stat : 18754 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18755] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18755/stat : 18755 (java) S 18735 18737 17309 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18756] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18756/stat : 18756 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834269753 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 10613560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/542 18861
/proc/meminfo: memFree=23955860/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=10613560 CPUtime=1800.06 cores=1,3,5,7
/proc/18737/stat : 18737 (java) S 18735 18737 17309 0 -1 4202496 917539 0 1 0 179899 107 0 0 17 0 19 0 834269700 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/statm: 2653390 910944 2255 9 0 2644124 0
[pid=18737/tid=18738] ppid=18735 vsize=10613560 CPUtime=1796.04 cores=1,3,5,7
/proc/18737/task/18738/stat : 18738 (java) R 18735 18737 17309 0 -1 4202560 821643 0 1 0 179509 95 0 0 25 0 19 0 834269700 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 46912505862707 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18737/tid=18740] ppid=18735 vsize=10613560 CPUtime=0.29 cores=1,3,5,7
/proc/18737/task/18740/stat : 18740 (java) S 18735 18737 17309 0 -1 4202560 8738 0 0 0 28 1 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18741] ppid=18735 vsize=10613560 CPUtime=0.34 cores=1,3,5,7
/proc/18737/task/18741/stat : 18741 (java) S 18735 18737 17309 0 -1 4202560 13162 0 0 0 33 1 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18742] ppid=18735 vsize=10613560 CPUtime=0.18 cores=1,3,5,7
/proc/18737/task/18742/stat : 18742 (java) S 18735 18737 17309 0 -1 4202560 5339 0 0 0 18 0 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18743] ppid=18735 vsize=10613560 CPUtime=0.3 cores=1,3,5,7
/proc/18737/task/18743/stat : 18743 (java) S 18735 18737 17309 0 -1 4202560 14369 0 0 0 30 0 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18744] ppid=18735 vsize=10613560 CPUtime=0.24 cores=1,3,5,7
/proc/18737/task/18744/stat : 18744 (java) S 18735 18737 17309 0 -1 4202560 11849 0 0 0 23 1 0 0 15 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18745] ppid=18735 vsize=10613560 CPUtime=0.22 cores=1,3,5,7
/proc/18737/task/18745/stat : 18745 (java) S 18735 18737 17309 0 -1 4202560 8826 0 0 0 22 0 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18746] ppid=18735 vsize=10613560 CPUtime=0.21 cores=1,3,5,7
/proc/18737/task/18746/stat : 18746 (java) S 18735 18737 17309 0 -1 4202560 8450 0 0 0 20 1 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18747] ppid=18735 vsize=10613560 CPUtime=0.26 cores=1,3,5,7
/proc/18737/task/18747/stat : 18747 (java) S 18735 18737 17309 0 -1 4202560 13284 0 0 0 25 1 0 0 16 0 19 0 834269702 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 7 0 0 0
[pid=18737/tid=18748] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18748/stat : 18748 (java) S 18735 18737 17309 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 834269703 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 0 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18749] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18749/stat : 18749 (java) S 18735 18737 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18750] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18750/stat : 18750 (java) S 18735 18737 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 834269703 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18751] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18751/stat : 18751 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646338993 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18752] ppid=18735 vsize=10613560 CPUtime=0.99 cores=1,3,5,7
/proc/18737/task/18752/stat : 18752 (java) S 18735 18737 17309 0 -1 4202560 3463 0 0 0 99 0 0 0 15 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 1 0 0 0
[pid=18737/tid=18753] ppid=18735 vsize=10613560 CPUtime=0.87 cores=1,3,5,7
/proc/18737/task/18753/stat : 18753 (java) S 18735 18737 17309 0 -1 4202560 7074 0 0 0 87 0 0 0 15 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18754] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18754/stat : 18754 (java) S 18735 18737 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331289 0 4 0 16800975 18446604460774859072 0 0 -1 3 0 0 0
[pid=18737/tid=18755] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18755/stat : 18755 (java) S 18735 18737 17309 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 834269705 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
[pid=18737/tid=18756] ppid=18735 vsize=10613560 CPUtime=0 cores=1,3,5,7
/proc/18737/task/18756/stat : 18756 (java) S 18735 18737 17309 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834269753 10868285440 910944 33554432000 1073741824 1073778376 140736105155344 18446744073709551615 216646331904 0 4 0 16800975 18446604460774859072 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10613560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.83 s]
/proc/loadavg: 2.00 2.02 2.00 3/542 18861
/proc/meminfo: memFree=23955860/32951124 swapFree=51712236/67111528
[pid=18737] ppid=18735 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/18737/stat : 18737 (java) Z 18735 18737 17309 0 -1 4203548 917571 0 1 0 179902 115 0 0 15 0 2 0 834269700 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18737/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): 1796.88
CPU time (s): 1800.24
CPU user time (s): 1799.02
CPU system time (s): 1.21181
CPU usage (%): 100.186
Max. virtual memory (cumulated for all children) (KiB): 10613560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.21182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917571
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= 37988
involuntary context switches= 7124
runsolver used 8.90664 second user time and 21.8787 second system time
The end