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-3743758-1338796418/watcher-3743758-1338796418 -o /tmp/evaluation-result-3743758-1338796418/solver-3743758-1338796418 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743758-1338796418.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: 3.88 3.94 3.85 4/197 10450
/proc/meminfo: memFree=27726404/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/10450/stat : 10450 (java6) D 10448 10450 7918 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 345766751 2560000 46 33554432000 1073741824 1073778376 140736620615360 140736620612488 233211784487 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/10450/statm: 625 46 37 9 0 29 0
[startup+0.044912 s]
/proc/loadavg: 3.88 3.94 3.85 4/197 10450
/proc/meminfo: memFree=27726404/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2233952 CPUtime=0.02 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 3593 0 1 0 1 1 0 0 20 0 11 0 345766751 2287566848 4803 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 558488 4803 1619 9 0 549189 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2233952
[startup+0.100243 s]
/proc/loadavg: 3.88 3.94 3.85 4/197 10450
/proc/meminfo: memFree=27726404/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 3897 0 1 0 5 1 0 0 20 0 18 0 345766751 2764726272 5616 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.300211 s]
/proc/loadavg: 3.88 3.94 3.85 4/197 10450
/proc/meminfo: memFree=27726404/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2699928 CPUtime=0.46 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 6249 0 1 0 43 3 0 0 20 0 18 0 345766751 2764726272 16025 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 674982 16025 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928
[startup+0.70022 s]
/proc/loadavg: 3.88 3.94 3.85 4/197 10450
/proc/meminfo: memFree=27726404/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2699928 CPUtime=1.07 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 10280 0 1 0 101 6 0 0 20 0 18 0 345766751 2764726272 46400 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 674982 46400 2229 9 0 665676 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 2699928
[startup+1.50078 s]
/proc/loadavg: 3.88 3.94 3.85 4/215 10468
/proc/meminfo: memFree=27419936/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2699928 CPUtime=2.61 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 11611 0 1 0 231 30 0 0 20 0 18 0 345766751 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 674982 126400 2248 9 0 665676 0
[pid=10450/tid=10452] ppid=10448 vsize=2699928 CPUtime=1.26 cores=1,3,5,7
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 7918 0 -1 4202560 2959 0 1 0 117 9 0 0 20 0 18 0 345766753 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312741142544 140312572215153 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10453] ppid=10448 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 7918 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312725433128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10454] ppid=10448 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 7918 0 -1 4202560 27 0 0 0 4 2 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312724380328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10455] ppid=10448 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 7918 0 -1 4202560 25 0 0 0 4 2 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312723328040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10456] ppid=10448 vsize=2699928 CPUtime=0.12 cores=1,3,5,7
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 7918 0 -1 4202560 51 0 0 0 9 3 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312722275240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10457] ppid=10448 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 7918 0 -1 4202560 23 0 0 0 4 2 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312721221928 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10458] ppid=10448 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 7918 0 -1 4202560 45 0 0 0 7 4 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312720169128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10459] ppid=10448 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 7918 0 -1 4202560 35 0 0 0 6 3 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312719116840 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10460] ppid=10448 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/10450/task/10460/stat : 10460 (java) S 10448 10450 7918 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 18 0 345766755 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312718064040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10461] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10461/stat : 10461 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312705653480 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10462] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10462/stat : 10462 (java) S 10448 10450 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312704599544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10463] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10463/stat : 10463 (java) S 10448 10450 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312703547144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10464] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10464/stat : 10464 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312702495632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10465] ppid=10448 vsize=2699928 CPUtime=0.32 cores=1,3,5,7
/proc/10450/task/10465/stat : 10465 (java) S 10448 10450 7918 0 -1 4202560 4232 0 0 0 31 1 0 0 20 0 18 0 345766759 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312701442232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10466] ppid=10448 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/10450/task/10466/stat : 10466 (java) S 10448 10450 7918 0 -1 4202560 2984 0 0 0 27 0 0 0 20 0 18 0 345766759 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312700389432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10467] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10467/stat : 10467 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312699337336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10468] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10468/stat : 10468 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 126400 33554432000 1073741824 1073778376 140733339841888 140312698284744 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 2699928
[startup+3.10078 s]
/proc/loadavg: 3.88 3.94 3.85 4/215 10468
/proc/meminfo: memFree=27212096/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2699928 CPUtime=5.82 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 13127 0 1 0 536 46 0 0 20 0 18 0 345766751 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 674982 154861 2248 9 0 665676 0
[pid=10450/tid=10452] ppid=10448 vsize=2699928 CPUtime=2.29 cores=1,3,5,7
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 7918 0 -1 4202560 2968 0 1 0 219 10 0 0 20 0 18 0 345766753 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312741149736 233224332557 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10453] ppid=10448 vsize=2699928 CPUtime=0.32 cores=1,3,5,7
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 7918 0 -1 4202560 194 0 0 0 28 4 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312725433128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10454] ppid=10448 vsize=2699928 CPUtime=0.37 cores=1,3,5,7
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 7918 0 -1 4202560 310 0 0 0 33 4 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312724380328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10455] ppid=10448 vsize=2699928 CPUtime=0.38 cores=1,3,5,7
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 7918 0 -1 4202560 303 0 0 0 34 4 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312723328040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10456] ppid=10448 vsize=2699928 CPUtime=0.35 cores=1,3,5,7
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 7918 0 -1 4202560 80 0 0 0 30 5 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312722275240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10457] ppid=10448 vsize=2699928 CPUtime=0.4 cores=1,3,5,7
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 7918 0 -1 4202560 311 0 0 0 35 5 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312721221928 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10458] ppid=10448 vsize=2699928 CPUtime=0.32 cores=1,3,5,7
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 7918 0 -1 4202560 319 0 0 0 26 6 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312720169128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10459] ppid=10448 vsize=2699928 CPUtime=0.4 cores=1,3,5,7
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 7918 0 -1 4202560 198 0 0 0 35 5 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312719116840 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10460] ppid=10448 vsize=2699928 CPUtime=0.26 cores=1,3,5,7
/proc/10450/task/10460/stat : 10460 (java) S 10448 10450 7918 0 -1 4202560 46 0 0 0 23 3 0 0 20 0 18 0 345766755 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312718064040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10461] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10461/stat : 10461 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312705653480 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10462] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10462/stat : 10462 (java) S 10448 10450 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312704599544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10463] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10463/stat : 10463 (java) S 10448 10450 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312703547144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10464] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10464/stat : 10464 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312702495632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10465] ppid=10448 vsize=2699928 CPUtime=0.32 cores=1,3,5,7
/proc/10450/task/10465/stat : 10465 (java) S 10448 10450 7918 0 -1 4202560 4232 0 0 0 31 1 0 0 20 0 18 0 345766759 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312701442232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10466] ppid=10448 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/10450/task/10466/stat : 10466 (java) S 10448 10450 7918 0 -1 4202560 2984 0 0 0 27 0 0 0 20 0 18 0 345766759 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312700389432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10467] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10467/stat : 10467 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312699337336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10468] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10468/stat : 10468 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 154861 33554432000 1073741824 1073778376 140733339841888 140312698284744 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 2699928
[startup+6.30078 s]
/proc/loadavg: 3.81 3.92 3.84 4/215 10468
/proc/meminfo: memFree=27036160/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2699928 CPUtime=11.05 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 14014 0 1 0 1044 61 0 0 20 0 18 0 345766751 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 674982 181466 2248 9 0 665676 0
[pid=10450/tid=10452] ppid=10448 vsize=2699928 CPUtime=4.77 cores=1,3,5,7
/proc/10450/task/10452/stat : 10452 (java) R 10448 10450 7918 0 -1 4202560 2982 0 1 0 467 10 0 0 20 0 18 0 345766753 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312741150120 140312572327930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10453] ppid=10448 vsize=2699928 CPUtime=0.67 cores=1,3,5,7
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 7918 0 -1 4202560 320 0 0 0 61 6 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312725433128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10454] ppid=10448 vsize=2699928 CPUtime=0.71 cores=1,3,5,7
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 7918 0 -1 4202560 334 0 0 0 65 6 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312724380328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10455] ppid=10448 vsize=2699928 CPUtime=0.76 cores=1,3,5,7
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 7918 0 -1 4202560 334 0 0 0 71 5 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312723328040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10456] ppid=10448 vsize=2699928 CPUtime=0.67 cores=1,3,5,7
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 7918 0 -1 4202560 340 0 0 0 60 7 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312722275240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10457] ppid=10448 vsize=2699928 CPUtime=0.76 cores=1,3,5,7
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 7918 0 -1 4202560 331 0 0 0 69 7 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312721221928 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10458] ppid=10448 vsize=2699928 CPUtime=0.63 cores=1,3,5,7
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 7918 0 -1 4202560 333 0 0 0 56 7 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312720169128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10459] ppid=10448 vsize=2699928 CPUtime=0.78 cores=1,3,5,7
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 7918 0 -1 4202560 332 0 0 0 71 7 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312719116840 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10460] ppid=10448 vsize=2699928 CPUtime=0.54 cores=1,3,5,7
/proc/10450/task/10460/stat : 10460 (java) S 10448 10450 7918 0 -1 4202560 310 0 0 0 49 5 0 0 20 0 18 0 345766755 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312718064040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10461] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10461/stat : 10461 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312705653480 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10462] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10462/stat : 10462 (java) S 10448 10450 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312704599544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10463] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10463/stat : 10463 (java) S 10448 10450 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345766756 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312703547144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10464] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10464/stat : 10464 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312702495632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10465] ppid=10448 vsize=2699928 CPUtime=0.32 cores=1,3,5,7
/proc/10450/task/10465/stat : 10465 (java) S 10448 10450 7918 0 -1 4202560 4232 0 0 0 31 1 0 0 20 0 18 0 345766759 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312701442232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10466] ppid=10448 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/10450/task/10466/stat : 10466 (java) S 10448 10450 7918 0 -1 4202560 2984 0 0 0 27 0 0 0 20 0 18 0 345766759 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312700389432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10467] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10467/stat : 10467 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312699337336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10468] ppid=10448 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10468/stat : 10468 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345766759 2764726272 181466 33554432000 1073741824 1073778376 140733339841888 140312698284744 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 2699928
[startup+12.701 s]
/proc/loadavg: 3.99 3.96 3.85 5/219 10472
/proc/meminfo: memFree=26892980/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2966184 CPUtime=23.8 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 15197 0 1 0 2304 76 0 0 20 0 22 0 345766751 3037372416 209873 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 741546 209873 2273 9 0 732240 0
[pid=10450/tid=10452] ppid=10448 vsize=2966184 CPUtime=6.68 cores=1,3,5,7
################
# More data... #
################
/proc/10450/statm: 741546 237376 2285 9 0 732240 0
[pid=10450/tid=10452] ppid=10448 vsize=2966184 CPUtime=6.71 cores=1,3,5,7
/proc/10450/task/10452/stat : 10452 (java) S 10448 10450 7918 0 -1 4202560 3003 0 1 0 660 11 0 0 20 0 22 0 345766753 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312741151896 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10453] ppid=10448 vsize=2966184 CPUtime=0.96 cores=1,3,5,7
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 7918 0 -1 4202560 362 0 0 0 87 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312725433128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10454] ppid=10448 vsize=2966184 CPUtime=0.93 cores=1,3,5,7
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 85 8 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312724380328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10455] ppid=10448 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 7918 0 -1 4202560 360 0 0 0 97 7 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312723328040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10456] ppid=10448 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 7918 0 -1 4202560 499 0 0 0 83 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312722275240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10457] ppid=10448 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 91 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312721221928 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10458] ppid=10448 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 81 8 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312720169128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10459] ppid=10448 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 7918 0 -1 4202560 369 0 0 0 94 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312719116840 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10460] ppid=10448 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/10450/task/10460/stat : 10460 (java) S 10448 10450 7918 0 -1 4202560 339 0 0 0 72 7 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312718064040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10461] ppid=10448 vsize=2966184 CPUtime=2.31 cores=1,3,5,7
/proc/10450/task/10461/stat : 10461 (java) S 10448 10450 7918 0 -1 4202560 63 0 0 0 228 3 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312705653480 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10462] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10462/stat : 10462 (java) S 10448 10450 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312704599544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10463] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10463/stat : 10463 (java) S 10448 10450 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312703547144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10464] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10464/stat : 10464 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312702495632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10465] ppid=10448 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/10450/task/10465/stat : 10465 (java) S 10448 10450 7918 0 -1 4202560 4706 0 0 0 108 1 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312701442232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10466] ppid=10448 vsize=2966184 CPUtime=1.66 cores=1,3,5,7
/proc/10450/task/10466/stat : 10466 (java) S 10448 10450 7918 0 -1 4202560 11147 0 0 0 163 3 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312700389432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10467] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10467/stat : 10467 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312699337336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10468] ppid=10448 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/10450/task/10468/stat : 10468 (java) S 10448 10450 7918 0 -1 4202560 47 0 0 0 27 25 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312698284744 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10469] ppid=10448 vsize=2966184 CPUtime=809.04 cores=1,3,5,7
/proc/10450/task/10469/stat : 10469 (java) R 10448 10450 7918 0 -1 4202560 30 0 0 0 80892 12 0 0 20 0 22 0 345767586 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312697228256 140312572385072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10470] ppid=10448 vsize=2966184 CPUtime=808.95 cores=1,3,5,7
/proc/10450/task/10470/stat : 10470 (java) R 10448 10450 7918 0 -1 4202560 66 0 0 0 80883 12 0 0 20 0 22 0 345767586 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312696175352 140312572891932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10471] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10471/stat : 10471 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345767634 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312695125672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10472] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10472/stat : 10472 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345767634 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312694072872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1641.96
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.99 3.98 3.91 5/219 10563
/proc/meminfo: memFree=26796548/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2966184 CPUtime=1761.96 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 23260 0 1 0 176081 115 0 0 20 0 22 0 345766751 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 741546 237376 2285 9 0 732240 0
[pid=10450/tid=10452] ppid=10448 vsize=2966184 CPUtime=6.71 cores=1,3,5,7
/proc/10450/task/10452/stat : 10452 (java) S 10448 10450 7918 0 -1 4202560 3003 0 1 0 660 11 0 0 20 0 22 0 345766753 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312741151896 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10453] ppid=10448 vsize=2966184 CPUtime=0.96 cores=1,3,5,7
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 7918 0 -1 4202560 362 0 0 0 87 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312725433128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10454] ppid=10448 vsize=2966184 CPUtime=0.93 cores=1,3,5,7
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 85 8 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312724380328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10455] ppid=10448 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 7918 0 -1 4202560 360 0 0 0 97 7 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312723328040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10456] ppid=10448 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 7918 0 -1 4202560 499 0 0 0 83 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312722275240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10457] ppid=10448 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 91 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312721221928 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10458] ppid=10448 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 81 8 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312720169128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10459] ppid=10448 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 7918 0 -1 4202560 369 0 0 0 94 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312719116840 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10460] ppid=10448 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/10450/task/10460/stat : 10460 (java) S 10448 10450 7918 0 -1 4202560 339 0 0 0 72 7 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312718064040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10461] ppid=10448 vsize=2966184 CPUtime=2.31 cores=1,3,5,7
/proc/10450/task/10461/stat : 10461 (java) S 10448 10450 7918 0 -1 4202560 63 0 0 0 228 3 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312705653480 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10462] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10462/stat : 10462 (java) S 10448 10450 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312704599544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10463] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10463/stat : 10463 (java) S 10448 10450 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312703547144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10464] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10464/stat : 10464 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312702495632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10465] ppid=10448 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/10450/task/10465/stat : 10465 (java) S 10448 10450 7918 0 -1 4202560 4706 0 0 0 108 1 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312701442232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10466] ppid=10448 vsize=2966184 CPUtime=1.66 cores=1,3,5,7
/proc/10450/task/10466/stat : 10466 (java) S 10448 10450 7918 0 -1 4202560 11147 0 0 0 163 3 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312700389432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10467] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10467/stat : 10467 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312699337336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10468] ppid=10448 vsize=2966184 CPUtime=0.56 cores=1,3,5,7
/proc/10450/task/10468/stat : 10468 (java) S 10448 10450 7918 0 -1 4202560 51 0 0 0 30 26 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312698284744 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10469] ppid=10448 vsize=2966184 CPUtime=868.88 cores=1,3,5,7
/proc/10450/task/10469/stat : 10469 (java) R 10448 10450 7918 0 -1 4202560 30 0 0 0 86875 13 0 0 20 0 22 0 345767586 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312697228256 140312572805032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10470] ppid=10448 vsize=2966184 CPUtime=868.79 cores=1,3,5,7
/proc/10450/task/10470/stat : 10470 (java) R 10448 10450 7918 0 -1 4202560 66 0 0 0 86866 13 0 0 20 0 22 0 345767586 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312696175352 140312572891932 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10471] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10471/stat : 10471 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345767634 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312695125672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10472] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10472/stat : 10472 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345767634 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312694072872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1761.96
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.401 s]
/proc/loadavg: 3.99 3.98 3.91 6/219 10563
/proc/meminfo: memFree=26797788/32873844 swapFree=7120/7120
[pid=10450] ppid=10448 vsize=2966184 CPUtime=1800.18 cores=1,3,5,7
/proc/10450/stat : 10450 (java) S 10448 10450 7918 0 -1 4202496 23262 0 1 0 179902 116 0 0 20 0 22 0 345766751 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140733339833024 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10450/statm: 741546 237376 2285 9 0 732240 0
[pid=10450/tid=10452] ppid=10448 vsize=2966184 CPUtime=6.71 cores=1,3,5,7
/proc/10450/task/10452/stat : 10452 (java) S 10448 10450 7918 0 -1 4202560 3003 0 1 0 660 11 0 0 20 0 22 0 345766753 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312741151896 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10453] ppid=10448 vsize=2966184 CPUtime=0.96 cores=1,3,5,7
/proc/10450/task/10453/stat : 10453 (java) S 10448 10450 7918 0 -1 4202560 362 0 0 0 87 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312725433128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10454] ppid=10448 vsize=2966184 CPUtime=0.93 cores=1,3,5,7
/proc/10450/task/10454/stat : 10454 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 85 8 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312724380328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10455] ppid=10448 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/10450/task/10455/stat : 10455 (java) S 10448 10450 7918 0 -1 4202560 360 0 0 0 97 7 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312723328040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10456] ppid=10448 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/10450/task/10456/stat : 10456 (java) S 10448 10450 7918 0 -1 4202560 499 0 0 0 83 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312722275240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10457] ppid=10448 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/10450/task/10457/stat : 10457 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 91 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312721221928 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10458] ppid=10448 vsize=2966184 CPUtime=0.89 cores=1,3,5,7
/proc/10450/task/10458/stat : 10458 (java) S 10448 10450 7918 0 -1 4202560 359 0 0 0 81 8 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312720169128 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10459] ppid=10448 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/10450/task/10459/stat : 10459 (java) S 10448 10450 7918 0 -1 4202560 369 0 0 0 94 9 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312719116840 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10460] ppid=10448 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/10450/task/10460/stat : 10460 (java) S 10448 10450 7918 0 -1 4202560 339 0 0 0 72 7 0 0 20 0 22 0 345766755 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312718064040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10461] ppid=10448 vsize=2966184 CPUtime=2.31 cores=1,3,5,7
/proc/10450/task/10461/stat : 10461 (java) S 10448 10450 7918 0 -1 4202560 63 0 0 0 228 3 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312705653480 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10462] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10462/stat : 10462 (java) S 10448 10450 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312704599544 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10463] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10463/stat : 10463 (java) S 10448 10450 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345766756 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312703547144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10464] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10464/stat : 10464 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312702495632 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10450/tid=10465] ppid=10448 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/10450/task/10465/stat : 10465 (java) S 10448 10450 7918 0 -1 4202560 4706 0 0 0 108 1 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312701442232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10466] ppid=10448 vsize=2966184 CPUtime=1.66 cores=1,3,5,7
/proc/10450/task/10466/stat : 10466 (java) S 10448 10450 7918 0 -1 4202560 11147 0 0 0 163 3 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312700389432 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10450/tid=10467] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10467/stat : 10467 (java) S 10448 10450 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312699337336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10468] ppid=10448 vsize=2966184 CPUtime=0.57 cores=1,3,5,7
/proc/10450/task/10468/stat : 10468 (java) S 10448 10450 7918 0 -1 4202560 53 0 0 0 30 27 0 0 20 0 22 0 345766759 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312698284744 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10469] ppid=10448 vsize=2966184 CPUtime=887.93 cores=1,3,5,7
/proc/10450/task/10469/stat : 10469 (java) R 10448 10450 7918 0 -1 4202560 30 0 0 0 88780 13 0 0 20 0 22 0 345767586 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312697228256 140312572708221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10470] ppid=10448 vsize=2966184 CPUtime=887.85 cores=1,3,5,7
/proc/10450/task/10470/stat : 10470 (java) R 10448 10450 7918 0 -1 4202560 66 0 0 0 88772 13 0 0 20 0 22 0 345767586 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312696175352 140312572892062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10450/tid=10471] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10471/stat : 10471 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345767634 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312695125672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10450/tid=10472] ppid=10448 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/10450/task/10472/stat : 10472 (java) S 10448 10450 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345767634 3037372416 237376 33554432000 1073741824 1073778376 140733339841888 140312694072872 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
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 10450 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=468199
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=531767
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.43
CPU time (s): 1800.18
CPU user time (s): 1799.02
CPU system time (s): 1.16
CPU usage (%): 199.703
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 1.53177
maximum resident set size= 951676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23296
page faults= 1
swaps= 0
block input operations= 0
block output operations= 696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21363
involuntary context switches= 14604
runsolver used 3.59045 second user time and 9.55355 second system time
The end