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-3456687-1307219468/watcher-3456687-1307219468 -o /tmp/evaluation-result-3456687-1307219468/solver-3456687-1307219468 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456687-1307219468.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: 2.09 2.04 1.95 3/576 14889
/proc/meminfo: memFree=23945728/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 912177453 36646912 1018 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 8947 1018 782 9 0 386 0
[pid=14889/tid=14890] ppid=14887 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 6212 0 1 0 0 0 0 0 25 0 2 0 912177454 10694979584 7029 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0346979 s]
/proc/loadavg: 2.09 2.04 1.95 3/576 14889
/proc/meminfo: memFree=23945728/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 10848 0 1 0 1 1 0 0 25 0 10 0 912177453 10705932288 10547 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2613753 10548 1536 9 0 2604501 0
[pid=14889/tid=14890] ppid=14887 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 9727 0 1 0 1 0 0 0 25 0 10 0 912177454 10705932288 10548 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224284508016 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.101881 s]
/proc/loadavg: 2.09 2.04 1.95 3/576 14889
/proc/meminfo: memFree=23945728/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10540012 CPUtime=0.1 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 13023 0 1 0 9 1 0 0 25 0 18 0 912177453 10792972288 12720 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2635003 12721 2093 9 0 2625737 0
[pid=14889/tid=14890] ppid=14887 vsize=10540012 CPUtime=0.08 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 11131 0 1 0 7 1 0 0 18 0 18 0 912177454 10792972288 12722 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540012
[startup+0.300666 s]
/proc/loadavg: 2.09 2.04 1.95 3/576 14889
/proc/meminfo: memFree=23945728/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10541052 CPUtime=0.4 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 15101 0 1 0 39 1 0 0 25 0 18 0 912177453 10794037248 14730 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2635263 14730 2198 9 0 2625997 0
[pid=14889/tid=14890] ppid=14887 vsize=10541052 CPUtime=0.25 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 12708 0 1 0 24 1 0 0 18 0 18 0 912177454 10794037248 14731 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 47739163724596 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10541052
[startup+0.700609 s]
/proc/loadavg: 2.09 2.04 1.95 3/576 14889
/proc/meminfo: memFree=23945728/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10553252 CPUtime=1.43 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 30343 0 1 0 139 4 0 0 25 0 19 0 912177453 10806530048 26559 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2638313 26561 2231 9 0 2629047 0
[pid=14889/tid=14890] ppid=14887 vsize=10553252 CPUtime=0.62 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 20095 0 1 0 60 2 0 0 19 0 19 0 912177454 10806530048 26561 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 47739163724627 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10553252
[startup+1.5015 s]
/proc/loadavg: 2.24 2.07 1.96 5/595 14908
/proc/meminfo: memFree=23772668/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10553304 CPUtime=2.9 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 92571 0 1 0 278 12 0 0 25 0 19 0 912177453 10806583296 84788 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2638326 84790 2234 9 0 2629060 0
[pid=14889/tid=14890] ppid=14887 vsize=10553304 CPUtime=1.43 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 78139 0 1 0 133 10 0 0 20 0 19 0 912177454 10806583296 84792 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 46912505641073 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14889/tid=14892] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14892/stat : 14892 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84793 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14893] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14893/stat : 14893 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84795 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14894] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14894/stat : 14894 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84796 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14895] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14895/stat : 14895 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84798 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14896] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14896/stat : 14896 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84800 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14897] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14897/stat : 14897 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84801 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14898] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14898/stat : 14898 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84803 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 84805 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14900] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14900/stat : 14900 (java) S 14887 14889 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912177457 10806583296 84808 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 0 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14901] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14901/stat : 14901 (java) S 14887 14889 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912177457 10806583296 84809 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14902] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14902/stat : 14902 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177457 10806583296 84810 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14903] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14903/stat : 14903 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10806583296 84812 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296749489 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14904] ppid=14887 vsize=10553304 CPUtime=0.71 cores=0,2,4,6
/proc/14889/task/14904/stat : 14904 (java) S 14887 14889 14484 0 -1 4202560 6282 0 0 0 71 0 0 0 16 0 19 0 912177459 10806583296 84813 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14905] ppid=14887 vsize=10553304 CPUtime=0.74 cores=0,2,4,6
/proc/14889/task/14905/stat : 14905 (java) S 14887 14889 14484 0 -1 4202560 6995 0 0 0 73 1 0 0 15 0 19 0 912177459 10806583296 84813 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14906] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14906/stat : 14906 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10806583296 84815 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14907] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14907/stat : 14907 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912177459 10806583296 84816 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14908] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14908/stat : 14908 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912177494 10806583296 84816 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 10553304
[startup+3.10124 s]
/proc/loadavg: 2.24 2.07 1.96 3/595 14908
/proc/meminfo: memFree=23425964/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10553304 CPUtime=4.5 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 218614 0 1 0 422 28 0 0 25 0 19 0 912177453 10806583296 210829 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2638326 210833 2234 9 0 2629060 0
[pid=14889/tid=14890] ppid=14887 vsize=10553304 CPUtime=3.02 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 204182 0 1 0 277 25 0 0 19 0 19 0 912177454 10806583296 210834 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 46912505725462 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14889/tid=14892] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14892/stat : 14892 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210837 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14893] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14893/stat : 14893 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210839 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14894] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14894/stat : 14894 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210842 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14895] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14895/stat : 14895 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210844 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14896] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14896/stat : 14896 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210847 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14897] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14897/stat : 14897 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210850 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14898] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14898/stat : 14898 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210852 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 210854 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14900] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14900/stat : 14900 (java) S 14887 14889 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912177457 10806583296 210856 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 0 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14901] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14901/stat : 14901 (java) S 14887 14889 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912177457 10806583296 210858 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14902] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14902/stat : 14902 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177457 10806583296 210860 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14903] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14903/stat : 14903 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10806583296 210861 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296749489 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14904] ppid=14887 vsize=10553304 CPUtime=0.71 cores=0,2,4,6
/proc/14889/task/14904/stat : 14904 (java) S 14887 14889 14484 0 -1 4202560 6282 0 0 0 71 0 0 0 16 0 19 0 912177459 10806583296 210863 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14905] ppid=14887 vsize=10553304 CPUtime=0.74 cores=0,2,4,6
/proc/14889/task/14905/stat : 14905 (java) S 14887 14889 14484 0 -1 4202560 6995 0 0 0 73 1 0 0 15 0 19 0 912177459 10806583296 210864 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14906] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14906/stat : 14906 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10806583296 210866 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14907] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14907/stat : 14907 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912177459 10806583296 210868 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14908] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14908/stat : 14908 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912177494 10806583296 210871 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10553304
[startup+6.30066 s]
/proc/loadavg: 2.22 2.07 1.96 3/595 14908
/proc/meminfo: memFree=22435832/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10553304 CPUtime=7.71 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 448399 0 1 0 716 55 0 0 25 0 19 0 912177453 10806583296 440613 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2638326 440616 2235 9 0 2629060 0
[pid=14889/tid=14890] ppid=14887 vsize=10553304 CPUtime=6.23 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 433964 0 1 0 570 53 0 0 25 0 19 0 912177454 10806583296 440617 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 46912505849515 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14889/tid=14892] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14892/stat : 14892 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440622 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14893] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14893/stat : 14893 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440627 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14894] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14894/stat : 14894 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440629 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14895] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14895/stat : 14895 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440631 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14896] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14896/stat : 14896 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440633 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14897] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14897/stat : 14897 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440634 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14898] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14898/stat : 14898 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440635 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177456 10806583296 440637 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14900] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14900/stat : 14900 (java) S 14887 14889 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912177457 10806583296 440638 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 0 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14901] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14901/stat : 14901 (java) S 14887 14889 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912177457 10806583296 440639 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14902] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14902/stat : 14902 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912177457 10806583296 440641 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14903] ppid=14887 vsize=10553304 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14903/stat : 14903 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10806583296 440643 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296749489 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14904] ppid=14887 vsize=10553304 CPUtime=0.72 cores=0,2,4,6
/proc/14889/task/14904/stat : 14904 (java) S 14887 14889 14484 0 -1 4202560 6283 0 0 0 72 0 0 0 15 0 19 0 912177459 10806583296 440644 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14905] ppid=14887 vsize=10553304 CPUtime=0.74 cores=0,2,4,6
/proc/14889/task/14905/stat : 14905 (java) S 14887 14889 14484 0 -1 4202560 6995 0 0 0 73 1 0 0 15 0 19 0 912177459 10806583296 440646 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=14889/tid=14908] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14908/stat : 14908 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912177494 10804822016 926462 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1666.95
Current children cumulated vsize (KiB) 10551584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/595 15051
/proc/meminfo: memFree=21102972/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10551584 CPUtime=1727.12 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 937769 0 1 0 172594 118 0 0 25 0 19 0 912177453 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2637896 927799 2264 9 0 2628630 0
[pid=14889/tid=14890] ppid=14887 vsize=10551584 CPUtime=1719.89 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 824126 0 1 0 171891 98 0 0 25 0 19 0 912177454 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 46912505723433 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14889/tid=14892] ppid=14887 vsize=10551584 CPUtime=0.59 cores=0,2,4,6
/proc/14889/task/14892/stat : 14892 (java) S 14887 14889 14484 0 -1 4202560 14964 0 0 0 57 2 0 0 16 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14893] ppid=14887 vsize=10551584 CPUtime=0.58 cores=0,2,4,6
/proc/14889/task/14893/stat : 14893 (java) S 14887 14889 14484 0 -1 4202560 12609 0 0 0 56 2 0 0 16 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14894] ppid=14887 vsize=10551584 CPUtime=0.7 cores=0,2,4,6
/proc/14889/task/14894/stat : 14894 (java) S 14887 14889 14484 0 -1 4202560 16040 0 0 0 68 2 0 0 16 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14895] ppid=14887 vsize=10551584 CPUtime=0.61 cores=0,2,4,6
/proc/14889/task/14895/stat : 14895 (java) S 14887 14889 14484 0 -1 4202560 14500 0 0 0 60 1 0 0 16 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14896] ppid=14887 vsize=10551584 CPUtime=0.6 cores=0,2,4,6
/proc/14889/task/14896/stat : 14896 (java) S 14887 14889 14484 0 -1 4202560 10843 0 0 0 59 1 0 0 16 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14897] ppid=14887 vsize=10551584 CPUtime=0.44 cores=0,2,4,6
/proc/14889/task/14897/stat : 14897 (java) S 14887 14889 14484 0 -1 4202560 9058 0 0 0 43 1 0 0 16 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14898] ppid=14887 vsize=10551584 CPUtime=0.53 cores=0,2,4,6
/proc/14889/task/14898/stat : 14898 (java) S 14887 14889 14484 0 -1 4202560 10827 0 0 0 52 1 0 0 15 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=10551584 CPUtime=0.49 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) S 14887 14889 14484 0 -1 4202560 8533 0 0 0 48 1 0 0 16 0 19 0 912177456 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14900] ppid=14887 vsize=10551584 CPUtime=0.85 cores=0,2,4,6
/proc/14889/task/14900/stat : 14900 (java) S 14887 14889 14484 0 -1 4202560 1586 0 0 0 85 0 0 0 15 0 19 0 912177457 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 0 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14901] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14901/stat : 14901 (java) S 14887 14889 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912177457 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14902] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14902/stat : 14902 (java) S 14887 14889 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912177457 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14903] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14903/stat : 14903 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296749489 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14904] ppid=14887 vsize=10551584 CPUtime=0.93 cores=0,2,4,6
/proc/14889/task/14904/stat : 14904 (java) S 14887 14889 14484 0 -1 4202560 6431 0 0 0 93 0 0 0 15 0 19 0 912177459 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14905] ppid=14887 vsize=10551584 CPUtime=0.78 cores=0,2,4,6
/proc/14889/task/14905/stat : 14905 (java) S 14887 14889 14484 0 -1 4202560 7002 0 0 0 77 1 0 0 16 0 19 0 912177459 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14906] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14906/stat : 14906 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14907] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14907/stat : 14907 (java) S 14887 14889 14484 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912177459 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14908] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14908/stat : 14908 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912177494 10804822016 927799 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.12
Current children cumulated vsize (KiB) 10551584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/595 15053
/proc/meminfo: memFree=21070460/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10551584 CPUtime=1787.22 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 938784 0 1 0 178604 118 0 0 25 0 19 0 912177453 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2637896 928790 2264 9 0 2628630 0
[pid=14889/tid=14890] ppid=14887 vsize=10551584 CPUtime=1779.85 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 824129 0 1 0 177887 98 0 0 25 0 19 0 912177454 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 46912505723520 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14889/tid=14892] ppid=14887 vsize=10551584 CPUtime=0.59 cores=0,2,4,6
/proc/14889/task/14892/stat : 14892 (java) S 14887 14889 14484 0 -1 4202560 14964 0 0 0 57 2 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14893] ppid=14887 vsize=10551584 CPUtime=0.59 cores=0,2,4,6
/proc/14889/task/14893/stat : 14893 (java) S 14887 14889 14484 0 -1 4202560 12738 0 0 0 57 2 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14894] ppid=14887 vsize=10551584 CPUtime=0.73 cores=0,2,4,6
/proc/14889/task/14894/stat : 14894 (java) S 14887 14889 14484 0 -1 4202560 16223 0 0 0 71 2 0 0 16 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14895] ppid=14887 vsize=10551584 CPUtime=0.63 cores=0,2,4,6
/proc/14889/task/14895/stat : 14895 (java) S 14887 14889 14484 0 -1 4202560 14558 0 0 0 62 1 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14896] ppid=14887 vsize=10551584 CPUtime=0.63 cores=0,2,4,6
/proc/14889/task/14896/stat : 14896 (java) S 14887 14889 14484 0 -1 4202560 11089 0 0 0 62 1 0 0 16 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14897] ppid=14887 vsize=10551584 CPUtime=0.47 cores=0,2,4,6
/proc/14889/task/14897/stat : 14897 (java) S 14887 14889 14484 0 -1 4202560 9271 0 0 0 46 1 0 0 16 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14898] ppid=14887 vsize=10551584 CPUtime=0.54 cores=0,2,4,6
/proc/14889/task/14898/stat : 14898 (java) S 14887 14889 14484 0 -1 4202560 10937 0 0 0 53 1 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=10551584 CPUtime=0.49 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) S 14887 14889 14484 0 -1 4202560 8598 0 0 0 48 1 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14900] ppid=14887 vsize=10551584 CPUtime=0.85 cores=0,2,4,6
/proc/14889/task/14900/stat : 14900 (java) S 14887 14889 14484 0 -1 4202560 1590 0 0 0 85 0 0 0 15 0 19 0 912177457 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 0 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14901] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14901/stat : 14901 (java) S 14887 14889 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912177457 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14902] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14902/stat : 14902 (java) S 14887 14889 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912177457 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14903] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14903/stat : 14903 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296749489 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14904] ppid=14887 vsize=10551584 CPUtime=0.93 cores=0,2,4,6
/proc/14889/task/14904/stat : 14904 (java) S 14887 14889 14484 0 -1 4202560 6431 0 0 0 93 0 0 0 15 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14905] ppid=14887 vsize=10551584 CPUtime=0.78 cores=0,2,4,6
/proc/14889/task/14905/stat : 14905 (java) S 14887 14889 14484 0 -1 4202560 7002 0 0 0 77 1 0 0 16 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14906] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14906/stat : 14906 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14907] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14907/stat : 14907 (java) S 14887 14889 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14908] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14908/stat : 14908 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912177494 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.22
Current children cumulated vsize (KiB) 10551584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 2.00 2.04 2.01 3/595 15062
/proc/meminfo: memFree=21068816/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=10551584 CPUtime=1800.05 cores=0,2,4,6
/proc/14889/stat : 14889 (java) S 14887 14889 14484 0 -1 4202496 938784 0 1 0 179887 118 0 0 25 0 19 0 912177453 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 2637896 928790 2264 9 0 2628630 0
[pid=14889/tid=14890] ppid=14887 vsize=10551584 CPUtime=1792.69 cores=0,2,4,6
/proc/14889/task/14890/stat : 14890 (java) R 14887 14889 14484 0 -1 4202560 824129 0 1 0 179171 98 0 0 25 0 19 0 912177454 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 46912505688463 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14889/tid=14892] ppid=14887 vsize=10551584 CPUtime=0.59 cores=0,2,4,6
/proc/14889/task/14892/stat : 14892 (java) S 14887 14889 14484 0 -1 4202560 14964 0 0 0 57 2 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14893] ppid=14887 vsize=10551584 CPUtime=0.59 cores=0,2,4,6
/proc/14889/task/14893/stat : 14893 (java) S 14887 14889 14484 0 -1 4202560 12738 0 0 0 57 2 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14894] ppid=14887 vsize=10551584 CPUtime=0.73 cores=0,2,4,6
/proc/14889/task/14894/stat : 14894 (java) S 14887 14889 14484 0 -1 4202560 16223 0 0 0 71 2 0 0 16 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
[pid=14889/tid=14895] ppid=14887 vsize=10551584 CPUtime=0.63 cores=0,2,4,6
/proc/14889/task/14895/stat : 14895 (java) S 14887 14889 14484 0 -1 4202560 14558 0 0 0 62 1 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14896] ppid=14887 vsize=10551584 CPUtime=0.63 cores=0,2,4,6
/proc/14889/task/14896/stat : 14896 (java) S 14887 14889 14484 0 -1 4202560 11089 0 0 0 62 1 0 0 16 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14897] ppid=14887 vsize=10551584 CPUtime=0.47 cores=0,2,4,6
/proc/14889/task/14897/stat : 14897 (java) S 14887 14889 14484 0 -1 4202560 9271 0 0 0 46 1 0 0 16 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14898] ppid=14887 vsize=10551584 CPUtime=0.54 cores=0,2,4,6
/proc/14889/task/14898/stat : 14898 (java) S 14887 14889 14484 0 -1 4202560 10937 0 0 0 53 1 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=10551584 CPUtime=0.49 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) S 14887 14889 14484 0 -1 4202560 8598 0 0 0 48 1 0 0 15 0 19 0 912177456 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14900] ppid=14887 vsize=10551584 CPUtime=0.85 cores=0,2,4,6
/proc/14889/task/14900/stat : 14900 (java) S 14887 14889 14484 0 -1 4202560 1590 0 0 0 85 0 0 0 15 0 19 0 912177457 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 0 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14901] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14901/stat : 14901 (java) S 14887 14889 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912177457 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14902] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14902/stat : 14902 (java) S 14887 14889 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912177457 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14903] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14903/stat : 14903 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296749489 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14904] ppid=14887 vsize=10551584 CPUtime=0.93 cores=0,2,4,6
/proc/14889/task/14904/stat : 14904 (java) S 14887 14889 14484 0 -1 4202560 6431 0 0 0 93 0 0 0 15 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 4 0 0 0
[pid=14889/tid=14905] ppid=14887 vsize=10551584 CPUtime=0.78 cores=0,2,4,6
/proc/14889/task/14905/stat : 14905 (java) S 14887 14889 14484 0 -1 4202560 7002 0 0 0 77 1 0 0 16 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14906] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14906/stat : 14906 (java) S 14887 14889 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296741785 0 4 0 16800975 18446604446337696192 0 0 -1 2 0 0 0
[pid=14889/tid=14907] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14907/stat : 14907 (java) S 14887 14889 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912177459 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 0 0 0 0
[pid=14889/tid=14908] ppid=14887 vsize=10551584 CPUtime=0 cores=0,2,4,6
/proc/14889/task/14908/stat : 14908 (java) S 14887 14889 14484 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912177494 10804822016 928790 33554432000 1073741824 1073778376 140734961304464 18446744073709551615 224296742400 0 4 0 16800975 18446604446337696192 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10551584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.25 s]
/proc/loadavg: 2.00 2.04 2.01 3/595 15062
/proc/meminfo: memFree=21068816/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/14889/stat : 14889 (java) Z 14887 14889 14484 0 -1 4203548 939176 0 1 0 179901 122 0 0 17 0 2 0 912177453 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 0 0 0 0 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=0 CPUtime=0.54 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) R 14887 14889 14484 0 -1 4203588 8598 0 0 0 48 6 0 0 15 0 2 0 912177456 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
[startup+1795.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/595 15062
/proc/meminfo: memFree=21068816/32951124 swapFree=34426104/67111528
[pid=14889] ppid=14887 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/14889/stat : 14889 (java) Z 14887 14889 14484 0 -1 4203548 939176 0 1 0 179901 127 0 0 17 0 2 0 912177453 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/14889/statm: 0 0 0 0 0 0 0
[pid=14889/tid=14899] ppid=14887 vsize=0 CPUtime=0.59 cores=0,2,4,6
/proc/14889/task/14899/stat : 14899 (java) R 14887 14889 14484 0 -1 4203588 8598 0 0 0 48 11 0 0 15 0 2 0 912177456 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.37
CPU time (s): 1800.36
CPU user time (s): 1799.02
CPU system time (s): 1.3448
CPU usage (%): 100.278
Max. virtual memory (cumulated for all children) (KiB): 10555852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.34479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 939176
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= 39509
involuntary context switches= 11242
runsolver used 11.1033 second user time and 23.2115 second system time
The end