runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454187-1307189842/watcher-3454187-1307189842 -o /tmp/evaluation-result-3454187-1307189842/solver-3454187-1307189842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454187-1307189842.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.78 3.85 3.71 3/421 12731
/proc/meminfo: memFree=27970356/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=33696 CPUtime=0 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 1293 0 0 0 0 0 0 0 23 0 2 0 830584615 34504704 1001 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 8437 1007 775 9 0 386 0
[pid=12731/tid=12732] ppid=12729 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 2735 0 1 0 0 0 0 0 25 0 2 0 830584615 10694979584 3552 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.070296 s]
/proc/loadavg: 3.78 3.85 3.71 3/421 12731
/proc/meminfo: memFree=27970356/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10538476 CPUtime=0.06 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 11789 0 1 0 4 2 0 0 23 0 18 0 830584615 10791399424 11485 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2634619 11486 1742 9 0 2625353 0
[pid=12731/tid=12732] ppid=12729 vsize=10538476 CPUtime=0.05 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 10614 0 1 0 4 1 0 0 25 0 18 0 830584615 10791399424 11487 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 47415064710243 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538476
[startup+0.100291 s]
/proc/loadavg: 3.78 3.85 3.71 3/421 12731
/proc/meminfo: memFree=27970356/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10539824 CPUtime=0.1 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 13027 0 1 0 8 2 0 0 23 0 18 0 830584615 10792779776 12723 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2634956 12723 2092 9 0 2625690 0
[pid=12731/tid=12732] ppid=12729 vsize=10539824 CPUtime=0.08 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 11116 0 1 0 6 2 0 0 25 0 18 0 830584615 10792779776 12724 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290708347 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539824
[startup+0.300257 s]
/proc/loadavg: 3.78 3.85 3.71 3/421 12731
/proc/meminfo: memFree=27970356/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10541332 CPUtime=0.45 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 49061 0 1 0 38 7 0 0 23 0 18 0 830584615 10794323968 48326 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2635333 48328 2198 9 0 2626067 0
[pid=12731/tid=12732] ppid=12729 vsize=10541332 CPUtime=0.28 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 45909 0 1 0 22 6 0 0 25 0 18 0 830584615 10794323968 48329 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912505592016 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541332
[startup+0.700187 s]
/proc/loadavg: 3.78 3.85 3.71 3/421 12731
/proc/meminfo: memFree=27970356/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10541332 CPUtime=0.87 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 75322 0 1 0 76 11 0 0 23 0 18 0 830584615 10794323968 74587 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2635333 74589 2199 9 0 2626067 0
[pid=12731/tid=12732] ppid=12729 vsize=10541332 CPUtime=0.68 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 72162 0 1 0 58 10 0 0 25 0 18 0 830584615 10794323968 74591 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912505576606 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10541332
[startup+1.50104 s]
/proc/loadavg: 3.78 3.85 3.71 4/439 12749
/proc/meminfo: memFree=27602300/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10541332 CPUtime=1.66 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 125912 0 1 0 149 17 0 0 23 0 18 0 830584615 10794323968 125177 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2635333 125180 2199 9 0 2626067 0
[pid=12731/tid=12732] ppid=12729 vsize=10541332 CPUtime=1.48 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 122752 0 1 0 132 16 0 0 25 0 18 0 830584615 10794323968 125181 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912505600681 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12731/tid=12734] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12734/stat : 12734 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125183 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12735] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12735/stat : 12735 (java) S 12729 12731 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125184 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12736] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12736/stat : 12736 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125186 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12737] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12737/stat : 12737 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125188 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12738] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12738/stat : 12738 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125189 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12739] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12739/stat : 12739 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125191 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12740] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12740/stat : 12740 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125192 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12741] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12741/stat : 12741 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 125192 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12742] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12742/stat : 12742 (java) S 12729 12731 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830584618 10794323968 125194 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 0 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12743] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12743/stat : 12743 (java) S 12729 12731 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830584619 10794323968 125195 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12744] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12744/stat : 12744 (java) S 12729 12731 8078 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830584619 10794323968 125197 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12745] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12745/stat : 12745 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584621 10794323968 125198 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290703281 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12746] ppid=12729 vsize=10541332 CPUtime=0.09 cores=1,3,5,7
/proc/12731/task/12746/stat : 12746 (java) S 12729 12731 8078 0 -1 4202560 942 0 0 0 9 0 0 0 25 0 18 0 830584621 10794323968 125200 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12747] ppid=12729 vsize=10541332 CPUtime=0.07 cores=1,3,5,7
/proc/12731/task/12747/stat : 12747 (java) S 12729 12731 8078 0 -1 4202560 1068 0 0 0 7 0 0 0 18 0 18 0 830584621 10794323968 125201 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12748] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12748/stat : 12748 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584621 10794323968 125203 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12749] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12749/stat : 12749 (java) S 12729 12731 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 830584621 10794323968 125205 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10541332
[startup+3.10076 s]
/proc/loadavg: 3.78 3.85 3.71 3/439 12749
/proc/meminfo: memFree=27312760/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10541332 CPUtime=3.26 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 229198 0 1 0 300 26 0 0 23 0 18 0 830584615 10794323968 228464 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2635333 228466 2203 9 0 2626067 0
[pid=12731/tid=12732] ppid=12729 vsize=10541332 CPUtime=3.09 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 226035 0 1 0 283 26 0 0 25 0 18 0 830584615 10794323968 228468 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12731/tid=12734] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12734/stat : 12734 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228469 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12735] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12735/stat : 12735 (java) S 12729 12731 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228471 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12736] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12736/stat : 12736 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228472 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12737] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12737/stat : 12737 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228474 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12738] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12738/stat : 12738 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228476 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12739] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12739/stat : 12739 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228477 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12740] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12740/stat : 12740 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228477 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12741] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12741/stat : 12741 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10794323968 228479 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12742] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12742/stat : 12742 (java) S 12729 12731 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830584618 10794323968 228480 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 0 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12743] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12743/stat : 12743 (java) S 12729 12731 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830584619 10794323968 228482 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12744] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12744/stat : 12744 (java) S 12729 12731 8078 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830584619 10794323968 228483 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12745] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12745/stat : 12745 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584621 10794323968 228485 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290703281 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12746] ppid=12729 vsize=10541332 CPUtime=0.09 cores=1,3,5,7
/proc/12731/task/12746/stat : 12746 (java) S 12729 12731 8078 0 -1 4202560 942 0 0 0 9 0 0 0 25 0 18 0 830584621 10794323968 228487 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12747] ppid=12729 vsize=10541332 CPUtime=0.07 cores=1,3,5,7
/proc/12731/task/12747/stat : 12747 (java) S 12729 12731 8078 0 -1 4202560 1072 0 0 0 7 0 0 0 15 0 18 0 830584621 10794323968 228488 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12748] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12748/stat : 12748 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584621 10794323968 228490 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12749] ppid=12729 vsize=10541332 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12749/stat : 12749 (java) S 12729 12731 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 830584621 10794323968 228491 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10541332
[startup+6.30119 s]
/proc/loadavg: 3.88 3.87 3.71 4/439 12749
/proc/meminfo: memFree=26164740/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10546992 CPUtime=7.1 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 548904 0 1 0 645 65 0 0 23 0 18 0 830584615 10800119808 544280 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2636748 544284 2215 9 0 2627482 0
[pid=12731/tid=12732] ppid=12729 vsize=10546992 CPUtime=6.28 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) R 12729 12731 8078 0 -1 4202560 538140 0 1 0 565 63 0 0 22 0 18 0 830584615 10800119808 544285 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912505576643 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12731/tid=12734] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12734/stat : 12734 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544288 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12735] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12735/stat : 12735 (java) S 12729 12731 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544290 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12736] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12736/stat : 12736 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544299 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12737] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12737/stat : 12737 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544300 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12738] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12738/stat : 12738 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544303 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12739] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12739/stat : 12739 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544308 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12740] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12740/stat : 12740 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544308 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12741] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12741/stat : 12741 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584617 10800119808 544310 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12742] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12742/stat : 12742 (java) S 12729 12731 8078 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 830584618 10800119808 544313 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 0 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12743] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12743/stat : 12743 (java) S 12729 12731 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830584619 10800119808 544318 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12744] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12744/stat : 12744 (java) S 12729 12731 8078 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 830584619 10800119808 544319 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12745] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12745/stat : 12745 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584621 10800119808 544321 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290703281 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12746] ppid=12729 vsize=10546992 CPUtime=0.37 cores=1,3,5,7
/proc/12731/task/12746/stat : 12746 (java) R 12729 12731 8078 0 -1 4202560 3422 0 0 0 37 0 0 0 15 0 18 0 830584621 10800119808 544321 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 47415061403313 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12731/tid=12747] ppid=12729 vsize=10546992 CPUtime=0.43 cores=1,3,5,7
/proc/12731/task/12747/stat : 12747 (java) R 12729 12731 8078 0 -1 4202560 6192 0 0 0 42 1 0 0 15 0 18 0 830584621 10800119808 544324 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 47415061132905 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12731/tid=12748] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12748/stat : 12748 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830584621 10800119808 544326 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12749] ppid=12729 vsize=10546992 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12749/stat : 12749 (java) S 12729 12731 8078 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 830584621 10800119808 544329 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=19279960/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10617960 CPUtime=1600.64 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 1673378 0 1 0 159843 221 0 0 23 0 22 0 830584615 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2654490 1655162 2263 9 0 2645224 0
[pid=12731/tid=12732] ppid=12729 vsize=10617960 CPUtime=24.74 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) S 12729 12731 8078 0 -1 4202560 651055 0 1 0 2390 84 0 0 15 0 22 0 830584615 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12734] ppid=12729 vsize=10617960 CPUtime=4.7 cores=1,3,5,7
/proc/12731/task/12734/stat : 12734 (java) S 12729 12731 8078 0 -1 4202560 126897 0 0 0 453 17 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12735] ppid=12729 vsize=10617960 CPUtime=5.08 cores=1,3,5,7
/proc/12731/task/12735/stat : 12735 (java) S 12729 12731 8078 0 -1 4202560 108047 0 0 0 494 14 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12736] ppid=12729 vsize=10617960 CPUtime=5.58 cores=1,3,5,7
/proc/12731/task/12736/stat : 12736 (java) S 12729 12731 8078 0 -1 4202560 144867 0 0 0 541 17 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12737] ppid=12729 vsize=10617960 CPUtime=5.33 cores=1,3,5,7
/proc/12731/task/12737/stat : 12737 (java) S 12729 12731 8078 0 -1 4202560 113763 0 0 0 520 13 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12738] ppid=12729 vsize=10617960 CPUtime=4.89 cores=1,3,5,7
/proc/12731/task/12738/stat : 12738 (java) S 12729 12731 8078 0 -1 4202560 131935 0 0 0 473 16 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12739] ppid=12729 vsize=10617960 CPUtime=5.69 cores=1,3,5,7
/proc/12731/task/12739/stat : 12739 (java) S 12729 12731 8078 0 -1 4202560 106523 0 0 0 554 15 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12740] ppid=12729 vsize=10617960 CPUtime=5.16 cores=1,3,5,7
/proc/12731/task/12740/stat : 12740 (java) S 12729 12731 8078 0 -1 4202560 113440 0 0 0 500 16 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12741] ppid=12729 vsize=10617960 CPUtime=5.75 cores=1,3,5,7
/proc/12731/task/12741/stat : 12741 (java) S 12729 12731 8078 0 -1 4202560 155639 0 0 0 555 20 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12742] ppid=12729 vsize=10617960 CPUtime=41.82 cores=1,3,5,7
/proc/12731/task/12742/stat : 12742 (java) S 12729 12731 8078 0 -1 4202560 9972 0 0 0 4181 1 0 0 15 0 22 0 830584618 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 0 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12743] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12743/stat : 12743 (java) S 12729 12731 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830584619 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12744] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12744/stat : 12744 (java) S 12729 12731 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830584619 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12745] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12745/stat : 12745 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290703281 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12746] ppid=12729 vsize=10617960 CPUtime=0.99 cores=1,3,5,7
/proc/12731/task/12746/stat : 12746 (java) S 12729 12731 8078 0 -1 4202560 3507 0 0 0 99 0 0 0 15 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12747] ppid=12729 vsize=10617960 CPUtime=1.22 cores=1,3,5,7
/proc/12731/task/12747/stat : 12747 (java) S 12729 12731 8078 0 -1 4202560 6329 0 0 0 121 1 0 0 15 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12748] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12748/stat : 12748 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12749] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12749/stat : 12749 (java) S 12729 12731 8078 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12751] ppid=12729 vsize=10617960 CPUtime=744.86 cores=1,3,5,7
/proc/12731/task/12751/stat : 12751 (java) R 12729 12731 8078 0 -1 4202560 77 0 0 0 74486 0 0 0 25 0 22 0 830587404 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912506038286 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12731/tid=12752] ppid=12729 vsize=10617960 CPUtime=744.69 cores=1,3,5,7
/proc/12731/task/12752/stat : 12752 (java) R 12729 12731 8078 0 -1 4202560 118 0 0 0 74469 0 0 0 25 0 22 0 830587404 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912505620930 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12731/tid=12753] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12753/stat : 12753 (java) S 12729 12731 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830587548 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12754] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12754/stat : 12754 (java) S 12729 12731 8078 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830587595 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1600.64
Current children cumulated vsize (KiB) 10617960
[startup+882.301 s]
/proc/loadavg: 3.20 3.80 3.80 3/416 12800
/proc/meminfo: memFree=23229668/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10617960 CPUtime=1716.02 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 1673394 0 1 0 171381 221 0 0 23 0 22 0 830584615 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2654490 1655162 2263 9 0 2645224 0
[pid=12731/tid=12732] ppid=12729 vsize=10617960 CPUtime=24.74 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) S 12729 12731 8078 0 -1 4202560 651057 0 1 0 2390 84 0 0 15 0 22 0 830584615 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12734] ppid=12729 vsize=10617960 CPUtime=4.82 cores=1,3,5,7
/proc/12731/task/12734/stat : 12734 (java) S 12729 12731 8078 0 -1 4202560 126897 0 0 0 465 17 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12735] ppid=12729 vsize=10617960 CPUtime=5.21 cores=1,3,5,7
/proc/12731/task/12735/stat : 12735 (java) S 12729 12731 8078 0 -1 4202560 108047 0 0 0 507 14 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12736] ppid=12729 vsize=10617960 CPUtime=5.74 cores=1,3,5,7
/proc/12731/task/12736/stat : 12736 (java) S 12729 12731 8078 0 -1 4202560 144867 0 0 0 557 17 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12737] ppid=12729 vsize=10617960 CPUtime=5.43 cores=1,3,5,7
/proc/12731/task/12737/stat : 12737 (java) S 12729 12731 8078 0 -1 4202560 113763 0 0 0 530 13 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12738] ppid=12729 vsize=10617960 CPUtime=4.94 cores=1,3,5,7
/proc/12731/task/12738/stat : 12738 (java) S 12729 12731 8078 0 -1 4202560 131935 0 0 0 478 16 0 0 15 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12739] ppid=12729 vsize=10617960 CPUtime=5.77 cores=1,3,5,7
/proc/12731/task/12739/stat : 12739 (java) S 12729 12731 8078 0 -1 4202560 106523 0 0 0 562 15 0 0 15 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12740] ppid=12729 vsize=10617960 CPUtime=5.32 cores=1,3,5,7
/proc/12731/task/12740/stat : 12740 (java) S 12729 12731 8078 0 -1 4202560 113440 0 0 0 516 16 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12741] ppid=12729 vsize=10617960 CPUtime=5.79 cores=1,3,5,7
/proc/12731/task/12741/stat : 12741 (java) S 12729 12731 8078 0 -1 4202560 155639 0 0 0 559 20 0 0 16 0 22 0 830584617 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12742] ppid=12729 vsize=10617960 CPUtime=46.83 cores=1,3,5,7
/proc/12731/task/12742/stat : 12742 (java) S 12729 12731 8078 0 -1 4202560 9976 0 0 0 4682 1 0 0 15 0 22 0 830584618 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 0 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12743] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12743/stat : 12743 (java) S 12729 12731 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830584619 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12744] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12744/stat : 12744 (java) S 12729 12731 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830584619 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12745] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12745/stat : 12745 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290703281 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12746] ppid=12729 vsize=10617960 CPUtime=0.99 cores=1,3,5,7
/proc/12731/task/12746/stat : 12746 (java) S 12729 12731 8078 0 -1 4202560 3507 0 0 0 99 0 0 0 15 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12747] ppid=12729 vsize=10617960 CPUtime=1.22 cores=1,3,5,7
/proc/12731/task/12747/stat : 12747 (java) S 12729 12731 8078 0 -1 4202560 6329 0 0 0 121 1 0 0 15 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12748] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12748/stat : 12748 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12749] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12749/stat : 12749 (java) S 12729 12731 8078 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830584621 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12751] ppid=12729 vsize=10617960 CPUtime=799.64 cores=1,3,5,7
/proc/12731/task/12751/stat : 12751 (java) R 12729 12731 8078 0 -1 4202560 82 0 0 0 79964 0 0 0 25 0 22 0 830587404 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912506038320 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12731/tid=12752] ppid=12729 vsize=10617960 CPUtime=799.46 cores=1,3,5,7
/proc/12731/task/12752/stat : 12752 (java) R 12729 12731 8078 0 -1 4202560 119 0 0 0 79946 0 0 0 25 0 22 0 830587404 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912506165736 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12731/tid=12753] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12753/stat : 12753 (java) S 12729 12731 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830587548 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12754] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12754/stat : 12754 (java) S 12729 12731 8078 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830587595 10872791040 1655162 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1716.02
Current children cumulated vsize (KiB) 10617960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+924.201 s]
/proc/loadavg: 2.57 3.55 3.72 3/416 12801
/proc/meminfo: memFree=23219736/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=10617960 CPUtime=1800.14 cores=1,3,5,7
/proc/12731/stat : 12731 (java) S 12729 12731 8078 0 -1 4202496 1676124 0 1 0 179792 222 0 0 23 0 22 0 830584615 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 2654490 1657815 2263 9 0 2645224 0
[pid=12731/tid=12732] ppid=12729 vsize=10617960 CPUtime=24.74 cores=1,3,5,7
/proc/12731/task/12732/stat : 12732 (java) S 12729 12731 8078 0 -1 4202560 651057 0 1 0 2390 84 0 0 15 0 22 0 830584615 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12734] ppid=12729 vsize=10617960 CPUtime=4.93 cores=1,3,5,7
/proc/12731/task/12734/stat : 12734 (java) S 12729 12731 8078 0 -1 4202560 127206 0 0 0 476 17 0 0 16 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12735] ppid=12729 vsize=10617960 CPUtime=5.29 cores=1,3,5,7
/proc/12731/task/12735/stat : 12735 (java) S 12729 12731 8078 0 -1 4202560 108050 0 0 0 515 14 0 0 15 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12736] ppid=12729 vsize=10617960 CPUtime=5.81 cores=1,3,5,7
/proc/12731/task/12736/stat : 12736 (java) S 12729 12731 8078 0 -1 4202560 145206 0 0 0 563 18 0 0 15 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12737] ppid=12729 vsize=10617960 CPUtime=5.51 cores=1,3,5,7
/proc/12731/task/12737/stat : 12737 (java) S 12729 12731 8078 0 -1 4202560 114118 0 0 0 538 13 0 0 16 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12738] ppid=12729 vsize=10617960 CPUtime=5 cores=1,3,5,7
/proc/12731/task/12738/stat : 12738 (java) S 12729 12731 8078 0 -1 4202560 132260 0 0 0 484 16 0 0 16 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12739] ppid=12729 vsize=10617960 CPUtime=5.91 cores=1,3,5,7
/proc/12731/task/12739/stat : 12739 (java) S 12729 12731 8078 0 -1 4202560 107308 0 0 0 576 15 0 0 16 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12740] ppid=12729 vsize=10617960 CPUtime=5.37 cores=1,3,5,7
/proc/12731/task/12740/stat : 12740 (java) S 12729 12731 8078 0 -1 4202560 113524 0 0 0 521 16 0 0 16 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12741] ppid=12729 vsize=10617960 CPUtime=5.85 cores=1,3,5,7
/proc/12731/task/12741/stat : 12741 (java) S 12729 12731 8078 0 -1 4202560 156159 0 0 0 565 20 0 0 15 0 22 0 830584617 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12742] ppid=12729 vsize=10617960 CPUtime=46.83 cores=1,3,5,7
/proc/12731/task/12742/stat : 12742 (java) S 12729 12731 8078 0 -1 4202560 9978 0 0 0 4682 1 0 0 15 0 22 0 830584618 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 0 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12743] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12743/stat : 12743 (java) S 12729 12731 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830584619 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12744] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12744/stat : 12744 (java) S 12729 12731 8078 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830584619 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 7 0 0 0
[pid=12731/tid=12745] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12745/stat : 12745 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830584621 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290703281 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12746] ppid=12729 vsize=10617960 CPUtime=0.99 cores=1,3,5,7
/proc/12731/task/12746/stat : 12746 (java) S 12729 12731 8078 0 -1 4202560 3507 0 0 0 99 0 0 0 15 0 22 0 830584621 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12747] ppid=12729 vsize=10617960 CPUtime=1.22 cores=1,3,5,7
/proc/12731/task/12747/stat : 12747 (java) S 12729 12731 8078 0 -1 4202560 6329 0 0 0 121 1 0 0 15 0 22 0 830584621 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12748] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12748/stat : 12748 (java) S 12729 12731 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830584621 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290695577 0 4 0 16800975 18446604463417525312 0 0 -1 5 0 0 0
[pid=12731/tid=12749] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12749/stat : 12749 (java) S 12729 12731 8078 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830584621 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
[pid=12731/tid=12751] ppid=12729 vsize=10617960 CPUtime=841.39 cores=1,3,5,7
/proc/12731/task/12751/stat : 12751 (java) R 12729 12731 8078 0 -1 4202560 84 0 0 0 84139 0 0 0 25 0 22 0 830587404 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912506038320 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12731/tid=12752] ppid=12729 vsize=10617960 CPUtime=841.2 cores=1,3,5,7
/proc/12731/task/12752/stat : 12752 (java) R 12729 12731 8078 0 -1 4202560 123 0 0 0 84120 0 0 0 25 0 22 0 830587404 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 46912506236884 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12731/tid=12753] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12753/stat : 12753 (java) S 12729 12731 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830587548 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 1 0 0 0
[pid=12731/tid=12754] ppid=12729 vsize=10617960 CPUtime=0 cores=1,3,5,7
/proc/12731/task/12754/stat : 12754 (java) S 12729 12731 8078 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830587595 10872791040 1657815 33554432000 1073741824 1073778376 140733614671088 18446744073709551615 237290696192 0 4 0 16800975 18446604463417525312 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10617960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+924.401 s]
/proc/loadavg: 2.57 3.55 3.72 3/416 12801
/proc/meminfo: memFree=23219736/32950904 swapFree=56615552/67111528
[pid=12731] ppid=12729 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/12731/stat : 12731 (java) Z 12729 12731 8078 0 -1 4203548 1676157 0 1 0 179798 237 0 0 17 0 2 0 830584615 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12731/statm: 0 0 0 0 0 0 0
[pid=12731/tid=12752] ppid=12729 vsize=0 CPUtime=841.36 cores=1,3,5,7
/proc/12731/task/12752/stat : 12752 (java) R 12729 12731 8078 0 -1 4203588 123 0 0 0 84121 15 0 0 25 0 2 0 830587404 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 924.497
CPU time (s): 1800.46
CPU user time (s): 1797.99
CPU system time (s): 2.47062
CPU usage (%): 194.75
Max. virtual memory (cumulated for all children) (KiB): 10617960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.47062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1676157
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24534
involuntary context switches= 44360
runsolver used 3.56046 second user time and 9.09762 second system time
The end