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-3456354-1307224864/watcher-3456354-1307224864 -o /tmp/evaluation-result-3456354-1307224864/solver-3456354-1307224864 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456354-1307224864.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: 1.92 1.99 1.99 3/501 30729
/proc/meminfo: memFree=21073976/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 4274 0 1 0 0 0 0 0 25 0 2 0 912717052 10694979584 3976 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2611079 3988 917 9 0 2602235 0
[pid=30729/tid=30730] ppid=30727 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 3222 0 1 0 0 0 0 0 25 0 2 0 912717053 10694979584 4038 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0927579 s]
/proc/loadavg: 1.92 1.99 1.99 3/501 30729
/proc/meminfo: memFree=21073976/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10539692 CPUtime=0.08 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 12789 0 1 0 7 1 0 0 25 0 18 0 912717052 10792644608 12447 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2634923 12451 2035 9 0 2625657 0
[pid=30729/tid=30730] ppid=30727 vsize=10539692 CPUtime=0.07 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 10955 0 1 0 6 1 0 0 25 0 18 0 912717053 10792644608 12456 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 47073981523480 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539692
[startup+0.100241 s]
/proc/loadavg: 1.92 1.99 1.99 3/501 30729
/proc/meminfo: memFree=21073976/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10540000 CPUtime=0.1 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 13019 0 1 0 9 1 0 0 25 0 18 0 912717052 10792960000 12676 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2635000 12676 2092 9 0 2625734 0
[pid=30729/tid=30730] ppid=30727 vsize=10540000 CPUtime=0.08 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 11062 0 1 0 7 1 0 0 25 0 18 0 912717053 10792960000 12676 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 47073980860435 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540000
[startup+0.30021 s]
/proc/loadavg: 1.92 1.99 1.99 3/501 30729
/proc/meminfo: memFree=21073976/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10541784 CPUtime=0.53 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 17124 0 1 0 51 2 0 0 25 0 18 0 912717052 10794786816 15938 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2635446 15940 2201 9 0 2626180 0
[pid=30729/tid=30730] ppid=30727 vsize=10541784 CPUtime=0.27 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 13394 0 1 0 26 1 0 0 25 0 18 0 912717053 10794786816 15940 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505624225 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10541784
[startup+0.700133 s]
/proc/loadavg: 1.92 1.99 1.99 3/501 30729
/proc/meminfo: memFree=21073976/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10544760 CPUtime=1.19 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 22622 0 1 0 117 2 0 0 25 0 19 0 912717052 10797834240 20344 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2636190 20344 2230 9 0 2626924 0
[pid=30729/tid=30730] ppid=30727 vsize=10544760 CPUtime=0.68 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 16988 0 1 0 66 2 0 0 25 0 19 0 912717053 10797834240 20344 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505166880 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10544760
[startup+1.50099 s]
/proc/loadavg: 1.92 1.99 1.99 3/520 30748
/proc/meminfo: memFree=20911616/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10545460 CPUtime=2.33 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 88804 0 1 0 223 10 0 0 25 0 19 0 912717052 10798551040 85256 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2636365 85261 2233 9 0 2627099 0
[pid=30729/tid=30730] ppid=30727 vsize=10545460 CPUtime=1.48 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 81692 0 1 0 139 9 0 0 25 0 19 0 912717053 10798551040 85267 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505752106 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30729/tid=30732] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30732/stat : 30732 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85273 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30733] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30733/stat : 30733 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85278 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30734] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30734/stat : 30734 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85278 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30735] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30735/stat : 30735 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85281 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30736] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30736/stat : 30736 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85288 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30737] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30737/stat : 30737 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85295 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30738] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30738/stat : 30738 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85300 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30739] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30739/stat : 30739 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 85300 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30740] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30740/stat : 30740 (java) S 30727 30729 29646 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912717056 10798551040 85303 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 0 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30741] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30741/stat : 30741 (java) S 30727 30729 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912717056 10798551040 85310 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30742] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30742/stat : 30742 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717056 10798551040 85317 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30743] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30743/stat : 30743 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798551040 85323 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917217713 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30744] ppid=30727 vsize=10545460 CPUtime=0.46 cores=1,3,5,7
/proc/30729/task/30744/stat : 30744 (java) S 30727 30729 29646 0 -1 4202560 3699 0 0 0 46 0 0 0 20 0 19 0 912717058 10798551040 85323 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30745] ppid=30727 vsize=10545460 CPUtime=0.37 cores=1,3,5,7
/proc/30729/task/30745/stat : 30745 (java) S 30727 30729 29646 0 -1 4202560 2262 0 0 0 37 0 0 0 21 0 19 0 912717058 10798551040 85325 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30746] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30746/stat : 30746 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798551040 85332 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30747] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30747/stat : 30747 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912717058 10798551040 85339 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30748] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30748/stat : 30748 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717090 10798551040 85345 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10545460
[startup+3.10069 s]
/proc/loadavg: 1.92 1.99 1.99 3/520 30748
/proc/meminfo: memFree=20523072/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10545460 CPUtime=4 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 279668 0 1 0 368 32 0 0 25 0 19 0 912717052 10798551040 275696 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2636365 275699 2233 9 0 2627099 0
[pid=30729/tid=30730] ppid=30727 vsize=10545460 CPUtime=3.07 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 272115 0 1 0 276 31 0 0 25 0 19 0 912717053 10798551040 275700 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505752063 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30729/tid=30732] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30732/stat : 30732 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275707 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30733] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30733/stat : 30733 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275713 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30734] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30734/stat : 30734 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275717 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30735] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30735/stat : 30735 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275717 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30736] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30736/stat : 30736 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275723 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30737] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30737/stat : 30737 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275730 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30738] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30738/stat : 30738 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275735 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30739] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30739/stat : 30739 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717055 10798551040 275736 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30740] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30740/stat : 30740 (java) S 30727 30729 29646 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912717056 10798551040 275739 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 0 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30741] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30741/stat : 30741 (java) S 30727 30729 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912717056 10798551040 275746 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30742] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30742/stat : 30742 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717056 10798551040 275752 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30743] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30743/stat : 30743 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798551040 275754 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917217713 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30744] ppid=30727 vsize=10545460 CPUtime=0.52 cores=1,3,5,7
/proc/30729/task/30744/stat : 30744 (java) S 30727 30729 29646 0 -1 4202560 4135 0 0 0 52 0 0 0 15 0 19 0 912717058 10798551040 275755 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30745] ppid=30727 vsize=10545460 CPUtime=0.38 cores=1,3,5,7
/proc/30729/task/30745/stat : 30745 (java) S 30727 30729 29646 0 -1 4202560 2262 0 0 0 38 0 0 0 15 0 19 0 912717058 10798551040 275762 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30746] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30746/stat : 30746 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798551040 275769 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30747] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30747/stat : 30747 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912717058 10798551040 275772 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30748] ppid=30727 vsize=10545460 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30748/stat : 30748 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717090 10798551040 275772 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 10545460
[startup+6.30111 s]
/proc/loadavg: 1.93 1.99 1.99 3/520 30748
/proc/meminfo: memFree=18770408/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10544492 CPUtime=7.25 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 660316 0 1 0 654 71 0 0 25 0 19 0 912717052 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2636123 656157 2247 9 0 2626857 0
[pid=30729/tid=30730] ppid=30727 vsize=10544492 CPUtime=6.27 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 651030 0 1 0 557 70 0 0 25 0 19 0 912717053 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505754941 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30729/tid=30732] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30732/stat : 30732 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30733] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30733/stat : 30733 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30734] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30734/stat : 30734 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30735] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30735/stat : 30735 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30736] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30736/stat : 30736 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30737] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30737/stat : 30737 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30738] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30738/stat : 30738 (java) S 30727 30729 29646 0 -1 4202560 789 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30739] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30739/stat : 30739 (java) S 30727 30729 29646 0 -1 4202560 910 0 0 0 0 0 0 0 18 0 19 0 912717055 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30740] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30740/stat : 30740 (java) S 30727 30729 29646 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 912717056 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 0 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30741] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30741/stat : 30741 (java) S 30727 30729 29646 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912717056 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30742] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30742/stat : 30742 (java) S 30727 30729 29646 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912717056 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30743] ppid=30727 vsize=10544492 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30743/stat : 30743 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917217713 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30744] ppid=30727 vsize=10544492 CPUtime=0.54 cores=1,3,5,7
/proc/30729/task/30744/stat : 30744 (java) S 30727 30729 29646 0 -1 4202560 4155 0 0 0 54 0 0 0 15 0 19 0 912717058 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30745] ppid=30727 vsize=10544492 CPUtime=0.4 cores=1,3,5,7
/proc/30729/task/30745/stat : 30745 (java) S 30727 30729 29646 0 -1 4202560 2264 0 0 0 40 0 0 0 15 0 19 0 912717058 10797559808 656157 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/30729/task/30741/stat : 30741 (java) S 30727 30729 29646 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30742] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30742/stat : 30742 (java) S 30727 30729 29646 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30743] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30743/stat : 30743 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917217713 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30744] ppid=30727 vsize=10545444 CPUtime=0.62 cores=1,3,5,7
/proc/30729/task/30744/stat : 30744 (java) S 30727 30729 29646 0 -1 4202560 4607 0 0 0 62 0 0 0 15 0 19 0 912717058 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30745] ppid=30727 vsize=10545444 CPUtime=0.76 cores=1,3,5,7
/proc/30729/task/30745/stat : 30745 (java) S 30727 30729 29646 0 -1 4202560 3376 0 0 0 76 0 0 0 15 0 19 0 912717058 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30746] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30746/stat : 30746 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30747] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30747/stat : 30747 (java) S 30727 30729 29646 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 912717058 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30748] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30748/stat : 30748 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717090 10798534656 1124715 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1669.48
Current children cumulated vsize (KiB) 10545444
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/520 30842
/proc/meminfo: memFree=16572960/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10545444 CPUtime=1729.79 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 1149411 0 1 0 172847 132 0 0 25 0 19 0 912717052 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2636361 1129336 2249 9 0 2627095 0
[pid=30729/tid=30730] ppid=30727 vsize=10545444 CPUtime=1719.21 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 844156 0 1 0 171832 89 0 0 25 0 19 0 912717053 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505926729 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30729/tid=30732] ppid=30727 vsize=10545444 CPUtime=1.15 cores=1,3,5,7
/proc/30729/task/30732/stat : 30732 (java) S 30727 30729 29646 0 -1 4202560 33659 0 0 0 110 5 0 0 16 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30733] ppid=30727 vsize=10545444 CPUtime=1.2 cores=1,3,5,7
/proc/30729/task/30733/stat : 30733 (java) S 30727 30729 29646 0 -1 4202560 37140 0 0 0 115 5 0 0 15 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30734] ppid=30727 vsize=10545444 CPUtime=1.1 cores=1,3,5,7
/proc/30729/task/30734/stat : 30734 (java) S 30727 30729 29646 0 -1 4202560 35051 0 0 0 105 5 0 0 15 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30735] ppid=30727 vsize=10545444 CPUtime=1.13 cores=1,3,5,7
/proc/30729/task/30735/stat : 30735 (java) S 30727 30729 29646 0 -1 4202560 41125 0 0 0 108 5 0 0 16 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30736] ppid=30727 vsize=10545444 CPUtime=1.02 cores=1,3,5,7
/proc/30729/task/30736/stat : 30736 (java) S 30727 30729 29646 0 -1 4202560 34961 0 0 0 98 4 0 0 16 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30737] ppid=30727 vsize=10545444 CPUtime=1.06 cores=1,3,5,7
/proc/30729/task/30737/stat : 30737 (java) S 30727 30729 29646 0 -1 4202560 37351 0 0 0 102 4 0 0 15 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30738] ppid=30727 vsize=10545444 CPUtime=1.19 cores=1,3,5,7
/proc/30729/task/30738/stat : 30738 (java) S 30727 30729 29646 0 -1 4202560 41684 0 0 0 115 4 0 0 15 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30739] ppid=30727 vsize=10545444 CPUtime=1.19 cores=1,3,5,7
/proc/30729/task/30739/stat : 30739 (java) S 30727 30729 29646 0 -1 4202560 34938 0 0 0 115 4 0 0 16 0 19 0 912717055 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30740] ppid=30727 vsize=10545444 CPUtime=0.05 cores=1,3,5,7
/proc/30729/task/30740/stat : 30740 (java) S 30727 30729 29646 0 -1 4202560 112 0 0 0 4 1 0 0 15 0 19 0 912717056 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 0 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30741] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30741/stat : 30741 (java) S 30727 30729 29646 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30742] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30742/stat : 30742 (java) S 30727 30729 29646 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30743] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30743/stat : 30743 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917217713 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30744] ppid=30727 vsize=10545444 CPUtime=0.62 cores=1,3,5,7
/proc/30729/task/30744/stat : 30744 (java) S 30727 30729 29646 0 -1 4202560 4607 0 0 0 62 0 0 0 15 0 19 0 912717058 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30745] ppid=30727 vsize=10545444 CPUtime=0.76 cores=1,3,5,7
/proc/30729/task/30745/stat : 30745 (java) S 30727 30729 29646 0 -1 4202560 3376 0 0 0 76 0 0 0 15 0 19 0 912717058 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30746] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30746/stat : 30746 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30747] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30747/stat : 30747 (java) S 30727 30729 29646 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 912717058 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30748] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30748/stat : 30748 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717090 10798534656 1129336 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.79
Current children cumulated vsize (KiB) 10545444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 30844
/proc/meminfo: memFree=16556796/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10545444 CPUtime=1790.11 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 1153387 0 1 0 178878 133 0 0 25 0 19 0 912717052 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2636361 1133213 2249 9 0 2627095 0
[pid=30729/tid=30730] ppid=30727 vsize=10545444 CPUtime=1779.07 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 844166 0 1 0 177818 89 0 0 25 0 19 0 912717053 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505896600 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30729/tid=30732] ppid=30727 vsize=10545444 CPUtime=1.2 cores=1,3,5,7
/proc/30729/task/30732/stat : 30732 (java) S 30727 30729 29646 0 -1 4202560 34268 0 0 0 115 5 0 0 15 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30733] ppid=30727 vsize=10545444 CPUtime=1.27 cores=1,3,5,7
/proc/30729/task/30733/stat : 30733 (java) S 30727 30729 29646 0 -1 4202560 37673 0 0 0 122 5 0 0 16 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30734] ppid=30727 vsize=10545444 CPUtime=1.12 cores=1,3,5,7
/proc/30729/task/30734/stat : 30734 (java) S 30727 30729 29646 0 -1 4202560 35193 0 0 0 107 5 0 0 16 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30735] ppid=30727 vsize=10545444 CPUtime=1.21 cores=1,3,5,7
/proc/30729/task/30735/stat : 30735 (java) S 30727 30729 29646 0 -1 4202560 41634 0 0 0 115 6 0 0 16 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30736] ppid=30727 vsize=10545444 CPUtime=1.07 cores=1,3,5,7
/proc/30729/task/30736/stat : 30736 (java) S 30727 30729 29646 0 -1 4202560 35393 0 0 0 103 4 0 0 15 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30737] ppid=30727 vsize=10545444 CPUtime=1.11 cores=1,3,5,7
/proc/30729/task/30737/stat : 30737 (java) S 30727 30729 29646 0 -1 4202560 37900 0 0 0 107 4 0 0 16 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30738] ppid=30727 vsize=10545444 CPUtime=1.26 cores=1,3,5,7
/proc/30729/task/30738/stat : 30738 (java) S 30727 30729 29646 0 -1 4202560 42380 0 0 0 122 4 0 0 16 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30739] ppid=30727 vsize=10545444 CPUtime=1.26 cores=1,3,5,7
/proc/30729/task/30739/stat : 30739 (java) S 30727 30729 29646 0 -1 4202560 35428 0 0 0 122 4 0 0 15 0 19 0 912717055 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30740] ppid=30727 vsize=10545444 CPUtime=0.05 cores=1,3,5,7
/proc/30729/task/30740/stat : 30740 (java) S 30727 30729 29646 0 -1 4202560 114 0 0 0 4 1 0 0 15 0 19 0 912717056 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 0 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30741] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30741/stat : 30741 (java) S 30727 30729 29646 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30742] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30742/stat : 30742 (java) S 30727 30729 29646 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30743] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30743/stat : 30743 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917217713 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30744] ppid=30727 vsize=10545444 CPUtime=0.62 cores=1,3,5,7
/proc/30729/task/30744/stat : 30744 (java) S 30727 30729 29646 0 -1 4202560 4607 0 0 0 62 0 0 0 15 0 19 0 912717058 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30745] ppid=30727 vsize=10545444 CPUtime=0.76 cores=1,3,5,7
/proc/30729/task/30745/stat : 30745 (java) S 30727 30729 29646 0 -1 4202560 3376 0 0 0 76 0 0 0 15 0 19 0 912717058 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30746] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30746/stat : 30746 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30747] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30747/stat : 30747 (java) S 30727 30729 29646 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912717058 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30748] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30748/stat : 30748 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717090 10798534656 1133213 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.11
Current children cumulated vsize (KiB) 10545444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.2 s]
/proc/loadavg: 2.15 2.06 2.01 3/520 30844
/proc/meminfo: memFree=16554300/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=10545444 CPUtime=1800.07 cores=1,3,5,7
/proc/30729/stat : 30729 (java) S 30727 30729 29646 0 -1 4202496 1154147 0 1 0 179874 133 0 0 25 0 19 0 912717052 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 2636361 1133957 2249 9 0 2627095 0
[pid=30729/tid=30730] ppid=30727 vsize=10545444 CPUtime=1788.95 cores=1,3,5,7
/proc/30729/task/30730/stat : 30730 (java) R 30727 30729 29646 0 -1 4202560 844168 0 1 0 178806 89 0 0 25 0 19 0 912717053 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 46912505896738 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30729/tid=30732] ppid=30727 vsize=10545444 CPUtime=1.22 cores=1,3,5,7
/proc/30729/task/30732/stat : 30732 (java) S 30727 30729 29646 0 -1 4202560 34588 0 0 0 117 5 0 0 16 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30733] ppid=30727 vsize=10545444 CPUtime=1.27 cores=1,3,5,7
/proc/30729/task/30733/stat : 30733 (java) S 30727 30729 29646 0 -1 4202560 37677 0 0 0 122 5 0 0 15 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30734] ppid=30727 vsize=10545444 CPUtime=1.13 cores=1,3,5,7
/proc/30729/task/30734/stat : 30734 (java) S 30727 30729 29646 0 -1 4202560 35221 0 0 0 108 5 0 0 15 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30735] ppid=30727 vsize=10545444 CPUtime=1.21 cores=1,3,5,7
/proc/30729/task/30735/stat : 30735 (java) S 30727 30729 29646 0 -1 4202560 41634 0 0 0 115 6 0 0 15 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30736] ppid=30727 vsize=10545444 CPUtime=1.09 cores=1,3,5,7
/proc/30729/task/30736/stat : 30736 (java) S 30727 30729 29646 0 -1 4202560 35574 0 0 0 105 4 0 0 16 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30737] ppid=30727 vsize=10545444 CPUtime=1.12 cores=1,3,5,7
/proc/30729/task/30737/stat : 30737 (java) S 30727 30729 29646 0 -1 4202560 37948 0 0 0 108 4 0 0 16 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30738] ppid=30727 vsize=10545444 CPUtime=1.26 cores=1,3,5,7
/proc/30729/task/30738/stat : 30738 (java) S 30727 30729 29646 0 -1 4202560 42380 0 0 0 122 4 0 0 15 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30739] ppid=30727 vsize=10545444 CPUtime=1.27 cores=1,3,5,7
/proc/30729/task/30739/stat : 30739 (java) S 30727 30729 29646 0 -1 4202560 35603 0 0 0 123 4 0 0 15 0 19 0 912717055 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 7 0 0 0
[pid=30729/tid=30740] ppid=30727 vsize=10545444 CPUtime=0.05 cores=1,3,5,7
/proc/30729/task/30740/stat : 30740 (java) S 30727 30729 29646 0 -1 4202560 116 0 0 0 4 1 0 0 15 0 19 0 912717056 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 0 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30741] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30741/stat : 30741 (java) S 30727 30729 29646 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30742] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30742/stat : 30742 (java) S 30727 30729 29646 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912717056 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30743] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30743/stat : 30743 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917217713 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30744] ppid=30727 vsize=10545444 CPUtime=0.62 cores=1,3,5,7
/proc/30729/task/30744/stat : 30744 (java) S 30727 30729 29646 0 -1 4202560 4607 0 0 0 62 0 0 0 15 0 19 0 912717058 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30745] ppid=30727 vsize=10545444 CPUtime=0.76 cores=1,3,5,7
/proc/30729/task/30745/stat : 30745 (java) S 30727 30729 29646 0 -1 4202560 3376 0 0 0 76 0 0 0 15 0 19 0 912717058 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 5 0 0 0
[pid=30729/tid=30746] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30746/stat : 30746 (java) S 30727 30729 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912717058 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210009 0 4 0 16800975 18446604462357574912 0 0 -1 1 0 0 0
[pid=30729/tid=30747] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30747/stat : 30747 (java) S 30727 30729 29646 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912717058 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
[pid=30729/tid=30748] ppid=30727 vsize=10545444 CPUtime=0 cores=1,3,5,7
/proc/30729/task/30748/stat : 30748 (java) S 30727 30729 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912717090 10798534656 1133957 33554432000 1073741824 1073778376 140734867979808 18446744073709551615 260917210624 0 4 0 16800975 18446604462357574912 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10545444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.4 s]
/proc/loadavg: 2.15 2.06 2.01 3/520 30844
/proc/meminfo: memFree=16554300/32950928 swapFree=61542356/67111528
[pid=30729] ppid=30727 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/30729/stat : 30729 (java) Z 30727 30729 29646 0 -1 4203548 1154181 0 1 0 179880 147 0 0 17 0 2 0 912717052 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30729/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.42
CPU time (s): 1800.31
CPU user time (s): 1798.81
CPU system time (s): 1.49877
CPU usage (%): 100.44
Max. virtual memory (cumulated for all children) (KiB): 10548052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.49877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1154181
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= 45159
involuntary context switches= 28620
runsolver used 8.83666 second user time and 20.4939 second system time
The end