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-3454688-1307189642/watcher-3454688-1307189642 -o /tmp/evaluation-result-3454688-1307189642/solver-3454688-1307189642 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454688-1307189642.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.58 3.66 3.38 3/542 650
/proc/meminfo: memFree=17560320/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 235 0 0 0 0 0 0 0 25 0 1 0 811379668 9318400 171 33554432000 1073741824 1073778376 140735601385296 18446744073709551615 228095446885 0 2147483391 4096 0 18446744071699207358 0 0 17 4 0 0 0
/proc/650/statm: 2275 171 130 9 0 67 0
[pid=650/tid=651] ppid=648 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) R 648 650 30263 0 -1 4202560 5769 0 1 0 0 0 0 0 25 0 2 0 811379668 10694979584 6585 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.029641 s]
/proc/loadavg: 3.58 3.66 3.38 3/542 650
/proc/meminfo: memFree=17560320/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 10681 0 1 0 0 1 0 0 25 0 10 0 811379668 10705932288 10379 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2613753 10382 1512 9 0 2604501 0
[pid=650/tid=651] ppid=648 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) R 648 650 30263 0 -1 4202560 9561 0 1 0 0 1 0 0 25 0 10 0 811379668 10705932288 10383 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 47235351928837 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.100647 s]
/proc/loadavg: 3.58 3.66 3.38 3/542 650
/proc/meminfo: memFree=17560320/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10540376 CPUtime=0.1 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 13031 0 1 0 9 1 0 0 25 0 18 0 811379668 10793345024 12727 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2635094 12729 2093 9 0 2625828 0
[pid=650/tid=651] ppid=648 vsize=10540376 CPUtime=0.08 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) R 648 650 30263 0 -1 4202560 11133 0 1 0 7 1 0 0 18 0 18 0 811379668 10793345024 12729 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540376
[startup+0.300613 s]
/proc/loadavg: 3.58 3.66 3.38 3/542 650
/proc/meminfo: memFree=17560320/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10541668 CPUtime=0.48 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 15811 0 1 0 46 2 0 0 25 0 18 0 811379668 10794668032 15194 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2635417 15195 2199 9 0 2626151 0
[pid=650/tid=651] ppid=648 vsize=10541668 CPUtime=0.28 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) R 648 650 30263 0 -1 4202560 12970 0 1 0 27 1 0 0 18 0 18 0 811379668 10794668032 15195 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541668
[startup+0.700513 s]
/proc/loadavg: 3.58 3.66 3.38 3/542 650
/proc/meminfo: memFree=17560320/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10545616 CPUtime=1.17 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 54725 0 1 0 111 6 0 0 25 0 18 0 811379668 10798710784 53060 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2636404 53065 2214 9 0 2627138 0
[pid=650/tid=651] ppid=648 vsize=10545616 CPUtime=0.68 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) R 648 650 30263 0 -1 4202560 48663 0 1 0 63 5 0 0 18 0 18 0 811379668 10798710784 53068 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505548763 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10545616
[startup+1.50142 s]
/proc/loadavg: 3.58 3.66 3.38 3/561 672
/proc/meminfo: memFree=17305544/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10549420 CPUtime=1.73 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 67980 0 1 0 165 8 0 0 25 0 19 0 811379668 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2637355 65904 2234 9 0 2628089 0
[pid=650/tid=651] ppid=648 vsize=10549420 CPUtime=0.78 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) S 648 650 30263 0 -1 4202560 60888 0 1 0 72 6 0 0 16 0 19 0 811379668 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=653] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/653/stat : 653 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=654] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/654/stat : 654 (java) S 648 650 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=655] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/655/stat : 655 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=656] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/656/stat : 656 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=657] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/657/stat : 657 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=658] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/658/stat : 658 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=659] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/659/stat : 659 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=660] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/660/stat : 660 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379670 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=661] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/661/stat : 661 (java) S 648 650 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811379671 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 0 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=662] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/662/stat : 662 (java) S 648 650 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811379671 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=663] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/663/stat : 663 (java) S 648 650 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811379671 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=664] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/664/stat : 664 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379674 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107274673 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=665] ppid=648 vsize=10549420 CPUtime=0.31 cores=0,2,4,6
/proc/650/task/665/stat : 665 (java) S 648 650 30263 0 -1 4202560 2171 0 0 0 31 0 0 0 17 0 19 0 811379674 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=666] ppid=648 vsize=10549420 CPUtime=0.42 cores=0,2,4,6
/proc/650/task/666/stat : 666 (java) S 648 650 30263 0 -1 4202560 3174 0 0 0 42 0 0 0 16 0 19 0 811379674 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=667] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/667/stat : 667 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811379674 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=668] ppid=648 vsize=10549420 CPUtime=0 cores=0,2,4,6
/proc/650/task/668/stat : 668 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811379674 10802606080 65904 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10549420
[startup+3.10104 s]
/proc/loadavg: 3.85 3.71 3.40 7/564 678
/proc/meminfo: memFree=17271372/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10554420 CPUtime=4.36 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 101031 0 1 0 423 13 0 0 25 0 22 0 811379668 10807726080 95292 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2638605 95292 2240 9 0 2629339 0
[pid=650/tid=651] ppid=648 vsize=10554420 CPUtime=0.79 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) S 648 650 30263 0 -1 4202560 60989 0 1 0 73 6 0 0 16 0 22 0 811379668 10807726080 95292 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=653] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/653/stat : 653 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379670 10807726080 95292 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=654] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/654/stat : 654 (java) S 648 650 30263 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811379670 10807726080 95292 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=655] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/655/stat : 655 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379670 10807726080 95292 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=656] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/656/stat : 656 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379670 10807726080 95292 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=657] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/657/stat : 657 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379670 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=658] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/658/stat : 658 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379670 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=659] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/659/stat : 659 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379670 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=660] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/660/stat : 660 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379670 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=661] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/661/stat : 661 (java) S 648 650 30263 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 811379671 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 0 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=662] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/662/stat : 662 (java) S 648 650 30263 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811379671 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=663] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/663/stat : 663 (java) S 648 650 30263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811379671 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=664] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/664/stat : 664 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107274673 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=665] ppid=648 vsize=10554420 CPUtime=0.81 cores=0,2,4,6
/proc/650/task/665/stat : 665 (java) S 648 650 30263 0 -1 4202560 9122 0 0 0 80 1 0 0 15 0 22 0 811379674 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=666] ppid=648 vsize=10554420 CPUtime=0.92 cores=0,2,4,6
/proc/650/task/666/stat : 666 (java) S 648 650 30263 0 -1 4202560 5299 0 0 0 92 0 0 0 15 0 22 0 811379674 10807726080 95294 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=667] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/667/stat : 667 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10807726080 95295 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=668] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/668/stat : 668 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811379674 10807726080 95295 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=675] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/675/stat : 675 (java) S 648 650 30263 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811379800 10807726080 95295 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10554420
[startup+6.30145 s]
/proc/loadavg: 3.85 3.71 3.40 5/564 681
/proc/meminfo: memFree=16887220/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10554420 CPUtime=10.81 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 206141 0 1 0 1056 25 0 0 25 0 22 0 811379668 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2638605 200090 2268 9 0 2629339 0
[pid=650/tid=651] ppid=648 vsize=10554420 CPUtime=0.79 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) S 648 650 30263 0 -1 4202560 60990 0 1 0 73 6 0 0 15 0 22 0 811379668 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=653] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/653/stat : 653 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=654] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/654/stat : 654 (java) S 648 650 30263 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=655] ppid=648 vsize=10554420 CPUtime=0.01 cores=0,2,4,6
/proc/650/task/655/stat : 655 (java) S 648 650 30263 0 -1 4202560 2752 0 0 0 1 0 0 0 16 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=656] ppid=648 vsize=10554420 CPUtime=0.01 cores=0,2,4,6
/proc/650/task/656/stat : 656 (java) S 648 650 30263 0 -1 4202560 4203 0 0 0 1 0 0 0 18 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=657] ppid=648 vsize=10554420 CPUtime=0.01 cores=0,2,4,6
/proc/650/task/657/stat : 657 (java) S 648 650 30263 0 -1 4202560 1331 0 0 0 1 0 0 0 18 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=658] ppid=648 vsize=10554420 CPUtime=0.03 cores=0,2,4,6
/proc/650/task/658/stat : 658 (java) S 648 650 30263 0 -1 4202560 7180 0 0 0 3 0 0 0 18 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=659] ppid=648 vsize=10554420 CPUtime=0.03 cores=0,2,4,6
/proc/650/task/659/stat : 659 (java) S 648 650 30263 0 -1 4202560 5513 0 0 0 3 0 0 0 18 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=660] ppid=648 vsize=10554420 CPUtime=0.02 cores=0,2,4,6
/proc/650/task/660/stat : 660 (java) S 648 650 30263 0 -1 4202560 2321 0 0 0 2 0 0 0 18 0 22 0 811379670 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=661] ppid=648 vsize=10554420 CPUtime=0.22 cores=0,2,4,6
/proc/650/task/661/stat : 661 (java) S 648 650 30263 0 -1 4202560 18560 0 0 0 21 1 0 0 16 0 22 0 811379671 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 0 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=662] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/662/stat : 662 (java) S 648 650 30263 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811379671 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=663] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/663/stat : 663 (java) S 648 650 30263 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811379671 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=664] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/664/stat : 664 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107274673 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=665] ppid=648 vsize=10554420 CPUtime=0.96 cores=0,2,4,6
/proc/650/task/665/stat : 665 (java) S 648 650 30263 0 -1 4202560 9146 0 0 0 95 1 0 0 15 0 22 0 811379674 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=666] ppid=648 vsize=10554420 CPUtime=0.99 cores=0,2,4,6
/proc/650/task/666/stat : 666 (java) S 648 650 30263 0 -1 4202560 5309 0 0 0 99 0 0 0 15 0 22 0 811379674 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=667] ppid=648 vsize=10554420 CPUtime=0 cores=0,2,4,6
/proc/650/task/667/stat : 667 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10807726080 200090 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/650/task/653/stat : 653 (java) S 648 650 30263 0 -1 4202560 29336 0 0 0 140 3 0 0 16 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=654] ppid=648 vsize=10558472 CPUtime=1.31 cores=0,2,4,6
/proc/650/task/654/stat : 654 (java) S 648 650 30263 0 -1 4202560 8924 0 0 0 130 1 0 0 16 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=655] ppid=648 vsize=10558472 CPUtime=1.47 cores=0,2,4,6
/proc/650/task/655/stat : 655 (java) S 648 650 30263 0 -1 4202560 27451 0 0 0 145 2 0 0 15 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=656] ppid=648 vsize=10558472 CPUtime=1.4 cores=0,2,4,6
/proc/650/task/656/stat : 656 (java) S 648 650 30263 0 -1 4202560 33058 0 0 0 136 4 0 0 16 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=657] ppid=648 vsize=10558472 CPUtime=1.26 cores=0,2,4,6
/proc/650/task/657/stat : 657 (java) S 648 650 30263 0 -1 4202560 14381 0 0 0 125 1 0 0 16 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=658] ppid=648 vsize=10558472 CPUtime=1.49 cores=0,2,4,6
/proc/650/task/658/stat : 658 (java) S 648 650 30263 0 -1 4202560 21952 0 0 0 147 2 0 0 16 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=659] ppid=648 vsize=10558472 CPUtime=1.13 cores=0,2,4,6
/proc/650/task/659/stat : 659 (java) S 648 650 30263 0 -1 4202560 19531 0 0 0 110 3 0 0 16 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=660] ppid=648 vsize=10558472 CPUtime=1.46 cores=0,2,4,6
/proc/650/task/660/stat : 660 (java) S 648 650 30263 0 -1 4202560 16038 0 0 0 144 2 0 0 16 0 22 0 811379670 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=661] ppid=648 vsize=10558472 CPUtime=55.64 cores=0,2,4,6
/proc/650/task/661/stat : 661 (java) S 648 650 30263 0 -1 4202560 267760 0 0 0 5537 27 0 0 15 0 22 0 811379671 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 0 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=662] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/662/stat : 662 (java) S 648 650 30263 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811379671 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=663] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/663/stat : 663 (java) S 648 650 30263 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 811379671 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=664] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/664/stat : 664 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107274673 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=665] ppid=648 vsize=10558472 CPUtime=1.11 cores=0,2,4,6
/proc/650/task/665/stat : 665 (java) S 648 650 30263 0 -1 4202560 9159 0 0 0 110 1 0 0 15 0 22 0 811379674 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=666] ppid=648 vsize=10558472 CPUtime=1.69 cores=0,2,4,6
/proc/650/task/666/stat : 666 (java) S 648 650 30263 0 -1 4202560 7114 0 0 0 168 1 0 0 16 0 22 0 811379674 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=667] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/667/stat : 667 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=668] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/668/stat : 668 (java) S 648 650 30263 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 811379674 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=675] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/675/stat : 675 (java) S 648 650 30263 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811379800 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=690] ppid=648 vsize=10558472 CPUtime=696.02 cores=0,2,4,6
/proc/650/task/690/stat : 690 (java) R 648 650 30263 0 -1 4202560 26841 0 0 0 69597 5 0 0 25 0 22 0 811387025 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505876377 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=650/tid=691] ppid=648 vsize=10558472 CPUtime=695.97 cores=0,2,4,6
/proc/650/task/691/stat : 691 (java) R 648 650 30263 0 -1 4202560 404365 0 0 0 69546 51 0 0 25 0 22 0 811387025 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505931131 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=650/tid=692] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/692/stat : 692 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811387025 10811875328 1099833 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1590.06
Current children cumulated vsize (KiB) 10558472
[startup+882.301 s]
/proc/loadavg: 3.92 3.93 3.72 5/564 790
/proc/meminfo: memFree=13542380/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10558472 CPUtime=1707.16 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 1107151 0 1 0 170578 138 0 0 25 0 22 0 811379668 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2639618 1099846 2269 9 0 2630352 0
[pid=650/tid=651] ppid=648 vsize=10558472 CPUtime=0.8 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) S 648 650 30263 0 -1 4202560 61037 0 1 0 74 6 0 0 15 0 22 0 811379668 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=653] ppid=648 vsize=10558472 CPUtime=1.63 cores=0,2,4,6
/proc/650/task/653/stat : 653 (java) S 648 650 30263 0 -1 4202560 29340 0 0 0 160 3 0 0 16 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=654] ppid=648 vsize=10558472 CPUtime=1.39 cores=0,2,4,6
/proc/650/task/654/stat : 654 (java) S 648 650 30263 0 -1 4202560 8928 0 0 0 138 1 0 0 15 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=655] ppid=648 vsize=10558472 CPUtime=1.66 cores=0,2,4,6
/proc/650/task/655/stat : 655 (java) S 648 650 30263 0 -1 4202560 27453 0 0 0 164 2 0 0 16 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=656] ppid=648 vsize=10558472 CPUtime=1.59 cores=0,2,4,6
/proc/650/task/656/stat : 656 (java) S 648 650 30263 0 -1 4202560 33060 0 0 0 155 4 0 0 16 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=657] ppid=648 vsize=10558472 CPUtime=1.26 cores=0,2,4,6
/proc/650/task/657/stat : 657 (java) S 648 650 30263 0 -1 4202560 14381 0 0 0 125 1 0 0 15 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=658] ppid=648 vsize=10558472 CPUtime=1.55 cores=0,2,4,6
/proc/650/task/658/stat : 658 (java) S 648 650 30263 0 -1 4202560 21952 0 0 0 153 2 0 0 15 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=659] ppid=648 vsize=10558472 CPUtime=1.22 cores=0,2,4,6
/proc/650/task/659/stat : 659 (java) S 648 650 30263 0 -1 4202560 19531 0 0 0 119 3 0 0 16 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=660] ppid=648 vsize=10558472 CPUtime=1.47 cores=0,2,4,6
/proc/650/task/660/stat : 660 (java) S 648 650 30263 0 -1 4202560 16039 0 0 0 145 2 0 0 15 0 22 0 811379670 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=661] ppid=648 vsize=10558472 CPUtime=58.94 cores=0,2,4,6
/proc/650/task/661/stat : 661 (java) S 648 650 30263 0 -1 4202560 267764 0 0 0 5867 27 0 0 15 0 22 0 811379671 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 0 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=662] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/662/stat : 662 (java) S 648 650 30263 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811379671 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=663] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/663/stat : 663 (java) S 648 650 30263 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 811379671 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=664] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/664/stat : 664 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107274673 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=665] ppid=648 vsize=10558472 CPUtime=1.11 cores=0,2,4,6
/proc/650/task/665/stat : 665 (java) S 648 650 30263 0 -1 4202560 9159 0 0 0 110 1 0 0 15 0 22 0 811379674 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=666] ppid=648 vsize=10558472 CPUtime=1.69 cores=0,2,4,6
/proc/650/task/666/stat : 666 (java) S 648 650 30263 0 -1 4202560 7114 0 0 0 168 1 0 0 16 0 22 0 811379674 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=667] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/667/stat : 667 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=668] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/668/stat : 668 (java) S 648 650 30263 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811379674 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=675] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/675/stat : 675 (java) S 648 650 30263 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811379800 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=690] ppid=648 vsize=10558472 CPUtime=752.51 cores=0,2,4,6
/proc/650/task/690/stat : 690 (java) R 648 650 30263 0 -1 4202560 26843 0 0 0 75246 5 0 0 25 0 22 0 811387025 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505838311 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=650/tid=691] ppid=648 vsize=10558472 CPUtime=752.45 cores=0,2,4,6
/proc/650/task/691/stat : 691 (java) R 648 650 30263 0 -1 4202560 404365 0 0 0 75194 51 0 0 25 0 22 0 811387025 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505931030 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=650/tid=692] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/692/stat : 692 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811387025 10811875328 1099846 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1707.16
Current children cumulated vsize (KiB) 10558472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+929.701 s]
/proc/loadavg: 3.96 3.94 3.73 5/564 791
/proc/meminfo: memFree=13366396/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=10558472 CPUtime=1800.01 cores=0,2,4,6
/proc/650/stat : 650 (java) S 648 650 30263 0 -1 4202496 1164722 0 1 0 179849 152 0 0 25 0 22 0 811379668 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 2639618 1142968 2269 9 0 2630352 0
[pid=650/tid=651] ppid=648 vsize=10558472 CPUtime=0.8 cores=0,2,4,6
/proc/650/task/651/stat : 651 (java) S 648 650 30263 0 -1 4202560 61038 0 1 0 74 6 0 0 15 0 22 0 811379668 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=653] ppid=648 vsize=10558472 CPUtime=1.72 cores=0,2,4,6
/proc/650/task/653/stat : 653 (java) S 648 650 30263 0 -1 4202560 41451 0 0 0 167 5 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=654] ppid=648 vsize=10558472 CPUtime=1.41 cores=0,2,4,6
/proc/650/task/654/stat : 654 (java) S 648 650 30263 0 -1 4202560 9015 0 0 0 140 1 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=655] ppid=648 vsize=10558472 CPUtime=1.76 cores=0,2,4,6
/proc/650/task/655/stat : 655 (java) S 648 650 30263 0 -1 4202560 28663 0 0 0 173 3 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=656] ppid=648 vsize=10558472 CPUtime=1.78 cores=0,2,4,6
/proc/650/task/656/stat : 656 (java) S 648 650 30263 0 -1 4202560 37893 0 0 0 172 6 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=657] ppid=648 vsize=10558472 CPUtime=1.28 cores=0,2,4,6
/proc/650/task/657/stat : 657 (java) S 648 650 30263 0 -1 4202560 15370 0 0 0 126 2 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=658] ppid=648 vsize=10558472 CPUtime=1.75 cores=0,2,4,6
/proc/650/task/658/stat : 658 (java) S 648 650 30263 0 -1 4202560 37960 0 0 0 170 5 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=659] ppid=648 vsize=10558472 CPUtime=1.42 cores=0,2,4,6
/proc/650/task/659/stat : 659 (java) S 648 650 30263 0 -1 4202560 26683 0 0 0 137 5 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 6 0 0 0
[pid=650/tid=660] ppid=648 vsize=10558472 CPUtime=1.68 cores=0,2,4,6
/proc/650/task/660/stat : 660 (java) S 648 650 30263 0 -1 4202560 31213 0 0 0 162 6 0 0 16 0 22 0 811379670 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=661] ppid=648 vsize=10558472 CPUtime=61.39 cores=0,2,4,6
/proc/650/task/661/stat : 661 (java) S 648 650 30263 0 -1 4202560 267766 0 0 0 6112 27 0 0 15 0 22 0 811379671 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 0 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=662] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/662/stat : 662 (java) S 648 650 30263 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 811379671 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=663] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/663/stat : 663 (java) S 648 650 30263 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 811379671 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=664] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/664/stat : 664 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107274673 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=665] ppid=648 vsize=10558472 CPUtime=1.11 cores=0,2,4,6
/proc/650/task/665/stat : 665 (java) S 648 650 30263 0 -1 4202560 9159 0 0 0 110 1 0 0 15 0 22 0 811379674 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=666] ppid=648 vsize=10558472 CPUtime=1.69 cores=0,2,4,6
/proc/650/task/666/stat : 666 (java) S 648 650 30263 0 -1 4202560 7114 0 0 0 168 1 0 0 16 0 22 0 811379674 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 2 0 0 0
[pid=650/tid=667] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/667/stat : 667 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811379674 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107266969 0 4 0 16800975 18446604444623112320 0 0 -1 4 0 0 0
[pid=650/tid=668] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/668/stat : 668 (java) S 648 650 30263 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811379674 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=675] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/675/stat : 675 (java) S 648 650 30263 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811379800 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
[pid=650/tid=690] ppid=648 vsize=10558472 CPUtime=797.23 cores=0,2,4,6
/proc/650/task/690/stat : 690 (java) R 648 650 30263 0 -1 4202560 26843 0 0 0 79718 5 0 0 25 0 22 0 811387025 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505838311 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=650/tid=691] ppid=648 vsize=10558472 CPUtime=797.17 cores=0,2,4,6
/proc/650/task/691/stat : 691 (java) R 648 650 30263 0 -1 4202560 404367 0 0 0 79666 51 0 0 25 0 22 0 811387025 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 46912505977659 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=650/tid=692] ppid=648 vsize=10558472 CPUtime=0 cores=0,2,4,6
/proc/650/task/692/stat : 692 (java) S 648 650 30263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811387025 10811875328 1142968 33554432000 1073741824 1073778376 140737458071136 18446744073709551615 228107267584 0 4 0 16800975 18446604444623112320 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10558472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+929.826 s]
/proc/loadavg: 3.96 3.94 3.73 5/564 791
/proc/meminfo: memFree=13366396/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/650/stat : 650 (java) Z 648 650 30263 0 -1 4203548 1164752 0 1 0 179866 158 0 0 17 0 2 0 811379668 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
[startup+929.901 s]
/proc/loadavg: 3.96 3.94 3.73 5/564 791
/proc/meminfo: memFree=13366396/32951124 swapFree=58800704/67111528
[pid=650] ppid=648 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/650/stat : 650 (java) Z 648 650 30263 0 -1 4203548 1164752 0 1 0 179866 166 0 0 17 0 2 0 811379668 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/650/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 929.94
CPU time (s): 1800.36
CPU user time (s): 1798.66
CPU system time (s): 1.69874
CPU usage (%): 193.6
Max. virtual memory (cumulated for all children) (KiB): 10558668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.69874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1164752
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= 23487
involuntary context switches= 20646
runsolver used 5.2742 second user time and 11.1233 second system time
The end