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-3454990-1307187623/watcher-3454990-1307187623 -o /tmp/evaluation-result-3454990-1307187623/solver-3454990-1307187623 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454990-1307187623.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: 1.08 1.62 1.85 1/528 7723
/proc/meminfo: memFree=15234496/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 3932 0 1 0 0 0 0 0 25 0 2 0 830360963 10694979584 3633 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2611079 3646 917 9 0 2602235 0
[pid=7723/tid=7724] ppid=7721 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) R 7721 7723 4029 0 -1 4202560 8231 0 1 0 0 0 0 0 25 0 2 0 830360964 10694979584 9047 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.094477 s]
/proc/loadavg: 1.08 1.62 1.85 1/528 7723
/proc/meminfo: memFree=15234496/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10540028 CPUtime=0.1 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 12991 0 1 0 9 1 0 0 25 0 18 0 830360963 10792988672 12665 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2635007 12665 2092 9 0 2625741 0
[pid=7723/tid=7724] ppid=7721 vsize=10540028 CPUtime=0.08 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) R 7721 7723 4029 0 -1 4202560 11043 0 1 0 7 1 0 0 25 0 18 0 830360964 10792988672 12665 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912496207005 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540028
[startup+0.100473 s]
/proc/loadavg: 1.08 1.62 1.85 1/528 7723
/proc/meminfo: memFree=15234496/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10540028 CPUtime=0.1 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 13076 0 1 0 9 1 0 0 25 0 18 0 830360963 10792988672 12750 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2635007 12752 2092 9 0 2625741 0
[pid=7723/tid=7724] ppid=7721 vsize=10540028 CPUtime=0.09 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) R 7721 7723 4029 0 -1 4202560 11130 0 1 0 8 1 0 0 25 0 18 0 830360964 10792988672 12752 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540028
[startup+0.300461 s]
/proc/loadavg: 1.08 1.62 1.85 1/528 7723
/proc/meminfo: memFree=15234496/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10542400 CPUtime=0.46 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 15660 0 1 0 44 2 0 0 25 0 18 0 830360963 10795417600 15152 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2635600 15152 2198 9 0 2626334 0
[pid=7723/tid=7724] ppid=7721 vsize=10542400 CPUtime=0.28 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) R 7721 7723 4029 0 -1 4202560 12829 0 1 0 27 1 0 0 25 0 18 0 830360964 10795417600 15152 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505589212 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542400
[startup+0.786353 s]
/proc/loadavg: 1.08 1.62 1.85 1/528 7723
/proc/meminfo: memFree=15234496/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10551876 CPUtime=1.74 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 39936 0 1 0 169 5 0 0 25 0 22 0 830360963 10805121024 37492 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2637969 37493 2237 9 0 2628703 0
[pid=7723/tid=7724] ppid=7721 vsize=10551876 CPUtime=0.59 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) S 7721 7723 4029 0 -1 4202560 31708 0 1 0 56 3 0 0 25 0 22 0 830360964 10805121024 37493 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 10551876
[startup+1.5012 s]
/proc/loadavg: 1.08 1.62 1.85 5/570 7793
/proc/meminfo: memFree=14971492/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10557964 CPUtime=3.77 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 72497 0 1 0 368 9 0 0 25 0 22 0 830360963 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2639491 67031 2238 9 0 2630225 0
[pid=7723/tid=7724] ppid=7721 vsize=10557964 CPUtime=0.59 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) S 7721 7723 4029 0 -1 4202560 31708 0 1 0 56 3 0 0 20 0 22 0 830360964 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7726/stat : 7726 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7727/stat : 7727 (java) S 7721 7723 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7728/stat : 7728 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7729/stat : 7729 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7730/stat : 7730 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
[pid=7723/tid=7731] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7731/stat : 7731 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7732] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7732/stat : 7732 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7733] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7733/stat : 7733 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7734] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7734/stat : 7734 (java) S 7721 7723 4029 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 830360966 10811355136 67031 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 0 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7735] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7735/stat : 7735 (java) S 7721 7723 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830360967 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7736] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7736/stat : 7736 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830360967 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7741] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7741/stat : 7741 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982373809 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7742] ppid=7721 vsize=10557964 CPUtime=0.7 cores=0,2,4,6
/proc/7723/task/7742/stat : 7742 (java) S 7721 7723 4029 0 -1 4202560 2960 0 0 0 70 0 0 0 15 0 22 0 830360969 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7743] ppid=7721 vsize=10557964 CPUtime=0.72 cores=0,2,4,6
/proc/7723/task/7743/stat : 7743 (java) R 7721 7723 4029 0 -1 4202560 7161 0 0 0 71 1 0 0 16 0 22 0 830360969 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 47148967462289 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7723/tid=7744] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7744/stat : 7744 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7745] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7745/stat : 7745 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830360969 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7786] ppid=7721 vsize=10557964 CPUtime=0.87 cores=0,2,4,6
/proc/7723/task/7786/stat : 7786 (java) R 7721 7723 4029 0 -1 4202560 308 0 0 0 87 0 0 0 25 0 22 0 830361025 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7723/tid=7787] ppid=7721 vsize=10557964 CPUtime=0.85 cores=0,2,4,6
/proc/7723/task/7787/stat : 7787 (java) R 7721 7723 4029 0 -1 4202560 29193 0 0 0 81 4 0 0 19 0 22 0 830361025 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505834840 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7723/tid=7788] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7788/stat : 7788 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830361027 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7789] ppid=7721 vsize=10557964 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7789/stat : 7789 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830361027 10811355136 67032 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 10557964
[startup+3.10089 s]
/proc/loadavg: 1.08 1.62 1.85 6/569 7838
/proc/meminfo: memFree=14763064/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10558440 CPUtime=7.13 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 156378 0 1 0 693 20 0 0 25 0 22 0 830360963 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2639610 150776 2241 9 0 2630344 0
[pid=7723/tid=7724] ppid=7721 vsize=10558440 CPUtime=0.59 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) S 7721 7723 4029 0 -1 4202560 31708 0 1 0 56 3 0 0 15 0 22 0 830360964 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7726/stat : 7726 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7727/stat : 7727 (java) S 7721 7723 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7728/stat : 7728 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7729/stat : 7729 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7730/stat : 7730 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
[pid=7723/tid=7731] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7731/stat : 7731 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7732] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7732/stat : 7732 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7733] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7733/stat : 7733 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360965 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7734] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7734/stat : 7734 (java) S 7721 7723 4029 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830360966 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 0 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7735] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7735/stat : 7735 (java) S 7721 7723 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830360967 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7736] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7736/stat : 7736 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830360967 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7741] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7741/stat : 7741 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982373809 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7742] ppid=7721 vsize=10558440 CPUtime=0.74 cores=0,2,4,6
/proc/7723/task/7742/stat : 7742 (java) S 7721 7723 4029 0 -1 4202560 3097 0 0 0 74 0 0 0 15 0 22 0 830360969 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7743] ppid=7721 vsize=10558440 CPUtime=0.83 cores=0,2,4,6
/proc/7723/task/7743/stat : 7743 (java) S 7721 7723 4029 0 -1 4202560 7323 0 0 0 82 1 0 0 15 0 22 0 830360969 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7744] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7744/stat : 7744 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7745] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7745/stat : 7745 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830360969 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7786] ppid=7721 vsize=10558440 CPUtime=2.47 cores=0,2,4,6
/proc/7723/task/7786/stat : 7786 (java) R 7721 7723 4029 0 -1 4202560 570 0 0 0 247 0 0 0 25 0 22 0 830361025 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505810570 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7723/tid=7787] ppid=7721 vsize=10558440 CPUtime=2.44 cores=0,2,4,6
/proc/7723/task/7787/stat : 7787 (java) R 7721 7723 4029 0 -1 4202560 112511 0 0 0 230 14 0 0 20 0 22 0 830361025 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505835003 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7723/tid=7788] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7788/stat : 7788 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830361027 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7789] ppid=7721 vsize=10558440 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7789/stat : 7789 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830361027 10811842560 150776 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 10558440
Solver just ended. Dumping a history of the last processes samples
[startup+3.90076 s]
/proc/loadavg: 1.08 1.62 1.85 8/573 7842
/proc/meminfo: memFree=14118248/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10563532 CPUtime=8.73 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 188103 0 1 0 840 33 0 0 25 0 22 0 830360963 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2640883 181629 2265 9 0 2631617 0
[pid=7723/tid=7724] ppid=7721 vsize=10563532 CPUtime=0.59 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) S 7721 7723 4029 0 -1 4202560 31708 0 1 0 56 3 0 0 15 0 22 0 830360964 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7726/stat : 7726 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7727/stat : 7727 (java) S 7721 7723 4029 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7728/stat : 7728 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=10563532 CPUtime=0.01 cores=0,2,4,6
/proc/7723/task/7729/stat : 7729 (java) S 7721 7723 4029 0 -1 4202560 257 0 0 0 1 0 0 0 17 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7730/stat : 7730 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7731] ppid=7721 vsize=10563532 CPUtime=0.01 cores=0,2,4,6
/proc/7723/task/7731/stat : 7731 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 1 0 0 18 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
[pid=7723/tid=7732] ppid=7721 vsize=10563532 CPUtime=0.02 cores=0,2,4,6
/proc/7723/task/7732/stat : 7732 (java) S 7721 7723 4029 0 -1 4202560 1354 0 0 0 2 0 0 0 18 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7733] ppid=7721 vsize=10563532 CPUtime=0.03 cores=0,2,4,6
/proc/7723/task/7733/stat : 7733 (java) S 7721 7723 4029 0 -1 4202560 1450 0 0 0 3 0 0 0 18 0 22 0 830360965 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7734] ppid=7721 vsize=10563532 CPUtime=0.05 cores=0,2,4,6
/proc/7723/task/7734/stat : 7734 (java) S 7721 7723 4029 0 -1 4202560 3057 0 0 0 4 1 0 0 15 0 22 0 830360966 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 0 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7735] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7735/stat : 7735 (java) S 7721 7723 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830360967 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7736] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7736/stat : 7736 (java) S 7721 7723 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830360967 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7741] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7741/stat : 7741 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982373809 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7742] ppid=7721 vsize=10563532 CPUtime=0.8 cores=0,2,4,6
/proc/7723/task/7742/stat : 7742 (java) R 7721 7723 4029 0 -1 4202560 3098 0 0 0 78 2 0 0 15 0 22 0 830360969 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 47148966083681 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7723/tid=7743] ppid=7721 vsize=10563532 CPUtime=0.93 cores=0,2,4,6
/proc/7723/task/7743/stat : 7743 (java) R 7721 7723 4029 0 -1 4202560 9378 0 0 0 91 2 0 0 15 0 22 0 830360969 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 47148967212697 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7723/tid=7744] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7744/stat : 7744 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7745] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7745/stat : 7745 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830360969 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7786] ppid=7721 vsize=10563532 CPUtime=3.13 cores=0,2,4,6
/proc/7723/task/7786/stat : 7786 (java) R 7721 7723 4029 0 -1 4202560 658 0 0 0 313 0 0 0 16 0 22 0 830361025 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505859622 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7723/tid=7787] ppid=7721 vsize=10563532 CPUtime=3 cores=0,2,4,6
/proc/7723/task/7787/stat : 7787 (java) R 7721 7723 4029 0 -1 4202560 135973 0 0 0 283 17 0 0 20 0 22 0 830361025 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505881894 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7723/tid=7788] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7788/stat : 7788 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830361027 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7789] ppid=7721 vsize=10563532 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7789/stat : 7789 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830361027 10817056768 181629 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.73
Current children cumulated vsize (KiB) 10563532
[startup+4.70171 s]
/proc/loadavg: 1.08 1.62 1.85 5/573 7842
/proc/meminfo: memFree=13612356/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10568716 CPUtime=10.77 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 206565 0 1 0 1038 39 0 0 25 0 22 0 830360963 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2642179 200090 2265 9 0 2632913 0
[pid=7723/tid=7724] ppid=7721 vsize=10568716 CPUtime=0.59 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) S 7721 7723 4029 0 -1 4202560 31708 0 1 0 56 3 0 0 15 0 22 0 830360964 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7726/stat : 7726 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7727/stat : 7727 (java) S 7721 7723 4029 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7728/stat : 7728 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=10568716 CPUtime=0.01 cores=0,2,4,6
/proc/7723/task/7729/stat : 7729 (java) S 7721 7723 4029 0 -1 4202560 257 0 0 0 1 0 0 0 17 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7730/stat : 7730 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7731] ppid=7721 vsize=10568716 CPUtime=0.01 cores=0,2,4,6
/proc/7723/task/7731/stat : 7731 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 1 0 0 18 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
[pid=7723/tid=7732] ppid=7721 vsize=10568716 CPUtime=0.02 cores=0,2,4,6
/proc/7723/task/7732/stat : 7732 (java) S 7721 7723 4029 0 -1 4202560 1354 0 0 0 2 0 0 0 18 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7733] ppid=7721 vsize=10568716 CPUtime=0.03 cores=0,2,4,6
/proc/7723/task/7733/stat : 7733 (java) S 7721 7723 4029 0 -1 4202560 1450 0 0 0 3 0 0 0 18 0 22 0 830360965 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7734] ppid=7721 vsize=10568716 CPUtime=0.05 cores=0,2,4,6
/proc/7723/task/7734/stat : 7734 (java) S 7721 7723 4029 0 -1 4202560 3057 0 0 0 4 1 0 0 15 0 22 0 830360966 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 0 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7735] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7735/stat : 7735 (java) S 7721 7723 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830360967 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7736] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7736/stat : 7736 (java) S 7721 7723 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830360967 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7741] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7741/stat : 7741 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982373809 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7742] ppid=7721 vsize=10568716 CPUtime=0.94 cores=0,2,4,6
/proc/7723/task/7742/stat : 7742 (java) S 7721 7723 4029 0 -1 4202560 3098 0 0 0 88 6 0 0 15 0 22 0 830360969 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7743] ppid=7721 vsize=10568716 CPUtime=1.25 cores=0,2,4,6
/proc/7723/task/7743/stat : 7743 (java) S 7721 7723 4029 0 -1 4202560 10787 0 0 0 122 3 0 0 16 0 22 0 830360969 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7744] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7744/stat : 7744 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830360969 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7745] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7745/stat : 7745 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830360969 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7786] ppid=7721 vsize=10568716 CPUtime=3.93 cores=0,2,4,6
/proc/7723/task/7786/stat : 7786 (java) R 7721 7723 4029 0 -1 4202560 658 0 0 0 393 0 0 0 17 0 22 0 830361025 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505879878 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7723/tid=7787] ppid=7721 vsize=10568716 CPUtime=3.8 cores=0,2,4,6
/proc/7723/task/7787/stat : 7787 (java) R 7721 7723 4029 0 -1 4202560 153026 0 0 0 361 19 0 0 21 0 22 0 830361025 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 46912505960685 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7723/tid=7788] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7788/stat : 7788 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830361027 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7789] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7789/stat : 7789 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830361027 10822365184 200090 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.77
Current children cumulated vsize (KiB) 10568716
[startup+5.10165 s]
/proc/loadavg: 1.08 1.62 1.85 5/573 7842
/proc/meminfo: memFree=13612356/32951132 swapFree=46579808/67111528
[pid=7723] ppid=7721 vsize=10568716 CPUtime=11.59 cores=0,2,4,6
/proc/7723/stat : 7723 (java) S 7721 7723 4029 0 -1 4202496 206592 0 1 0 1120 39 0 0 25 0 19 0 830360963 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7723/statm: 2642179 200108 2266 9 0 2632913 0
[pid=7723/tid=7724] ppid=7721 vsize=10568716 CPUtime=0.59 cores=0,2,4,6
/proc/7723/task/7724/stat : 7724 (java) S 7721 7723 4029 0 -1 4202560 31708 0 1 0 56 3 0 0 15 0 19 0 830360964 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7726] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7726/stat : 7726 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7727] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7727/stat : 7727 (java) S 7721 7723 4029 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7728] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7728/stat : 7728 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7729] ppid=7721 vsize=10568716 CPUtime=0.01 cores=0,2,4,6
/proc/7723/task/7729/stat : 7729 (java) S 7721 7723 4029 0 -1 4202560 257 0 0 0 1 0 0 0 17 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7730] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7730/stat : 7730 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7731] ppid=7721 vsize=10568716 CPUtime=0.01 cores=0,2,4,6
/proc/7723/task/7731/stat : 7731 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 1 0 0 18 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 2 0 0 0
[pid=7723/tid=7732] ppid=7721 vsize=10568716 CPUtime=0.02 cores=0,2,4,6
/proc/7723/task/7732/stat : 7732 (java) S 7721 7723 4029 0 -1 4202560 1354 0 0 0 2 0 0 0 18 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7733] ppid=7721 vsize=10568716 CPUtime=0.03 cores=0,2,4,6
/proc/7723/task/7733/stat : 7733 (java) S 7721 7723 4029 0 -1 4202560 1450 0 0 0 3 0 0 0 18 0 19 0 830360965 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 6 0 0 0
[pid=7723/tid=7734] ppid=7721 vsize=10568716 CPUtime=0.05 cores=0,2,4,6
/proc/7723/task/7734/stat : 7734 (java) S 7721 7723 4029 0 -1 4202560 3057 0 0 0 4 1 0 0 15 0 19 0 830360966 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 0 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7735] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7735/stat : 7735 (java) S 7721 7723 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830360967 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7736] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7736/stat : 7736 (java) S 7721 7723 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830360967 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7741] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7741/stat : 7741 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830360969 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982373809 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7742] ppid=7721 vsize=10568716 CPUtime=0.96 cores=0,2,4,6
/proc/7723/task/7742/stat : 7742 (java) S 7721 7723 4029 0 -1 4202560 3107 0 0 0 90 6 0 0 15 0 19 0 830360969 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7743] ppid=7721 vsize=10568716 CPUtime=1.26 cores=0,2,4,6
/proc/7723/task/7743/stat : 7743 (java) S 7721 7723 4029 0 -1 4202560 10787 0 0 0 123 3 0 0 16 0 19 0 830360969 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7744] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7744/stat : 7744 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830360969 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366105 0 4 0 16800975 18446604448819995072 0 0 -1 0 0 0 0
[pid=7723/tid=7745] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7745/stat : 7745 (java) S 7721 7723 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830360969 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
[pid=7723/tid=7788] ppid=7721 vsize=10568716 CPUtime=0 cores=0,2,4,6
/proc/7723/task/7788/stat : 7788 (java) S 7721 7723 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830361027 10822365184 200108 33554432000 1073741824 1073778376 140735199265712 18446744073709551615 242982366720 0 4 0 16800975 18446604448819995072 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.59
Current children cumulated vsize (KiB) 10568716
Child status: 20
Real time (s): 5.17866
CPU time (s): 11.6402
CPU user time (s): 11.2043
CPU system time (s): 0.435933
CPU usage (%): 224.773
Max. virtual memory (cumulated for all children) (KiB): 10568716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2043
system time used= 0.435933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206602
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= 520
involuntary context switches= 629
runsolver used 0.032994 second user time and 0.067989 second system time
The end