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-3741976-1338784062/watcher-3741976-1338784062 -o /tmp/evaluation-result-3741976-1338784062/solver-3741976-1338784062 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741976-1338784062.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: 3.77 3.81 3.52 4/197 8410
/proc/meminfo: memFree=27978216/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/8410/stat : 8410 (java) R 8408 8410 7918 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 344531084 278528 33 33554432000 1073741824 1073778376 140734765568224 140735846788328 233211784373 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 68 33 25 9 0 25 0
[startup+0.073391 s]
/proc/loadavg: 3.77 3.81 3.52 4/197 8410
/proc/meminfo: memFree=27978216/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 3840 0 1 0 4 1 0 0 20 0 18 0 344531084 2764726272 5558 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 674982 5558 1756 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100264 s]
/proc/loadavg: 3.77 3.81 3.52 4/197 8410
/proc/meminfo: memFree=27978216/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 4103 0 1 0 6 1 0 0 20 0 18 0 344531084 2764726272 5821 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 674982 5821 1931 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.30023 s]
/proc/loadavg: 3.77 3.81 3.52 4/197 8410
/proc/meminfo: memFree=27978216/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2699928 CPUtime=0.53 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 7418 0 1 0 51 2 0 0 20 0 18 0 344531084 2764726272 10251 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 674982 10251 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2699928
[startup+0.700182 s]
/proc/loadavg: 3.77 3.81 3.52 4/197 8410
/proc/meminfo: memFree=27978216/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2966184 CPUtime=1.87 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 12661 0 1 0 184 3 0 0 20 0 22 0 344531084 3037372416 22170 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 741546 22170 2254 9 0 732240 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 2966184
[startup+1.50073 s]
/proc/loadavg: 3.77 3.81 3.52 7/219 8432
/proc/meminfo: memFree=27839988/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2966184 CPUtime=4.36 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 21833 0 1 0 427 9 0 0 20 0 22 0 344531084 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 741546 78423 2259 9 0 732240 0
[pid=8410/tid=8412] ppid=8408 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/8410/task/8412/stat : 8412 (java) S 8408 8410 7918 0 -1 4202560 2812 0 1 0 42 3 0 0 20 0 22 0 344531085 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433234429080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8413] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8413/stat : 8413 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433218710312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8414] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8414/stat : 8414 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433099319976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8415] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8415/stat : 8415 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433098267688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8416] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8416/stat : 8416 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433097214888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8417] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8417/stat : 8417 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433096161576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8418] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8418/stat : 8418 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433095108776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8419] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8419/stat : 8419 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433094056488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8420] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8420/stat : 8420 (java) S 8408 8410 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140433093003688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8421] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8421/stat : 8421 (java) S 8408 8410 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344531088 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432610675432 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8422] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8422/stat : 8422 (java) S 8408 8410 7918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432609621496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8423] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8423/stat : 8423 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432608569096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8424] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8424/stat : 8424 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432607517584 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8425] ppid=8408 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/8410/task/8425/stat : 8425 (java) S 8408 8410 7918 0 -1 4202560 8610 0 0 0 83 1 0 0 20 0 22 0 344531091 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432606464184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8426] ppid=8408 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/8410/task/8426/stat : 8426 (java) S 8408 8410 7918 0 -1 4202560 9014 0 0 0 99 1 0 0 20 0 22 0 344531091 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432605411384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8427] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8427/stat : 8427 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432604359288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8428] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8428/stat : 8428 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432603306696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8429] ppid=8408 vsize=2966184 CPUtime=0.99 cores=0,2,4,6
/proc/8410/task/8429/stat : 8429 (java) R 8408 8410 7918 0 -1 4202560 29 0 0 0 99 0 0 0 20 0 22 0 344531133 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432602252248 140433100210380 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8430] ppid=8408 vsize=2966184 CPUtime=1 cores=0,2,4,6
/proc/8410/task/8430/stat : 8430 (java) R 8408 8410 7918 0 -1 4202560 166 0 0 0 96 4 0 0 20 0 22 0 344531133 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432601198792 140433100340421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8431] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8431/stat : 8431 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432600147624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8432] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8432/stat : 8432 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 78423 33554432000 1073741824 1073778376 140734765568224 140432599094824 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 2966184
[startup+3.10076 s]
/proc/loadavg: 3.77 3.81 3.52 6/219 8432
/proc/meminfo: memFree=27574316/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2966184 CPUtime=8 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 25079 0 1 0 787 13 0 0 20 0 22 0 344531084 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 741546 107698 2284 9 0 732240 0
[pid=8410/tid=8412] ppid=8408 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/8410/task/8412/stat : 8412 (java) S 8408 8410 7918 0 -1 4202560 2812 0 1 0 42 3 0 0 20 0 22 0 344531085 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433234429080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8413] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8413/stat : 8413 (java) S 8408 8410 7918 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433218710312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8414] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8414/stat : 8414 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433099319976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8415] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8415/stat : 8415 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433098267688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8416] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8416/stat : 8416 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433097214888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8417] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8417/stat : 8417 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433096161576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8418] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8418/stat : 8418 (java) S 8408 8410 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433095108776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8419] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8419/stat : 8419 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433094056488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8420] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8420/stat : 8420 (java) S 8408 8410 7918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140433093003688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8421] ppid=8408 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8410/task/8421/stat : 8421 (java) S 8408 8410 7918 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 22 0 344531088 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432610675432 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8422] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8422/stat : 8422 (java) S 8408 8410 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432609621496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8423] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8423/stat : 8423 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432608569096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8424] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8424/stat : 8424 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432607517584 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8425] ppid=8408 vsize=2966184 CPUtime=1.22 cores=0,2,4,6
/proc/8410/task/8425/stat : 8425 (java) S 8408 8410 7918 0 -1 4202560 11726 0 0 0 120 2 0 0 20 0 22 0 344531091 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432606464184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8426] ppid=8408 vsize=2966184 CPUtime=1.07 cores=0,2,4,6
/proc/8410/task/8426/stat : 8426 (java) S 8408 8410 7918 0 -1 4202560 9019 0 0 0 106 1 0 0 20 0 22 0 344531091 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432605411384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8427] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8427/stat : 8427 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432604359288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8428] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8428/stat : 8428 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432603306696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8429] ppid=8408 vsize=2966184 CPUtime=2.51 cores=0,2,4,6
/proc/8410/task/8429/stat : 8429 (java) R 8408 8410 7918 0 -1 4202560 31 0 0 0 251 0 0 0 20 0 22 0 344531133 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432602249808 140433100137303 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8430] ppid=8408 vsize=2966184 CPUtime=2.53 cores=0,2,4,6
/proc/8410/task/8430/stat : 8430 (java) R 8408 8410 7918 0 -1 4202560 212 0 0 0 248 5 0 0 20 0 22 0 344531133 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432601197840 140433100341321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8431] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8431/stat : 8431 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432600147624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8432] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8432/stat : 8432 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 107698 33554432000 1073741824 1073778376 140734765568224 140432599094824 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 2966184
[startup+6.30081 s]
/proc/loadavg: 3.79 3.81 3.52 6/219 8432
/proc/meminfo: memFree=27544900/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2966184 CPUtime=14.58 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 25204 0 1 0 1445 13 0 0 20 0 22 0 344531084 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 741546 108975 2284 9 0 732240 0
[pid=8410/tid=8412] ppid=8408 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/8410/task/8412/stat : 8412 (java) S 8408 8410 7918 0 -1 4202560 2812 0 1 0 42 3 0 0 20 0 22 0 344531085 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433234429080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8413] ppid=8408 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8410/task/8413/stat : 8413 (java) S 8408 8410 7918 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433218710312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8414] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8414/stat : 8414 (java) S 8408 8410 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433099319976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8415] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8415/stat : 8415 (java) S 8408 8410 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433098267688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8416] ppid=8408 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8410/task/8416/stat : 8416 (java) S 8408 8410 7918 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433097214888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8417] ppid=8408 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8410/task/8417/stat : 8417 (java) S 8408 8410 7918 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433096161576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8418] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8418/stat : 8418 (java) S 8408 8410 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433095108776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8419] ppid=8408 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/8410/task/8419/stat : 8419 (java) S 8408 8410 7918 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433094056488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8420] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8420/stat : 8420 (java) S 8408 8410 7918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344531087 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140433093003688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8421] ppid=8408 vsize=2966184 CPUtime=0.09 cores=0,2,4,6
/proc/8410/task/8421/stat : 8421 (java) S 8408 8410 7918 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 22 0 344531088 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140432610675432 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8422] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8422/stat : 8422 (java) S 8408 8410 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140432609621496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8423] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8423/stat : 8423 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140432608569096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8424] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8424/stat : 8424 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140432607517584 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8425] ppid=8408 vsize=2966184 CPUtime=1.35 cores=0,2,4,6
/proc/8410/task/8425/stat : 8425 (java) S 8408 8410 7918 0 -1 4202560 11833 0 0 0 133 2 0 0 20 0 22 0 344531091 3037372416 108975 33554432000 1073741824 1073778376 140734765568224 140432606464184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
/proc/8410/statm: 741546 243287 2285 9 0 732240 0
[pid=8410/tid=8412] ppid=8408 vsize=2966184 CPUtime=0.47 cores=0,2,4,6
/proc/8410/task/8412/stat : 8412 (java) S 8408 8410 7918 0 -1 4202560 2843 0 1 0 43 4 0 0 20 0 22 0 344531085 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433234429080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8413] ppid=8408 vsize=2966184 CPUtime=3.84 cores=0,2,4,6
/proc/8410/task/8413/stat : 8413 (java) S 8408 8410 7918 0 -1 4202560 239 0 0 0 377 7 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433218710312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8414] ppid=8408 vsize=2966184 CPUtime=3.87 cores=0,2,4,6
/proc/8410/task/8414/stat : 8414 (java) S 8408 8410 7918 0 -1 4202560 240 0 0 0 379 8 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433099319976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8415] ppid=8408 vsize=2966184 CPUtime=3.64 cores=0,2,4,6
/proc/8410/task/8415/stat : 8415 (java) R 8408 8410 7918 0 -1 4202560 200 0 0 0 358 6 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433098267688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8416] ppid=8408 vsize=2966184 CPUtime=3.91 cores=0,2,4,6
/proc/8410/task/8416/stat : 8416 (java) S 8408 8410 7918 0 -1 4202560 261 0 0 0 384 7 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433097214888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8417] ppid=8408 vsize=2966184 CPUtime=3.86 cores=0,2,4,6
/proc/8410/task/8417/stat : 8417 (java) S 8408 8410 7918 0 -1 4202560 233 0 0 0 378 8 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433096161576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8418] ppid=8408 vsize=2966184 CPUtime=3.75 cores=0,2,4,6
/proc/8410/task/8418/stat : 8418 (java) R 8408 8410 7918 0 -1 4202560 250 0 0 0 368 7 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433095108776 233224320060 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8419] ppid=8408 vsize=2966184 CPUtime=3.95 cores=0,2,4,6
/proc/8410/task/8419/stat : 8419 (java) S 8408 8410 7918 0 -1 4202560 228 0 0 0 387 8 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433094056488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8420] ppid=8408 vsize=2966184 CPUtime=3.93 cores=0,2,4,6
/proc/8410/task/8420/stat : 8420 (java) S 8408 8410 7918 0 -1 4202560 211 0 0 0 386 7 0 0 20 0 22 0 344531087 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140433093003688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8421] ppid=8408 vsize=2966184 CPUtime=43.29 cores=0,2,4,6
/proc/8410/task/8421/stat : 8421 (java) S 8408 8410 7918 0 -1 4202560 123 0 0 0 4301 28 0 0 20 0 22 0 344531088 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432610675432 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8422] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8422/stat : 8422 (java) S 8408 8410 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432609621496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8423] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8423/stat : 8423 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432608569096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8424] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8424/stat : 8424 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432607517584 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8425] ppid=8408 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/8410/task/8425/stat : 8425 (java) S 8408 8410 7918 0 -1 4202560 11834 0 0 0 136 2 0 0 20 0 22 0 344531091 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432606464184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8426] ppid=8408 vsize=2966184 CPUtime=1.74 cores=0,2,4,6
/proc/8410/task/8426/stat : 8426 (java) S 8408 8410 7918 0 -1 4202560 10108 0 0 0 173 1 0 0 20 0 22 0 344531091 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432605411384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8427] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8427/stat : 8427 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432604359288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8428] ppid=8408 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/8410/task/8428/stat : 8428 (java) S 8408 8410 7918 0 -1 4202560 45 0 0 0 15 15 0 0 20 0 22 0 344531091 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432603306696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8429] ppid=8408 vsize=2966184 CPUtime=767.36 cores=0,2,4,6
/proc/8410/task/8429/stat : 8429 (java) R 8408 8410 7918 0 -1 4202560 371 0 0 0 76723 13 0 0 20 0 22 0 344531133 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432602251160 140433100182397 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8430] ppid=8408 vsize=2966184 CPUtime=767.45 cores=0,2,4,6
/proc/8410/task/8430/stat : 8430 (java) R 8408 8410 7918 0 -1 4202560 470 0 0 0 76725 20 0 0 20 0 22 0 344531133 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432601197064 233224331701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8431] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8431/stat : 8431 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432600147624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8432] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8432/stat : 8432 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 243287 33554432000 1073741824 1073778376 140734765568224 140432599094824 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1616.76
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.80 3.86 3.73 5/219 8505
/proc/meminfo: memFree=27092096/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2966184 CPUtime=1731.23 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 28969 0 1 0 173002 121 0 0 20 0 22 0 344531084 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 741546 244898 2285 9 0 732240 0
[pid=8410/tid=8412] ppid=8408 vsize=2966184 CPUtime=0.48 cores=0,2,4,6
/proc/8410/task/8412/stat : 8412 (java) S 8408 8410 7918 0 -1 4202560 2845 0 1 0 44 4 0 0 20 0 22 0 344531085 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433234429080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8413] ppid=8408 vsize=2966184 CPUtime=4.07 cores=0,2,4,6
/proc/8410/task/8413/stat : 8413 (java) S 8408 8410 7918 0 -1 4202560 254 0 0 0 400 7 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433218710312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8414] ppid=8408 vsize=2966184 CPUtime=4.21 cores=0,2,4,6
/proc/8410/task/8414/stat : 8414 (java) S 8408 8410 7918 0 -1 4202560 248 0 0 0 413 8 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433099319976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8415] ppid=8408 vsize=2966184 CPUtime=3.92 cores=0,2,4,6
/proc/8410/task/8415/stat : 8415 (java) S 8408 8410 7918 0 -1 4202560 207 0 0 0 386 6 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433098267688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8416] ppid=8408 vsize=2966184 CPUtime=4.23 cores=0,2,4,6
/proc/8410/task/8416/stat : 8416 (java) S 8408 8410 7918 0 -1 4202560 278 0 0 0 416 7 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433097214888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8417] ppid=8408 vsize=2966184 CPUtime=4.19 cores=0,2,4,6
/proc/8410/task/8417/stat : 8417 (java) S 8408 8410 7918 0 -1 4202560 243 0 0 0 411 8 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433096161576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8418] ppid=8408 vsize=2966184 CPUtime=4.11 cores=0,2,4,6
/proc/8410/task/8418/stat : 8418 (java) S 8408 8410 7918 0 -1 4202560 251 0 0 0 404 7 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433095108776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8419] ppid=8408 vsize=2966184 CPUtime=4.32 cores=0,2,4,6
/proc/8410/task/8419/stat : 8419 (java) S 8408 8410 7918 0 -1 4202560 243 0 0 0 423 9 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433094056488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8420] ppid=8408 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/8410/task/8420/stat : 8420 (java) S 8408 8410 7918 0 -1 4202560 221 0 0 0 421 7 0 0 20 0 22 0 344531087 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140433093003688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8421] ppid=8408 vsize=2966184 CPUtime=49.97 cores=0,2,4,6
/proc/8410/task/8421/stat : 8421 (java) S 8408 8410 7918 0 -1 4202560 127 0 0 0 4968 29 0 0 20 0 22 0 344531088 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432610675432 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8422] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8422/stat : 8422 (java) S 8408 8410 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432609621496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8423] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8423/stat : 8423 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432608569096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8424] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8424/stat : 8424 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432607517584 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8425] ppid=8408 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/8410/task/8425/stat : 8425 (java) S 8408 8410 7918 0 -1 4202560 11834 0 0 0 136 2 0 0 20 0 22 0 344531091 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432606464184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8426] ppid=8408 vsize=2966184 CPUtime=1.74 cores=0,2,4,6
/proc/8410/task/8426/stat : 8426 (java) S 8408 8410 7918 0 -1 4202560 10108 0 0 0 173 1 0 0 20 0 22 0 344531091 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432605411384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8427] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8427/stat : 8427 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432604359288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8428] ppid=8408 vsize=2966184 CPUtime=0.32 cores=0,2,4,6
/proc/8410/task/8428/stat : 8428 (java) S 8408 8410 7918 0 -1 4202560 49 0 0 0 16 16 0 0 20 0 22 0 344531091 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432603306696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8429] ppid=8408 vsize=2966184 CPUtime=819.83 cores=0,2,4,6
/proc/8410/task/8429/stat : 8429 (java) R 8408 8410 7918 0 -1 4202560 388 0 0 0 81969 14 0 0 20 0 22 0 344531133 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432602250000 140433100186032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8430] ppid=8408 vsize=2966184 CPUtime=819.91 cores=0,2,4,6
/proc/8410/task/8430/stat : 8430 (java) R 8408 8410 7918 0 -1 4202560 484 0 0 0 81970 21 0 0 20 0 22 0 344531133 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432601197824 140433099950000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8431] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8431/stat : 8431 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432600147624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8432] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8432/stat : 8432 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 244898 33554432000 1073741824 1073778376 140734765568224 140432599094824 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1731.23
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+918.401 s]
/proc/loadavg: 3.83 3.86 3.73 6/219 8505
/proc/meminfo: memFree=27081608/32873844 swapFree=7120/7120
[pid=8410] ppid=8408 vsize=2966184 CPUtime=1800.11 cores=0,2,4,6
/proc/8410/stat : 8410 (java) S 8408 8410 7918 0 -1 4202496 29030 0 1 0 179889 122 0 0 20 0 22 0 344531084 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140734765559360 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8410/statm: 741546 244941 2285 9 0 732240 0
[pid=8410/tid=8412] ppid=8408 vsize=2966184 CPUtime=0.48 cores=0,2,4,6
/proc/8410/task/8412/stat : 8412 (java) S 8408 8410 7918 0 -1 4202560 2848 0 1 0 44 4 0 0 20 0 22 0 344531085 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433234429080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8413] ppid=8408 vsize=2966184 CPUtime=4.22 cores=0,2,4,6
/proc/8410/task/8413/stat : 8413 (java) S 8408 8410 7918 0 -1 4202560 256 0 0 0 415 7 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433218710312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8414] ppid=8408 vsize=2966184 CPUtime=4.35 cores=0,2,4,6
/proc/8410/task/8414/stat : 8414 (java) S 8408 8410 7918 0 -1 4202560 256 0 0 0 427 8 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433099319976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8415] ppid=8408 vsize=2966184 CPUtime=4.04 cores=0,2,4,6
/proc/8410/task/8415/stat : 8415 (java) S 8408 8410 7918 0 -1 4202560 214 0 0 0 397 7 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433098267688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8416] ppid=8408 vsize=2966184 CPUtime=4.38 cores=0,2,4,6
/proc/8410/task/8416/stat : 8416 (java) S 8408 8410 7918 0 -1 4202560 284 0 0 0 431 7 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433097214888 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8417] ppid=8408 vsize=2966184 CPUtime=4.34 cores=0,2,4,6
/proc/8410/task/8417/stat : 8417 (java) S 8408 8410 7918 0 -1 4202560 252 0 0 0 426 8 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433096161576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8418] ppid=8408 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/8410/task/8418/stat : 8418 (java) S 8408 8410 7918 0 -1 4202560 256 0 0 0 421 7 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433095108776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8419] ppid=8408 vsize=2966184 CPUtime=4.46 cores=0,2,4,6
/proc/8410/task/8419/stat : 8419 (java) S 8408 8410 7918 0 -1 4202560 246 0 0 0 437 9 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433094056488 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8420] ppid=8408 vsize=2966184 CPUtime=4.4 cores=0,2,4,6
/proc/8410/task/8420/stat : 8420 (java) S 8408 8410 7918 0 -1 4202560 224 0 0 0 433 7 0 0 20 0 22 0 344531087 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140433093003688 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8421] ppid=8408 vsize=2966184 CPUtime=53.83 cores=0,2,4,6
/proc/8410/task/8421/stat : 8421 (java) S 8408 8410 7918 0 -1 4202560 129 0 0 0 5353 30 0 0 20 0 22 0 344531088 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432610675432 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8422] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8422/stat : 8422 (java) S 8408 8410 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432609621496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8423] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8423/stat : 8423 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531089 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432608569096 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8424] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8424/stat : 8424 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432607517584 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8425] ppid=8408 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/8410/task/8425/stat : 8425 (java) S 8408 8410 7918 0 -1 4202560 11834 0 0 0 136 2 0 0 20 0 22 0 344531091 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432606464184 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8410/tid=8426] ppid=8408 vsize=2966184 CPUtime=1.74 cores=0,2,4,6
/proc/8410/task/8426/stat : 8426 (java) S 8408 8410 7918 0 -1 4202560 10108 0 0 0 173 1 0 0 20 0 22 0 344531091 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432605411384 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8427] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8427/stat : 8427 (java) S 8408 8410 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344531091 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432604359288 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8410/tid=8428] ppid=8408 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/8410/task/8428/stat : 8428 (java) S 8408 8410 7918 0 -1 4202560 51 0 0 0 17 17 0 0 20 0 22 0 344531091 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432603306696 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8429] ppid=8408 vsize=2966184 CPUtime=851.67 cores=0,2,4,6
/proc/8410/task/8429/stat : 8429 (java) R 8408 8410 7918 0 -1 4202560 391 0 0 0 85153 14 0 0 20 0 22 0 344531133 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432602250000 140433100210356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8430] ppid=8408 vsize=2966184 CPUtime=851.75 cores=0,2,4,6
/proc/8410/task/8430/stat : 8430 (java) R 8408 8410 7918 0 -1 4202560 492 0 0 0 85154 21 0 0 20 0 22 0 344531133 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432601198176 140433100113653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8410/tid=8431] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8431/stat : 8431 (java) S 8408 8410 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432600147624 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8410/tid=8432] ppid=8408 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/8410/task/8432/stat : 8432 (java) S 8408 8410 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344531135 3037372416 244941 33554432000 1073741824 1073778376 140734765568224 140432599094824 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8410 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=400209
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=650749
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 918.462
CPU time (s): 1800.11
CPU user time (s): 1798.89
CPU system time (s): 1.22
CPU usage (%): 195.992
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 1.65075
maximum resident set size= 979884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29062
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39688
involuntary context switches= 67630
runsolver used 3.41348 second user time and 8.50171 second system time
The end