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-3743806-1338797018/watcher-3743806-1338797018 -o /tmp/evaluation-result-3743806-1338797018/solver-3743806-1338797018 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743806-1338797018.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.91 3.98 3.91 4/197 10540
/proc/meminfo: memFree=27753420/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/10540/stat : 10540 (java6) D 10538 10540 7918 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 345826821 2560000 47 33554432000 1073741824 1073778376 140734121267216 140734121264344 233211784487 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/10540/statm: 625 47 37 9 0 29 0
[startup+0.0370021 s]
/proc/loadavg: 3.91 3.98 3.91 4/197 10540
/proc/meminfo: memFree=27753420/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2158136 CPUtime=0 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 3316 0 1 0 0 0 0 0 20 0 10 0 345826821 2209931264 4014 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 539534 4024 1418 9 0 530235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2158136
[startup+0.100326 s]
/proc/loadavg: 3.91 3.98 3.91 4/197 10540
/proc/meminfo: memFree=27753420/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 3898 0 1 0 6 1 0 0 20 0 18 0 345826821 2764726272 5616 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.300294 s]
/proc/loadavg: 3.91 3.98 3.91 4/197 10540
/proc/meminfo: memFree=27753420/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2699928 CPUtime=0.46 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 6437 0 1 0 45 1 0 0 20 0 18 0 345826821 2764726272 16013 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 674982 16013 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928
[startup+0.700298 s]
/proc/loadavg: 3.91 3.98 3.91 4/197 10540
/proc/meminfo: memFree=27753420/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2699928 CPUtime=0.9 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 6598 0 1 0 86 4 0 0 20 0 18 0 345826821 2764726272 51882 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 674982 51882 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 2699928
[startup+1.50078 s]
/proc/loadavg: 3.91 3.98 3.91 4/215 10558
/proc/meminfo: memFree=27448852/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2699928 CPUtime=2.45 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 12043 0 1 0 224 21 0 0 20 0 18 0 345826821 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 674982 127890 2248 9 0 665676 0
[pid=10540/tid=10542] ppid=10538 vsize=2699928 CPUtime=1.31 cores=0,2,4,6
/proc/10540/task/10542/stat : 10542 (java) S 10538 10540 7918 0 -1 4202560 2956 0 1 0 125 6 0 0 20 0 18 0 345826822 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140232009460776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10543] ppid=10538 vsize=2699928 CPUtime=0.02 cores=0,2,4,6
/proc/10540/task/10543/stat : 10543 (java) R 10538 10540 7918 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231993744088 140232011933369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10544] ppid=10538 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/10540/task/10544/stat : 10544 (java) R 10538 10540 7918 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231992691288 140232012740508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10545] ppid=10538 vsize=2699928 CPUtime=0.03 cores=0,2,4,6
/proc/10540/task/10545/stat : 10545 (java) R 10538 10540 7918 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231991638192 140232013637807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10546] ppid=10538 vsize=2699928 CPUtime=0.12 cores=0,2,4,6
/proc/10540/task/10546/stat : 10546 (java) R 10538 10540 7918 0 -1 4202560 68 0 0 0 8 4 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231990585688 140232013219493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10547] ppid=10538 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/10540/task/10547/stat : 10547 (java) R 10538 10540 7918 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231989533912 140232011933427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10548] ppid=10538 vsize=2699928 CPUtime=0.03 cores=0,2,4,6
/proc/10540/task/10548/stat : 10548 (java) R 10538 10540 7918 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231988481112 140232011933385 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10549] ppid=10538 vsize=2699928 CPUtime=0.03 cores=0,2,4,6
/proc/10540/task/10549/stat : 10549 (java) R 10538 10540 7918 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231987428312 140232013219181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10550] ppid=10538 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/10540/task/10550/stat : 10550 (java) R 10538 10540 7918 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 345826824 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231986375512 140232012740508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10551] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10551/stat : 10551 (java) S 10538 10540 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345826825 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231973963144 233224320060 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10552] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10552/stat : 10552 (java) S 10538 10540 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345826826 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231972910328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10553] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10553/stat : 10553 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345826826 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231971857416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10554] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10554/stat : 10554 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231970805904 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10555] ppid=10538 vsize=2699928 CPUtime=0.3 cores=0,2,4,6
/proc/10540/task/10555/stat : 10555 (java) S 10538 10540 7918 0 -1 4202560 4369 0 0 0 30 0 0 0 20 0 18 0 345826828 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231969754040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10556] ppid=10538 vsize=2699928 CPUtime=0.26 cores=0,2,4,6
/proc/10540/task/10556/stat : 10556 (java) S 10538 10540 7918 0 -1 4202560 3290 0 0 0 26 0 0 0 20 0 18 0 345826828 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231968701240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10557] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10557/stat : 10557 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231967648632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10558] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10558/stat : 10558 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 127890 33554432000 1073741824 1073778376 140736966453952 140231966596040 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 2699928
[startup+3.10091 s]
/proc/loadavg: 3.91 3.98 3.91 4/215 10558
/proc/meminfo: memFree=27230896/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2699928 CPUtime=5.65 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 13793 0 1 0 530 35 0 0 20 0 18 0 345826821 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 674982 158627 2248 9 0 665676 0
[pid=10540/tid=10542] ppid=10538 vsize=2699928 CPUtime=2.35 cores=0,2,4,6
/proc/10540/task/10542/stat : 10542 (java) R 10538 10540 7918 0 -1 4202560 2967 0 1 0 229 6 0 0 20 0 18 0 345826822 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140232009460776 140232017226849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10543] ppid=10538 vsize=2699928 CPUtime=0.25 cores=0,2,4,6
/proc/10540/task/10543/stat : 10543 (java) S 10538 10540 7918 0 -1 4202560 299 0 0 0 23 2 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231993743912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10544] ppid=10538 vsize=2699928 CPUtime=0.32 cores=0,2,4,6
/proc/10540/task/10544/stat : 10544 (java) S 10538 10540 7918 0 -1 4202560 299 0 0 0 29 3 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231992691112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10545] ppid=10538 vsize=2699928 CPUtime=0.3 cores=0,2,4,6
/proc/10540/task/10545/stat : 10545 (java) S 10538 10540 7918 0 -1 4202560 305 0 0 0 26 4 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231991638312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10546] ppid=10538 vsize=2699928 CPUtime=0.42 cores=0,2,4,6
/proc/10540/task/10546/stat : 10546 (java) S 10538 10540 7918 0 -1 4202560 362 0 0 0 37 5 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231990585512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10547] ppid=10538 vsize=2699928 CPUtime=0.32 cores=0,2,4,6
/proc/10540/task/10547/stat : 10547 (java) S 10538 10540 7918 0 -1 4202560 203 0 0 0 29 3 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231989533736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10548] ppid=10538 vsize=2699928 CPUtime=0.29 cores=0,2,4,6
/proc/10540/task/10548/stat : 10548 (java) S 10538 10540 7918 0 -1 4202560 207 0 0 0 26 3 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231988480936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10549] ppid=10538 vsize=2699928 CPUtime=0.26 cores=0,2,4,6
/proc/10540/task/10549/stat : 10549 (java) S 10538 10540 7918 0 -1 4202560 50 0 0 0 24 2 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231987428136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10550] ppid=10538 vsize=2699928 CPUtime=0.41 cores=0,2,4,6
/proc/10540/task/10550/stat : 10550 (java) S 10538 10540 7918 0 -1 4202560 259 0 0 0 37 4 0 0 20 0 18 0 345826824 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231986375336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10551] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10551/stat : 10551 (java) S 10538 10540 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345826825 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231973964264 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10552] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10552/stat : 10552 (java) S 10538 10540 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345826826 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231972910328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10553] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10553/stat : 10553 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345826826 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231971857416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10554] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10554/stat : 10554 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231970805904 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10555] ppid=10538 vsize=2699928 CPUtime=0.3 cores=0,2,4,6
/proc/10540/task/10555/stat : 10555 (java) S 10538 10540 7918 0 -1 4202560 4369 0 0 0 30 0 0 0 20 0 18 0 345826828 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231969754040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10556] ppid=10538 vsize=2699928 CPUtime=0.26 cores=0,2,4,6
/proc/10540/task/10556/stat : 10556 (java) S 10538 10540 7918 0 -1 4202560 3290 0 0 0 26 0 0 0 20 0 18 0 345826828 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231968701240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10557] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10557/stat : 10557 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231967648632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10558] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10558/stat : 10558 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 158627 33554432000 1073741824 1073778376 140736966453952 140231966596040 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 2699928
[startup+6.3007 s]
/proc/loadavg: 3.76 3.95 3.90 4/215 10558
/proc/meminfo: memFree=27047452/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2699928 CPUtime=10.36 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 14453 0 1 0 992 44 0 0 20 0 18 0 345826821 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 674982 181857 2248 9 0 665676 0
[pid=10540/tid=10542] ppid=10538 vsize=2699928 CPUtime=4.99 cores=0,2,4,6
/proc/10540/task/10542/stat : 10542 (java) R 10538 10540 7918 0 -1 4202560 2981 0 1 0 492 7 0 0 20 0 18 0 345826822 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140232009453536 140231840246998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10543] ppid=10538 vsize=2699928 CPUtime=0.52 cores=0,2,4,6
/proc/10540/task/10543/stat : 10543 (java) S 10538 10540 7918 0 -1 4202560 315 0 0 0 48 4 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231993743912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10544] ppid=10538 vsize=2699928 CPUtime=0.6 cores=0,2,4,6
/proc/10540/task/10544/stat : 10544 (java) S 10538 10540 7918 0 -1 4202560 315 0 0 0 56 4 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231992691112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10545] ppid=10538 vsize=2699928 CPUtime=0.57 cores=0,2,4,6
/proc/10540/task/10545/stat : 10545 (java) S 10538 10540 7918 0 -1 4202560 323 0 0 0 52 5 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231991638312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10546] ppid=10538 vsize=2699928 CPUtime=0.7 cores=0,2,4,6
/proc/10540/task/10546/stat : 10546 (java) S 10538 10540 7918 0 -1 4202560 386 0 0 0 64 6 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231990585512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10547] ppid=10538 vsize=2699928 CPUtime=0.53 cores=0,2,4,6
/proc/10540/task/10547/stat : 10547 (java) S 10538 10540 7918 0 -1 4202560 317 0 0 0 49 4 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231989533736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10548] ppid=10538 vsize=2699928 CPUtime=0.52 cores=0,2,4,6
/proc/10540/task/10548/stat : 10548 (java) S 10538 10540 7918 0 -1 4202560 321 0 0 0 47 5 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231988480936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10549] ppid=10538 vsize=2699928 CPUtime=0.54 cores=0,2,4,6
/proc/10540/task/10549/stat : 10549 (java) S 10538 10540 7918 0 -1 4202560 313 0 0 0 50 4 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231987428136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10550] ppid=10538 vsize=2699928 CPUtime=0.66 cores=0,2,4,6
/proc/10540/task/10550/stat : 10550 (java) S 10538 10540 7918 0 -1 4202560 340 0 0 0 61 5 0 0 20 0 18 0 345826824 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231986375336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10551] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10551/stat : 10551 (java) S 10538 10540 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345826825 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231973964264 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10552] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10552/stat : 10552 (java) S 10538 10540 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345826826 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231972910328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10553] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10553/stat : 10553 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345826826 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231971857416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10554] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10554/stat : 10554 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231970805904 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10555] ppid=10538 vsize=2699928 CPUtime=0.3 cores=0,2,4,6
/proc/10540/task/10555/stat : 10555 (java) S 10538 10540 7918 0 -1 4202560 4369 0 0 0 30 0 0 0 20 0 18 0 345826828 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231969754040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10556] ppid=10538 vsize=2699928 CPUtime=0.26 cores=0,2,4,6
/proc/10540/task/10556/stat : 10556 (java) S 10538 10540 7918 0 -1 4202560 3290 0 0 0 26 0 0 0 20 0 18 0 345826828 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231968701240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10557] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10557/stat : 10557 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231967648632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10558] ppid=10538 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10558/stat : 10558 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345826828 2764726272 181857 33554432000 1073741824 1073778376 140736966453952 140231966596040 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 2699928
[startup+12.7008 s]
/proc/loadavg: 3.94 3.98 3.91 5/219 10562
/proc/meminfo: memFree=26880204/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2966184 CPUtime=23.38 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 17513 0 1 0 2283 55 0 0 20 0 22 0 345826821 3037372416 220076 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 741546 220076 2273 9 0 732240 0
[pid=10540/tid=10542] ppid=10538 vsize=2966184 CPUtime=6.61 cores=0,2,4,6
################
# More data... #
################
/proc/10540/statm: 741546 257991 2286 9 0 732240 0
[pid=10540/tid=10542] ppid=10538 vsize=2966184 CPUtime=6.63 cores=0,2,4,6
/proc/10540/task/10542/stat : 10542 (java) S 10538 10540 7918 0 -1 4202560 3003 0 1 0 655 8 0 0 20 0 22 0 345826822 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140232009462936 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10543] ppid=10538 vsize=2966184 CPUtime=3.32 cores=0,2,4,6
/proc/10540/task/10543/stat : 10543 (java) S 10538 10540 7918 0 -1 4202560 368 0 0 0 323 9 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231993743912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10544] ppid=10538 vsize=2966184 CPUtime=3.47 cores=0,2,4,6
/proc/10540/task/10544/stat : 10544 (java) S 10538 10540 7918 0 -1 4202560 351 0 0 0 339 8 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231992691112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10545] ppid=10538 vsize=2966184 CPUtime=3.46 cores=0,2,4,6
/proc/10540/task/10545/stat : 10545 (java) S 10538 10540 7918 0 -1 4202560 737 0 0 0 335 11 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231991638312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10546] ppid=10538 vsize=2966184 CPUtime=3.54 cores=0,2,4,6
/proc/10540/task/10546/stat : 10546 (java) S 10538 10540 7918 0 -1 4202560 429 0 0 0 344 10 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231990585512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10547] ppid=10538 vsize=2966184 CPUtime=3.28 cores=0,2,4,6
/proc/10540/task/10547/stat : 10547 (java) S 10538 10540 7918 0 -1 4202560 346 0 0 0 320 8 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231989533736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10548] ppid=10538 vsize=2966184 CPUtime=3.3 cores=0,2,4,6
/proc/10540/task/10548/stat : 10548 (java) S 10538 10540 7918 0 -1 4202560 642 0 0 0 322 8 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231988480936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10549] ppid=10538 vsize=2966184 CPUtime=3.31 cores=0,2,4,6
/proc/10540/task/10549/stat : 10549 (java) S 10538 10540 7918 0 -1 4202560 364 0 0 0 322 9 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231987428136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10550] ppid=10538 vsize=2966184 CPUtime=3.5 cores=0,2,4,6
/proc/10540/task/10550/stat : 10550 (java) S 10538 10540 7918 0 -1 4202560 399 0 0 0 340 10 0 0 20 0 22 0 345826824 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231986375336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10551] ppid=10538 vsize=2966184 CPUtime=2.45 cores=0,2,4,6
/proc/10540/task/10551/stat : 10551 (java) S 10538 10540 7918 0 -1 4202560 77 0 0 0 219 26 0 0 20 0 22 0 345826825 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231973964264 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10552] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10552/stat : 10552 (java) S 10538 10540 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345826826 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231972910328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10553] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10553/stat : 10553 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345826826 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231971857416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10554] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10554/stat : 10554 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345826828 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231970805904 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10555] ppid=10538 vsize=2966184 CPUtime=0.93 cores=0,2,4,6
/proc/10540/task/10555/stat : 10555 (java) S 10538 10540 7918 0 -1 4202560 4410 0 0 0 93 0 0 0 20 0 22 0 345826828 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231969754040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10556] ppid=10538 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/10540/task/10556/stat : 10556 (java) S 10538 10540 7918 0 -1 4202560 8166 0 0 0 136 2 0 0 20 0 22 0 345826828 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231968701240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10557] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10557/stat : 10557 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345826828 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231967648632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10558] ppid=10538 vsize=2966184 CPUtime=0.35 cores=0,2,4,6
/proc/10540/task/10558/stat : 10558 (java) S 10538 10540 7918 0 -1 4202560 47 0 0 0 16 19 0 0 20 0 22 0 345826828 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231966596040 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10559] ppid=10538 vsize=2966184 CPUtime=802.97 cores=0,2,4,6
/proc/10540/task/10559/stat : 10559 (java) R 10538 10540 7918 0 -1 4202560 109 0 0 0 80284 13 0 0 20 0 22 0 345827621 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231965539840 140231840443174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10560] ppid=10538 vsize=2966184 CPUtime=802.99 cores=0,2,4,6
/proc/10540/task/10560/stat : 10560 (java) R 10538 10540 7918 0 -1 4202560 616 0 0 0 80285 14 0 0 20 0 22 0 345827621 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231964485616 140231840909875 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10561] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10561/stat : 10561 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345827685 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231963435944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10562] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10562/stat : 10562 (java) S 10538 10540 7918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345827686 3037372416 257991 33554432000 1073741824 1073778376 140736966453952 140231962383144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1648.74
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 2.93 3.14 3.49 4/215 10626
/proc/meminfo: memFree=25962724/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2966184 CPUtime=1768.73 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 31224 0 1 0 176730 143 0 0 20 0 22 0 345826821 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 741546 258019 2286 9 0 732240 0
[pid=10540/tid=10542] ppid=10538 vsize=2966184 CPUtime=6.63 cores=0,2,4,6
/proc/10540/task/10542/stat : 10542 (java) S 10538 10540 7918 0 -1 4202560 3006 0 1 0 655 8 0 0 20 0 22 0 345826822 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140232009462936 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10543] ppid=10538 vsize=2966184 CPUtime=3.73 cores=0,2,4,6
/proc/10540/task/10543/stat : 10543 (java) S 10538 10540 7918 0 -1 4202560 368 0 0 0 364 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231993743912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10544] ppid=10538 vsize=2966184 CPUtime=3.86 cores=0,2,4,6
/proc/10540/task/10544/stat : 10544 (java) S 10538 10540 7918 0 -1 4202560 351 0 0 0 377 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231992691112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10545] ppid=10538 vsize=2966184 CPUtime=3.84 cores=0,2,4,6
/proc/10540/task/10545/stat : 10545 (java) S 10538 10540 7918 0 -1 4202560 737 0 0 0 373 11 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231991638312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10546] ppid=10538 vsize=2966184 CPUtime=3.94 cores=0,2,4,6
/proc/10540/task/10546/stat : 10546 (java) S 10538 10540 7918 0 -1 4202560 429 0 0 0 383 11 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231990585512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10547] ppid=10538 vsize=2966184 CPUtime=3.69 cores=0,2,4,6
/proc/10540/task/10547/stat : 10547 (java) S 10538 10540 7918 0 -1 4202560 346 0 0 0 361 8 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231989533736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10548] ppid=10538 vsize=2966184 CPUtime=3.66 cores=0,2,4,6
/proc/10540/task/10548/stat : 10548 (java) S 10538 10540 7918 0 -1 4202560 642 0 0 0 357 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231988480936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10549] ppid=10538 vsize=2966184 CPUtime=3.69 cores=0,2,4,6
/proc/10540/task/10549/stat : 10549 (java) S 10538 10540 7918 0 -1 4202560 364 0 0 0 360 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231987428136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10550] ppid=10538 vsize=2966184 CPUtime=3.89 cores=0,2,4,6
/proc/10540/task/10550/stat : 10550 (java) S 10538 10540 7918 0 -1 4202560 399 0 0 0 379 10 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231986375336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10551] ppid=10538 vsize=2966184 CPUtime=3.72 cores=0,2,4,6
/proc/10540/task/10551/stat : 10551 (java) S 10538 10540 7918 0 -1 4202560 9921 0 0 0 339 33 0 0 20 0 22 0 345826825 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231973964264 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10552] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10552/stat : 10552 (java) S 10538 10540 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345826826 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231972910328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10553] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10553/stat : 10553 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345826826 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231971857416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10554] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10554/stat : 10554 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231970805904 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10555] ppid=10538 vsize=2966184 CPUtime=0.93 cores=0,2,4,6
/proc/10540/task/10555/stat : 10555 (java) S 10538 10540 7918 0 -1 4202560 4410 0 0 0 93 0 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231969754040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10556] ppid=10538 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/10540/task/10556/stat : 10556 (java) S 10538 10540 7918 0 -1 4202560 8166 0 0 0 136 2 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231968701240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10557] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10557/stat : 10557 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231967648632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10558] ppid=10538 vsize=2966184 CPUtime=0.38 cores=0,2,4,6
/proc/10540/task/10558/stat : 10558 (java) S 10538 10540 7918 0 -1 4202560 51 0 0 0 17 21 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231966596040 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10559] ppid=10538 vsize=2966184 CPUtime=860.61 cores=0,2,4,6
/proc/10540/task/10559/stat : 10559 (java) R 10538 10540 7918 0 -1 4202560 131 0 0 0 86047 14 0 0 20 0 22 0 345827621 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231965539024 140231840443301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10560] ppid=10538 vsize=2966184 CPUtime=860.64 cores=0,2,4,6
/proc/10540/task/10560/stat : 10560 (java) R 10538 10540 7918 0 -1 4202560 708 0 0 0 86048 16 0 0 20 0 22 0 345827621 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231964486664 140231840540304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10561] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10561/stat : 10561 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345827685 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231963435944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10562] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10562/stat : 10562 (java) S 10538 10540 7918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345827686 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231962383144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1768.73
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.801 s]
/proc/loadavg: 3.02 3.15 3.48 4/215 10626
/proc/meminfo: memFree=25962600/32873844 swapFree=7120/7120
[pid=10540] ppid=10538 vsize=2966184 CPUtime=1800.07 cores=0,2,4,6
/proc/10540/stat : 10540 (java) S 10538 10540 7918 0 -1 4202496 31253 0 1 0 179861 146 0 0 20 0 22 0 345826821 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140736966445088 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10540/statm: 741546 258019 2286 9 0 732240 0
[pid=10540/tid=10542] ppid=10538 vsize=2966184 CPUtime=6.63 cores=0,2,4,6
/proc/10540/task/10542/stat : 10542 (java) S 10538 10540 7918 0 -1 4202560 3006 0 1 0 655 8 0 0 20 0 22 0 345826822 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140232009462936 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10543] ppid=10538 vsize=2966184 CPUtime=3.83 cores=0,2,4,6
/proc/10540/task/10543/stat : 10543 (java) S 10538 10540 7918 0 -1 4202560 368 0 0 0 374 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231993743912 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10544] ppid=10538 vsize=2966184 CPUtime=3.95 cores=0,2,4,6
/proc/10540/task/10544/stat : 10544 (java) S 10538 10540 7918 0 -1 4202560 351 0 0 0 386 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231992691112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10545] ppid=10538 vsize=2966184 CPUtime=3.93 cores=0,2,4,6
/proc/10540/task/10545/stat : 10545 (java) S 10538 10540 7918 0 -1 4202560 737 0 0 0 381 12 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231991638312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10546] ppid=10538 vsize=2966184 CPUtime=4.06 cores=0,2,4,6
/proc/10540/task/10546/stat : 10546 (java) S 10538 10540 7918 0 -1 4202560 429 0 0 0 395 11 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231990585512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10547] ppid=10538 vsize=2966184 CPUtime=3.8 cores=0,2,4,6
/proc/10540/task/10547/stat : 10547 (java) S 10538 10540 7918 0 -1 4202560 346 0 0 0 371 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231989533736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10548] ppid=10538 vsize=2966184 CPUtime=3.75 cores=0,2,4,6
/proc/10540/task/10548/stat : 10548 (java) S 10538 10540 7918 0 -1 4202560 642 0 0 0 366 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231988480936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10549] ppid=10538 vsize=2966184 CPUtime=3.81 cores=0,2,4,6
/proc/10540/task/10549/stat : 10549 (java) S 10538 10540 7918 0 -1 4202560 364 0 0 0 372 9 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231987428136 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10540/tid=10550] ppid=10538 vsize=2966184 CPUtime=4.01 cores=0,2,4,6
/proc/10540/task/10550/stat : 10550 (java) S 10538 10540 7918 0 -1 4202560 399 0 0 0 391 10 0 0 20 0 22 0 345826824 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231986375336 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10551] ppid=10538 vsize=2966184 CPUtime=3.75 cores=0,2,4,6
/proc/10540/task/10551/stat : 10551 (java) S 10538 10540 7918 0 -1 4202560 9921 0 0 0 340 35 0 0 20 0 22 0 345826825 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231973964264 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10552] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10552/stat : 10552 (java) S 10538 10540 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345826826 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231972910328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10553] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10553/stat : 10553 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345826826 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231971857416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10554] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10554/stat : 10554 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231970805904 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10555] ppid=10538 vsize=2966184 CPUtime=0.93 cores=0,2,4,6
/proc/10540/task/10555/stat : 10555 (java) S 10538 10540 7918 0 -1 4202560 4410 0 0 0 93 0 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231969754040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10556] ppid=10538 vsize=2966184 CPUtime=1.38 cores=0,2,4,6
/proc/10540/task/10556/stat : 10556 (java) S 10538 10540 7918 0 -1 4202560 8166 0 0 0 136 2 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231968701240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10557] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10557/stat : 10557 (java) S 10538 10540 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231967648632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10540/tid=10558] ppid=10538 vsize=2966184 CPUtime=0.39 cores=0,2,4,6
/proc/10540/task/10558/stat : 10558 (java) S 10538 10540 7918 0 -1 4202560 51 0 0 0 18 21 0 0 20 0 22 0 345826828 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231966596040 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10559] ppid=10538 vsize=2966184 CPUtime=875.81 cores=0,2,4,6
/proc/10540/task/10559/stat : 10559 (java) R 10538 10540 7918 0 -1 4202560 136 0 0 0 87567 14 0 0 20 0 22 0 345827621 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231965538960 140231840842776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10540/tid=10560] ppid=10538 vsize=2966184 CPUtime=875.85 cores=0,2,4,6
/proc/10540/task/10560/stat : 10560 (java) R 10538 10540 7918 0 -1 4202560 732 0 0 0 87569 16 0 0 20 0 22 0 345827621 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231964486544 140231840540151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10561] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10561/stat : 10561 (java) S 10538 10540 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 345827685 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231963435944 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10540/tid=10562] ppid=10538 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10540/task/10562/stat : 10562 (java) S 10538 10540 7918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 345827686 3037372416 258019 33554432000 1073741824 1073778376 140736966453952 140231962383144 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 10540 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=309223
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=892712
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 897.828
CPU time (s): 1800.07
CPU user time (s): 1798.61
CPU system time (s): 1.46
CPU usage (%): 200.492
Max. virtual memory (cumulated for all children) (KiB): 2967028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.31
system time used= 1.89271
maximum resident set size= 1071324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31284
page faults= 1
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45511
involuntary context switches= 83029
runsolver used 3.47047 second user time and 8.59369 second system time
The end