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-3455970-1307226167/watcher-3455970-1307226167 -o /tmp/evaluation-result-3455970-1307226167/solver-3455970-1307226167 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455970-1307226167.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: 2.00 2.01 2.00 2/553 25762
/proc/meminfo: memFree=21023968/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 4840 0 1 0 0 0 0 0 25 0 2 0 815033000 10694979584 4542 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2611079 4555 917 9 0 2602235 0
[pid=25762/tid=25763] ppid=25760 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 5987 0 1 0 0 0 0 0 25 0 2 0 815033001 10694979584 6803 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.119632 s]
/proc/loadavg: 2.00 2.01 2.00 2/553 25762
/proc/meminfo: memFree=21023968/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10540004 CPUtime=0.13 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 13357 0 1 0 11 2 0 0 25 0 18 0 815033000 10792964096 13006 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2635001 13006 2133 9 0 2625735 0
[pid=25762/tid=25763] ppid=25760 vsize=10540004 CPUtime=0.1 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 11350 0 1 0 9 1 0 0 25 0 18 0 815033001 10792964096 13006 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912496211677 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540004
[startup+0.200614 s]
/proc/loadavg: 2.00 2.01 2.00 2/553 25762
/proc/meminfo: memFree=21023968/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10540516 CPUtime=0.25 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 14181 0 1 0 23 2 0 0 25 0 18 0 815033000 10793488384 13788 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2635129 13789 2171 9 0 2625863 0
[pid=25762/tid=25763] ppid=25760 vsize=10540516 CPUtime=0.18 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 11840 0 1 0 16 2 0 0 25 0 18 0 815033001 10793488384 13790 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 47540831513509 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10540516
[startup+0.300564 s]
/proc/loadavg: 2.00 2.01 2.00 2/553 25762
/proc/meminfo: memFree=21023968/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10542468 CPUtime=0.51 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 17101 0 1 0 48 3 0 0 25 0 19 0 815033000 10795487232 15833 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2635617 15833 2200 9 0 2626351 0
[pid=25762/tid=25763] ppid=25760 vsize=10542468 CPUtime=0.28 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 13054 0 1 0 26 2 0 0 25 0 19 0 815033001 10795487232 15833 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542468
[startup+0.700496 s]
/proc/loadavg: 2.00 2.01 2.00 2/553 25762
/proc/meminfo: memFree=21023968/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10555776 CPUtime=1.67 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 42230 0 1 0 162 5 0 0 25 0 19 0 815033000 10809114624 37432 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2638944 37433 2221 9 0 2629678 0
[pid=25762/tid=25763] ppid=25760 vsize=10555776 CPUtime=0.67 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 29453 0 1 0 64 3 0 0 25 0 19 0 815033001 10809114624 37434 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505583269 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10555776
[startup+1.50139 s]
/proc/loadavg: 2.00 2.01 2.00 3/572 25781
/proc/meminfo: memFree=20729088/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10552080 CPUtime=2.76 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 120642 0 1 0 262 14 0 0 25 0 19 0 815033000 10805329920 114816 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2638020 114820 2224 9 0 2628754 0
[pid=25762/tid=25763] ppid=25760 vsize=10552080 CPUtime=1.48 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 107704 0 1 0 136 12 0 0 25 0 19 0 815033001 10805329920 114823 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505541668 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 114825 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25766] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 114828 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25767] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 114830 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25768] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 114832 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 114835 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25770] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 114837 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25771] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25771/stat : 25771 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 114839 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25772] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25772/stat : 25772 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 815033002 10805329920 114841 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25773] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25773/stat : 25773 (java) S 25760 25762 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815033003 10805329920 114844 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 0 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25774] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25774/stat : 25774 (java) S 25760 25762 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815033004 10805329920 114846 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25775] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25775/stat : 25775 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033004 10805329920 114849 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25776] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25776/stat : 25776 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 114851 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051478961 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25777] ppid=25760 vsize=10552080 CPUtime=0.65 cores=1,3,5,7
/proc/25762/task/25777/stat : 25777 (java) S 25760 25762 24457 0 -1 4202560 4596 0 0 0 65 0 0 0 21 0 19 0 815033006 10805329920 114853 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25778] ppid=25760 vsize=10552080 CPUtime=0.59 cores=1,3,5,7
/proc/25762/task/25778/stat : 25778 (java) S 25760 25762 24457 0 -1 4202560 7189 0 0 0 59 0 0 0 25 0 19 0 815033006 10805329920 114856 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25779] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25779/stat : 25779 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 114858 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25780] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25780/stat : 25780 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815033006 10805329920 114861 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25781] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25781/stat : 25781 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033020 10805329920 114863 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10552080
[startup+3.1011 s]
/proc/loadavg: 2.00 2.01 2.00 3/572 25781
/proc/meminfo: memFree=20295212/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10552080 CPUtime=4.38 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 278641 0 1 0 404 34 0 0 25 0 19 0 815033000 10805329920 272814 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2638020 272816 2224 9 0 2628754 0
[pid=25762/tid=25763] ppid=25760 vsize=10552080 CPUtime=3.08 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 265697 0 1 0 276 32 0 0 25 0 19 0 815033001 10805329920 272818 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505548752 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 272819 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25766] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 272821 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25767] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 272823 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25768] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 272826 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 272828 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25770] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 272831 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25771] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25771/stat : 25771 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 272833 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25772] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25772/stat : 25772 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 815033002 10805329920 272836 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25773] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25773/stat : 25773 (java) S 25760 25762 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815033003 10805329920 272837 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 0 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25774] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25774/stat : 25774 (java) S 25760 25762 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815033004 10805329920 272839 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25775] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25775/stat : 25775 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033004 10805329920 272841 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25776] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25776/stat : 25776 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 272841 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051478961 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25777] ppid=25760 vsize=10552080 CPUtime=0.68 cores=1,3,5,7
/proc/25762/task/25777/stat : 25777 (java) S 25760 25762 24457 0 -1 4202560 4599 0 0 0 68 0 0 0 15 0 19 0 815033006 10805329920 272843 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25778] ppid=25760 vsize=10552080 CPUtime=0.59 cores=1,3,5,7
/proc/25762/task/25778/stat : 25778 (java) S 25760 25762 24457 0 -1 4202560 7189 0 0 0 59 0 0 0 25 0 19 0 815033006 10805329920 272844 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25779] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25779/stat : 25779 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 272845 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25780] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25780/stat : 25780 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815033006 10805329920 272847 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25781] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25781/stat : 25781 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033020 10805329920 272849 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10552080
[startup+6.30154 s]
/proc/loadavg: 2.00 2.01 2.00 3/572 25781
/proc/meminfo: memFree=19027504/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10552080 CPUtime=7.58 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 576185 0 1 0 692 66 0 0 25 0 19 0 815033000 10805329920 570263 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2638020 570266 2225 9 0 2628754 0
[pid=25762/tid=25763] ppid=25760 vsize=10552080 CPUtime=6.28 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 563241 0 1 0 564 64 0 0 25 0 19 0 815033001 10805329920 570268 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505559186 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 570270 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25766] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 570271 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25767] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 570273 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25768] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 570275 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 570277 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25770] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 570279 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25771] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25771/stat : 25771 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033002 10805329920 570281 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25772] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25772/stat : 25772 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 815033002 10805329920 570283 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25773] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25773/stat : 25773 (java) S 25760 25762 24457 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 815033003 10805329920 570284 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 0 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25774] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25774/stat : 25774 (java) S 25760 25762 24457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815033004 10805329920 570286 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25775] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25775/stat : 25775 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033004 10805329920 570288 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25776] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25776/stat : 25776 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 570290 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051478961 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25777] ppid=25760 vsize=10552080 CPUtime=0.68 cores=1,3,5,7
/proc/25762/task/25777/stat : 25777 (java) S 25760 25762 24457 0 -1 4202560 4599 0 0 0 68 0 0 0 15 0 19 0 815033006 10805329920 570292 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25778] ppid=25760 vsize=10552080 CPUtime=0.59 cores=1,3,5,7
/proc/25762/task/25778/stat : 25778 (java) S 25760 25762 24457 0 -1 4202560 7189 0 0 0 59 0 0 0 18 0 19 0 815033006 10805329920 570294 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=25762/tid=25781] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25781/stat : 25781 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033020 10805329920 964485 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1668.23
Current children cumulated vsize (KiB) 10552080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/572 25878
/proc/meminfo: memFree=17412432/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10552080 CPUtime=1728.39 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 973907 0 1 0 172724 115 0 0 25 0 19 0 815033000 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2638020 965440 2256 9 0 2628754 0
[pid=25762/tid=25763] ppid=25760 vsize=10552080 CPUtime=1718.22 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 827511 0 1 0 171730 92 0 0 25 0 19 0 815033001 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505557173 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=10552080 CPUtime=0.94 cores=1,3,5,7
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 24457 0 -1 4202560 21041 0 0 0 92 2 0 0 16 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25766] ppid=25760 vsize=10552080 CPUtime=0.9 cores=1,3,5,7
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 24457 0 -1 4202560 16752 0 0 0 89 1 0 0 16 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25767] ppid=25760 vsize=10552080 CPUtime=0.76 cores=1,3,5,7
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 24457 0 -1 4202560 13423 0 0 0 74 2 0 0 15 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 3 0 0 0
[pid=25762/tid=25768] ppid=25760 vsize=10552080 CPUtime=0.73 cores=1,3,5,7
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 24457 0 -1 4202560 11154 0 0 0 73 0 0 0 15 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=10552080 CPUtime=0.84 cores=1,3,5,7
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 24457 0 -1 4202560 17069 0 0 0 82 2 0 0 16 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25770] ppid=25760 vsize=10552080 CPUtime=0.92 cores=1,3,5,7
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 24457 0 -1 4202560 12918 0 0 0 90 2 0 0 15 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 3 0 0 0
[pid=25762/tid=25771] ppid=25760 vsize=10552080 CPUtime=0.88 cores=1,3,5,7
/proc/25762/task/25771/stat : 25771 (java) S 25760 25762 24457 0 -1 4202560 13307 0 0 0 86 2 0 0 16 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25772] ppid=25760 vsize=10552080 CPUtime=0.8 cores=1,3,5,7
/proc/25762/task/25772/stat : 25772 (java) S 25760 25762 24457 0 -1 4202560 16592 0 0 0 78 2 0 0 16 0 19 0 815033002 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25773] ppid=25760 vsize=10552080 CPUtime=1.78 cores=1,3,5,7
/proc/25762/task/25773/stat : 25773 (java) S 25760 25762 24457 0 -1 4202560 11045 0 0 0 176 2 0 0 15 0 19 0 815033003 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 0 0 16800975 18446604457889480960 0 0 -1 3 0 0 0
[pid=25762/tid=25774] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25774/stat : 25774 (java) S 25760 25762 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815033004 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25775] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25775/stat : 25775 (java) S 25760 25762 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815033004 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25776] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25776/stat : 25776 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051478961 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25777] ppid=25760 vsize=10552080 CPUtime=0.78 cores=1,3,5,7
/proc/25762/task/25777/stat : 25777 (java) S 25760 25762 24457 0 -1 4202560 4634 0 0 0 78 0 0 0 15 0 19 0 815033006 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25778] ppid=25760 vsize=10552080 CPUtime=0.69 cores=1,3,5,7
/proc/25762/task/25778/stat : 25778 (java) S 25760 25762 24457 0 -1 4202560 7210 0 0 0 69 0 0 0 15 0 19 0 815033006 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25779] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25779/stat : 25779 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25780] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25780/stat : 25780 (java) S 25760 25762 24457 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 815033006 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25781] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25781/stat : 25781 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033020 10805329920 965440 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.39
Current children cumulated vsize (KiB) 10552080
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/572 25880
/proc/meminfo: memFree=17402480/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10552080 CPUtime=1788.55 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 974471 0 1 0 178740 115 0 0 25 0 19 0 815033000 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2638020 965979 2256 9 0 2628754 0
[pid=25762/tid=25763] ppid=25760 vsize=10552080 CPUtime=1778.16 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 827515 0 1 0 177724 92 0 0 25 0 19 0 815033001 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505557173 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=10552080 CPUtime=0.95 cores=1,3,5,7
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 24457 0 -1 4202560 21041 0 0 0 93 2 0 0 15 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25766] ppid=25760 vsize=10552080 CPUtime=0.93 cores=1,3,5,7
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 24457 0 -1 4202560 16889 0 0 0 92 1 0 0 15 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25767] ppid=25760 vsize=10552080 CPUtime=0.77 cores=1,3,5,7
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 24457 0 -1 4202560 13453 0 0 0 75 2 0 0 16 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 3 0 0 0
[pid=25762/tid=25768] ppid=25760 vsize=10552080 CPUtime=0.75 cores=1,3,5,7
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 24457 0 -1 4202560 11194 0 0 0 75 0 0 0 15 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=10552080 CPUtime=0.86 cores=1,3,5,7
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 24457 0 -1 4202560 17074 0 0 0 84 2 0 0 16 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25770] ppid=25760 vsize=10552080 CPUtime=0.96 cores=1,3,5,7
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 24457 0 -1 4202560 12979 0 0 0 94 2 0 0 16 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25771] ppid=25760 vsize=10552080 CPUtime=0.92 cores=1,3,5,7
/proc/25762/task/25771/stat : 25771 (java) S 25760 25762 24457 0 -1 4202560 13359 0 0 0 90 2 0 0 16 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25772] ppid=25760 vsize=10552080 CPUtime=0.85 cores=1,3,5,7
/proc/25762/task/25772/stat : 25772 (java) S 25760 25762 24457 0 -1 4202560 16823 0 0 0 83 2 0 0 16 0 19 0 815033002 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25773] ppid=25760 vsize=10552080 CPUtime=1.78 cores=1,3,5,7
/proc/25762/task/25773/stat : 25773 (java) S 25760 25762 24457 0 -1 4202560 11047 0 0 0 176 2 0 0 15 0 19 0 815033003 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 0 0 16800975 18446604457889480960 0 0 -1 3 0 0 0
[pid=25762/tid=25774] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25774/stat : 25774 (java) S 25760 25762 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815033004 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25775] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25775/stat : 25775 (java) S 25760 25762 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815033004 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25776] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25776/stat : 25776 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051478961 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25777] ppid=25760 vsize=10552080 CPUtime=0.78 cores=1,3,5,7
/proc/25762/task/25777/stat : 25777 (java) S 25760 25762 24457 0 -1 4202560 4634 0 0 0 78 0 0 0 15 0 19 0 815033006 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25778] ppid=25760 vsize=10552080 CPUtime=0.69 cores=1,3,5,7
/proc/25762/task/25778/stat : 25778 (java) S 25760 25762 24457 0 -1 4202560 7210 0 0 0 69 0 0 0 15 0 19 0 815033006 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25779] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25779/stat : 25779 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25780] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25780/stat : 25780 (java) S 25760 25762 24457 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 815033006 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25781] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25781/stat : 25781 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033020 10805329920 965979 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (KiB) 10552080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.12 2.07 2.01 3/572 25880
/proc/meminfo: memFree=17401980/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=10552080 CPUtime=1800.1 cores=1,3,5,7
/proc/25762/stat : 25762 (java) S 25760 25762 24457 0 -1 4202496 974689 0 1 0 179895 115 0 0 25 0 19 0 815033000 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 2638020 966192 2256 9 0 2628754 0
[pid=25762/tid=25763] ppid=25760 vsize=10552080 CPUtime=1789.66 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4202560 827516 0 1 0 178874 92 0 0 25 0 19 0 815033001 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 46912505902588 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25762/tid=25765] ppid=25760 vsize=10552080 CPUtime=0.96 cores=1,3,5,7
/proc/25762/task/25765/stat : 25765 (java) S 25760 25762 24457 0 -1 4202560 21204 0 0 0 94 2 0 0 16 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25766] ppid=25760 vsize=10552080 CPUtime=0.93 cores=1,3,5,7
/proc/25762/task/25766/stat : 25766 (java) S 25760 25762 24457 0 -1 4202560 16889 0 0 0 92 1 0 0 15 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25767] ppid=25760 vsize=10552080 CPUtime=0.77 cores=1,3,5,7
/proc/25762/task/25767/stat : 25767 (java) S 25760 25762 24457 0 -1 4202560 13453 0 0 0 75 2 0 0 15 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 3 0 0 0
[pid=25762/tid=25768] ppid=25760 vsize=10552080 CPUtime=0.75 cores=1,3,5,7
/proc/25762/task/25768/stat : 25768 (java) S 25760 25762 24457 0 -1 4202560 11194 0 0 0 75 0 0 0 15 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25769] ppid=25760 vsize=10552080 CPUtime=0.86 cores=1,3,5,7
/proc/25762/task/25769/stat : 25769 (java) S 25760 25762 24457 0 -1 4202560 17074 0 0 0 84 2 0 0 16 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25770] ppid=25760 vsize=10552080 CPUtime=0.98 cores=1,3,5,7
/proc/25762/task/25770/stat : 25770 (java) S 25760 25762 24457 0 -1 4202560 13018 0 0 0 96 2 0 0 16 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25771] ppid=25760 vsize=10552080 CPUtime=0.94 cores=1,3,5,7
/proc/25762/task/25771/stat : 25771 (java) S 25760 25762 24457 0 -1 4202560 13370 0 0 0 92 2 0 0 16 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25772] ppid=25760 vsize=10552080 CPUtime=0.85 cores=1,3,5,7
/proc/25762/task/25772/stat : 25772 (java) S 25760 25762 24457 0 -1 4202560 16823 0 0 0 83 2 0 0 15 0 19 0 815033002 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25773] ppid=25760 vsize=10552080 CPUtime=1.78 cores=1,3,5,7
/proc/25762/task/25773/stat : 25773 (java) S 25760 25762 24457 0 -1 4202560 11049 0 0 0 176 2 0 0 15 0 19 0 815033003 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 0 0 16800975 18446604457889480960 0 0 -1 3 0 0 0
[pid=25762/tid=25774] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25774/stat : 25774 (java) S 25760 25762 24457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 815033004 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25775] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25775/stat : 25775 (java) S 25760 25762 24457 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 815033004 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25776] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25776/stat : 25776 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051478961 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25777] ppid=25760 vsize=10552080 CPUtime=0.78 cores=1,3,5,7
/proc/25762/task/25777/stat : 25777 (java) S 25760 25762 24457 0 -1 4202560 4634 0 0 0 78 0 0 0 15 0 19 0 815033006 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 7 0 0 0
[pid=25762/tid=25778] ppid=25760 vsize=10552080 CPUtime=0.69 cores=1,3,5,7
/proc/25762/task/25778/stat : 25778 (java) S 25760 25762 24457 0 -1 4202560 7210 0 0 0 69 0 0 0 15 0 19 0 815033006 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
[pid=25762/tid=25779] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25779/stat : 25779 (java) S 25760 25762 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815033006 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471257 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25780] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25780/stat : 25780 (java) S 25760 25762 24457 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 815033006 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 1 0 0 0
[pid=25762/tid=25781] ppid=25760 vsize=10552080 CPUtime=0 cores=1,3,5,7
/proc/25762/task/25781/stat : 25781 (java) S 25760 25762 24457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815033020 10805329920 966192 33554432000 1073741824 1073778376 140737257838944 18446744073709551615 212051471872 0 4 0 16800975 18446604457889480960 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10552080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.93 s]
/proc/loadavg: 2.12 2.07 2.01 3/572 25880
/proc/meminfo: memFree=17401980/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/25762/stat : 25762 (java) Z 25760 25762 24457 0 -1 4203548 974729 0 1 0 179903 121 0 0 17 0 2 0 815033000 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 0 0 0 0 0 0 0
[pid=25762/tid=25763] ppid=25760 vsize=0 CPUtime=1789.76 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4203588 827516 0 1 0 178877 99 0 0 25 0 2 0 815033001 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
[startup+1794 s]
/proc/loadavg: 2.12 2.07 2.01 3/572 25880
/proc/meminfo: memFree=17401980/32951124 swapFree=46970528/67111528
[pid=25762] ppid=25760 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/25762/stat : 25762 (java) Z 25760 25762 24457 0 -1 4203548 974729 0 1 0 179903 129 0 0 17 0 2 0 815033000 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25762/statm: 0 0 0 0 0 0 0
[pid=25762/tid=25763] ppid=25760 vsize=0 CPUtime=1789.83 cores=1,3,5,7
/proc/25762/task/25763/stat : 25763 (java) R 25760 25762 24457 0 -1 4203588 827516 0 1 0 178877 106 0 0 25 0 2 0 815033001 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794
CPU time (s): 1800.33
CPU user time (s): 1799.03
CPU system time (s): 1.2938
CPU usage (%): 100.353
Max. virtual memory (cumulated for all children) (KiB): 10556312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.2938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 974729
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= 40591
involuntary context switches= 23097
runsolver used 9.78351 second user time and 22.7835 second system time
The end