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-3454185-1307189178/watcher-3454185-1307189178 -o /tmp/evaluation-result-3454185-1307189178/solver-3454185-1307189178 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454185-1307189178.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.19 3.25 2.66 4/485 16855
/proc/meminfo: memFree=26956116/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 2809 0 1 0 0 0 0 0 25 0 2 0 830517584 10681323520 2511 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2607745 2523 906 9 0 2598901 0
[pid=16855/tid=16856] ppid=16853 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) R 16853 16855 13462 0 -1 4202560 6295 0 1 0 0 0 0 0 25 0 2 0 830517584 10694979584 7111 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.113459 s]
/proc/loadavg: 3.19 3.25 2.66 4/485 16855
/proc/meminfo: memFree=26956116/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10539816 CPUtime=0.12 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 13334 0 1 0 11 1 0 0 25 0 18 0 830517584 10792771584 12998 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2634954 12998 2133 9 0 2625688 0
[pid=16855/tid=16856] ppid=16853 vsize=10539816 CPUtime=0.1 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) R 16853 16855 13462 0 -1 4202560 11298 0 1 0 9 1 0 0 25 0 18 0 830517584 10792771584 12998 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505228560 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539816
[startup+0.200444 s]
/proc/loadavg: 3.19 3.25 2.66 4/485 16855
/proc/meminfo: memFree=26956116/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10540104 CPUtime=0.29 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 14289 0 1 0 28 1 0 0 25 0 18 0 830517584 10793066496 13887 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2635026 13887 2186 9 0 2625760 0
[pid=16855/tid=16856] ppid=16853 vsize=10540104 CPUtime=0.18 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) R 16853 16855 13462 0 -1 4202560 11884 0 1 0 17 1 0 0 25 0 18 0 830517584 10793066496 13887 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 47386931948340 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540104
[startup+0.300427 s]
/proc/loadavg: 3.19 3.25 2.66 4/485 16855
/proc/meminfo: memFree=26956116/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10541780 CPUtime=0.49 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 16176 0 1 0 48 1 0 0 25 0 18 0 830517584 10794782720 15616 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2635445 15617 2200 9 0 2626179 0
[pid=16855/tid=16856] ppid=16853 vsize=10541780 CPUtime=0.28 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) R 16853 16855 13462 0 -1 4202560 13243 0 1 0 27 1 0 0 25 0 18 0 830517584 10794782720 15618 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505609295 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541780
[startup+0.700358 s]
/proc/loadavg: 3.19 3.25 2.66 4/485 16855
/proc/meminfo: memFree=26956116/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10549988 CPUtime=1.86 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 29019 0 1 0 183 3 0 0 25 0 22 0 830517584 10803187712 26236 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2637497 26236 2238 9 0 2628231 0
[pid=16855/tid=16856] ppid=16853 vsize=10549988 CPUtime=0.36 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) S 16853 16855 13462 0 -1 4202560 15934 0 1 0 34 2 0 0 25 0 22 0 830517584 10803187712 26236 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10549988
[startup+1.50122 s]
/proc/loadavg: 3.19 3.25 2.66 4/507 16877
/proc/meminfo: memFree=26778252/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10549988 CPUtime=3.48 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 68965 0 1 0 341 7 0 0 25 0 22 0 830517584 10803187712 66181 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2637497 66183 2238 9 0 2628231 0
[pid=16855/tid=16856] ppid=16853 vsize=10549988 CPUtime=0.36 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) S 16853 16855 13462 0 -1 4202560 15934 0 1 0 34 2 0 0 15 0 22 0 830517584 10803187712 66185 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16858] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16858/stat : 16858 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66186 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16859] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16859/stat : 16859 (java) S 16853 16855 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66188 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16860] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16860/stat : 16860 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66190 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16861] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16861/stat : 16861 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66191 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16862] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16862/stat : 16862 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66193 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16863] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16863/stat : 16863 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16864] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16864/stat : 16864 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16865] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16865/stat : 16865 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517586 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16866] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16866/stat : 16866 (java) S 16853 16855 13462 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830517587 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 0 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16867] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16867/stat : 16867 (java) S 16853 16855 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830517587 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16868] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16868/stat : 16868 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517587 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16869] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16869/stat : 16869 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101521841 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16870] ppid=16853 vsize=10549988 CPUtime=0.44 cores=1,3,5,7
/proc/16855/task/16870/stat : 16870 (java) S 16853 16855 13462 0 -1 4202560 3808 0 0 0 44 0 0 0 21 0 22 0 830517589 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16871] ppid=16853 vsize=10549988 CPUtime=0.43 cores=1,3,5,7
/proc/16855/task/16871/stat : 16871 (java) S 16853 16855 13462 0 -1 4202560 1965 0 0 0 43 0 0 0 16 0 22 0 830517589 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16872] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16872/stat : 16872 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16873] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16873/stat : 16873 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830517589 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16874] ppid=16853 vsize=10549988 CPUtime=1.11 cores=1,3,5,7
/proc/16855/task/16874/stat : 16874 (java) R 16853 16855 13462 0 -1 4202560 253 0 0 0 111 0 0 0 25 0 22 0 830517622 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505834662 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16855/tid=16875] ppid=16853 vsize=10549988 CPUtime=1.11 cores=1,3,5,7
/proc/16855/task/16875/stat : 16875 (java) R 16853 16855 13462 0 -1 4202560 45850 0 0 0 106 5 0 0 25 0 22 0 830517622 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505876325 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16855/tid=16876] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16876/stat : 16876 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16877] ppid=16853 vsize=10549988 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16877/stat : 16877 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10803187712 66194 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10549988
[startup+3.10093 s]
/proc/loadavg: 3.17 3.24 2.66 4/507 16877
/proc/meminfo: memFree=26558524/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10615524 CPUtime=6.74 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 131677 0 1 0 658 16 0 0 25 0 22 0 830517584 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2653881 128776 2265 9 0 2644615 0
[pid=16855/tid=16856] ppid=16853 vsize=10615524 CPUtime=0.36 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) S 16853 16855 13462 0 -1 4202560 15934 0 1 0 34 2 0 0 15 0 22 0 830517584 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16858] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16858/stat : 16858 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16859] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16859/stat : 16859 (java) S 16853 16855 13462 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16860] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16860/stat : 16860 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16861] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16861/stat : 16861 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16862] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16862/stat : 16862 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16863] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16863/stat : 16863 (java) S 16853 16855 13462 0 -1 4202560 248 0 0 0 0 0 0 0 17 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16864] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16864/stat : 16864 (java) S 16853 16855 13462 0 -1 4202560 343 0 0 0 0 0 0 0 17 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16865] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16865/stat : 16865 (java) S 16853 16855 13462 0 -1 4202560 363 0 0 0 0 0 0 0 17 0 22 0 830517586 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16866] ppid=16853 vsize=10615524 CPUtime=0.01 cores=1,3,5,7
/proc/16855/task/16866/stat : 16866 (java) S 16853 16855 13462 0 -1 4202560 947 0 0 0 1 0 0 0 16 0 22 0 830517587 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 0 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16867] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16867/stat : 16867 (java) S 16853 16855 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16868] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16868/stat : 16868 (java) S 16853 16855 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16869] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16869/stat : 16869 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101521841 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16870] ppid=16853 vsize=10615524 CPUtime=0.47 cores=1,3,5,7
/proc/16855/task/16870/stat : 16870 (java) S 16853 16855 13462 0 -1 4202560 3925 0 0 0 47 0 0 0 17 0 22 0 830517589 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16871] ppid=16853 vsize=10615524 CPUtime=0.47 cores=1,3,5,7
/proc/16855/task/16871/stat : 16871 (java) S 16853 16855 13462 0 -1 4202560 1979 0 0 0 47 0 0 0 16 0 22 0 830517589 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16872] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16872/stat : 16872 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16873] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16873/stat : 16873 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830517589 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16874] ppid=16853 vsize=10615524 CPUtime=2.68 cores=1,3,5,7
/proc/16855/task/16874/stat : 16874 (java) R 16853 16855 13462 0 -1 4202560 389 0 0 0 268 0 0 0 25 0 22 0 830517622 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505767110 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16855/tid=16875] ppid=16853 vsize=10615524 CPUtime=2.67 cores=1,3,5,7
/proc/16855/task/16875/stat : 16875 (java) R 16853 16855 13462 0 -1 4202560 106385 0 0 0 254 13 0 0 25 0 22 0 830517622 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505946806 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16855/tid=16876] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16876/stat : 16876 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16877] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16877/stat : 16877 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 128776 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10615524
[startup+6.30137 s]
/proc/loadavg: 3.17 3.24 2.66 3/484 16880
/proc/meminfo: memFree=29415792/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10615524 CPUtime=13.18 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 156091 0 1 0 1300 18 0 0 25 0 22 0 830517584 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2653881 153123 2265 9 0 2644615 0
[pid=16855/tid=16856] ppid=16853 vsize=10615524 CPUtime=0.36 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) S 16853 16855 13462 0 -1 4202560 15934 0 1 0 34 2 0 0 15 0 22 0 830517584 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16858] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16858/stat : 16858 (java) S 16853 16855 13462 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16859] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16859/stat : 16859 (java) S 16853 16855 13462 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16860] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16860/stat : 16860 (java) S 16853 16855 13462 0 -1 4202560 154 0 0 0 0 0 0 0 16 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16861] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16861/stat : 16861 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16862] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16862/stat : 16862 (java) S 16853 16855 13462 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16863] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16863/stat : 16863 (java) S 16853 16855 13462 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16864] ppid=16853 vsize=10615524 CPUtime=0.01 cores=1,3,5,7
/proc/16855/task/16864/stat : 16864 (java) S 16853 16855 13462 0 -1 4202560 447 0 0 0 1 0 0 0 15 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16865] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16865/stat : 16865 (java) S 16853 16855 13462 0 -1 4202560 363 0 0 0 0 0 0 0 15 0 22 0 830517586 10870296576 153123 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=16855/tid=16875] ppid=16853 vsize=10615524 CPUtime=740.69 cores=1,3,5,7
/proc/16855/task/16875/stat : 16875 (java) R 16853 16855 13462 0 -1 4202560 274471 0 0 0 74036 33 0 0 25 0 22 0 830517622 10870296576 331322 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505755366 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16855/tid=16876] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16876/stat : 16876 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 331322 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16877] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16877/stat : 16877 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 331322 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1505.88
Current children cumulated vsize (KiB) 10615524
[startup+822.301 s]
/proc/loadavg: 3.67 3.75 3.32 5/507 16972
/proc/meminfo: memFree=27605728/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10615524 CPUtime=1623.63 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 338748 0 1 0 162319 44 0 0 25 0 22 0 830517584 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2653881 332832 2266 9 0 2644615 0
[pid=16855/tid=16856] ppid=16853 vsize=10615524 CPUtime=0.36 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) S 16853 16855 13462 0 -1 4202560 15945 0 1 0 34 2 0 0 15 0 22 0 830517584 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16858] ppid=16853 vsize=10615524 CPUtime=0.27 cores=1,3,5,7
/proc/16855/task/16858/stat : 16858 (java) S 16853 16855 13462 0 -1 4202560 184 0 0 0 27 0 0 0 16 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16859] ppid=16853 vsize=10615524 CPUtime=0.26 cores=1,3,5,7
/proc/16855/task/16859/stat : 16859 (java) S 16853 16855 13462 0 -1 4202560 343 0 0 0 26 0 0 0 15 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16860] ppid=16853 vsize=10615524 CPUtime=0.25 cores=1,3,5,7
/proc/16855/task/16860/stat : 16860 (java) S 16853 16855 13462 0 -1 4202560 233 0 0 0 25 0 0 0 15 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16861] ppid=16853 vsize=10615524 CPUtime=0.24 cores=1,3,5,7
/proc/16855/task/16861/stat : 16861 (java) S 16853 16855 13462 0 -1 4202560 17 0 0 0 24 0 0 0 16 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16862] ppid=16853 vsize=10615524 CPUtime=0.26 cores=1,3,5,7
/proc/16855/task/16862/stat : 16862 (java) S 16853 16855 13462 0 -1 4202560 83 0 0 0 26 0 0 0 16 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16863] ppid=16853 vsize=10615524 CPUtime=0.28 cores=1,3,5,7
/proc/16855/task/16863/stat : 16863 (java) S 16853 16855 13462 0 -1 4202560 347 0 0 0 28 0 0 0 15 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16864] ppid=16853 vsize=10615524 CPUtime=0.27 cores=1,3,5,7
/proc/16855/task/16864/stat : 16864 (java) S 16853 16855 13462 0 -1 4202560 700 0 0 0 27 0 0 0 15 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16865] ppid=16853 vsize=10615524 CPUtime=0.25 cores=1,3,5,7
/proc/16855/task/16865/stat : 16865 (java) S 16853 16855 13462 0 -1 4202560 422 0 0 0 25 0 0 0 15 0 22 0 830517586 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16866] ppid=16853 vsize=10615524 CPUtime=22.79 cores=1,3,5,7
/proc/16855/task/16866/stat : 16866 (java) S 16853 16855 13462 0 -1 4202560 33530 0 0 0 2275 4 0 0 15 0 22 0 830517587 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 0 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16867] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16867/stat : 16867 (java) S 16853 16855 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16868] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16868/stat : 16868 (java) S 16853 16855 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16869] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16869/stat : 16869 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101521841 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16870] ppid=16853 vsize=10615524 CPUtime=0.83 cores=1,3,5,7
/proc/16855/task/16870/stat : 16870 (java) S 16853 16855 13462 0 -1 4202560 8627 0 0 0 83 0 0 0 15 0 22 0 830517589 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16871] ppid=16853 vsize=10615524 CPUtime=0.7 cores=1,3,5,7
/proc/16855/task/16871/stat : 16871 (java) S 16853 16855 13462 0 -1 4202560 2038 0 0 0 70 0 0 0 15 0 22 0 830517589 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16872] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16872/stat : 16872 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16873] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16873/stat : 16873 (java) S 16853 16855 13462 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830517589 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16874] ppid=16853 vsize=10615524 CPUtime=798.38 cores=1,3,5,7
/proc/16855/task/16874/stat : 16874 (java) R 16853 16855 13462 0 -1 4202560 600 0 0 0 79838 0 0 0 25 0 22 0 830517622 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505632416 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16855/tid=16875] ppid=16853 vsize=10615524 CPUtime=798.34 cores=1,3,5,7
/proc/16855/task/16875/stat : 16875 (java) R 16853 16855 13462 0 -1 4202560 274473 0 0 0 79801 33 0 0 25 0 22 0 830517622 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505855958 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16855/tid=16876] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16876/stat : 16876 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16877] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16877/stat : 16877 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 332832 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1623.63
Current children cumulated vsize (KiB) 10615524
[startup+882.319 s]
/proc/loadavg: 3.82 3.77 3.35 5/507 16973
/proc/meminfo: memFree=27579516/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10615524 CPUtime=1741.32 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 340174 0 1 0 174087 45 0 0 25 0 22 0 830517584 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2653881 334242 2266 9 0 2644615 0
[pid=16855/tid=16856] ppid=16853 vsize=10615524 CPUtime=0.36 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) S 16853 16855 13462 0 -1 4202560 15947 0 1 0 34 2 0 0 15 0 22 0 830517584 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16858] ppid=16853 vsize=10615524 CPUtime=0.29 cores=1,3,5,7
/proc/16855/task/16858/stat : 16858 (java) S 16853 16855 13462 0 -1 4202560 184 0 0 0 29 0 0 0 16 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16859] ppid=16853 vsize=10615524 CPUtime=0.28 cores=1,3,5,7
/proc/16855/task/16859/stat : 16859 (java) S 16853 16855 13462 0 -1 4202560 343 0 0 0 28 0 0 0 16 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16860] ppid=16853 vsize=10615524 CPUtime=0.27 cores=1,3,5,7
/proc/16855/task/16860/stat : 16860 (java) S 16853 16855 13462 0 -1 4202560 234 0 0 0 27 0 0 0 15 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16861] ppid=16853 vsize=10615524 CPUtime=0.29 cores=1,3,5,7
/proc/16855/task/16861/stat : 16861 (java) S 16853 16855 13462 0 -1 4202560 17 0 0 0 29 0 0 0 16 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16862] ppid=16853 vsize=10615524 CPUtime=0.28 cores=1,3,5,7
/proc/16855/task/16862/stat : 16862 (java) S 16853 16855 13462 0 -1 4202560 83 0 0 0 28 0 0 0 15 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16863] ppid=16853 vsize=10615524 CPUtime=0.3 cores=1,3,5,7
/proc/16855/task/16863/stat : 16863 (java) S 16853 16855 13462 0 -1 4202560 347 0 0 0 30 0 0 0 15 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16864] ppid=16853 vsize=10615524 CPUtime=0.31 cores=1,3,5,7
/proc/16855/task/16864/stat : 16864 (java) S 16853 16855 13462 0 -1 4202560 700 0 0 0 31 0 0 0 16 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16865] ppid=16853 vsize=10615524 CPUtime=0.27 cores=1,3,5,7
/proc/16855/task/16865/stat : 16865 (java) S 16853 16855 13462 0 -1 4202560 422 0 0 0 27 0 0 0 15 0 22 0 830517586 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16866] ppid=16853 vsize=10615524 CPUtime=25.19 cores=1,3,5,7
/proc/16855/task/16866/stat : 16866 (java) S 16853 16855 13462 0 -1 4202560 34941 0 0 0 2515 4 0 0 15 0 22 0 830517587 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 0 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16867] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16867/stat : 16867 (java) S 16853 16855 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16868] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16868/stat : 16868 (java) S 16853 16855 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16869] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16869/stat : 16869 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101521841 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16870] ppid=16853 vsize=10615524 CPUtime=0.83 cores=1,3,5,7
/proc/16855/task/16870/stat : 16870 (java) S 16853 16855 13462 0 -1 4202560 8627 0 0 0 83 0 0 0 15 0 22 0 830517589 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16871] ppid=16853 vsize=10615524 CPUtime=0.7 cores=1,3,5,7
/proc/16855/task/16871/stat : 16871 (java) S 16853 16855 13462 0 -1 4202560 2038 0 0 0 70 0 0 0 15 0 22 0 830517589 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16872] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16872/stat : 16872 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16873] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16873/stat : 16873 (java) S 16853 16855 13462 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830517589 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16874] ppid=16853 vsize=10615524 CPUtime=855.93 cores=1,3,5,7
/proc/16855/task/16874/stat : 16874 (java) R 16853 16855 13462 0 -1 4202560 609 0 0 0 85593 0 0 0 25 0 22 0 830517622 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505766965 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16855/tid=16875] ppid=16853 vsize=10615524 CPUtime=855.89 cores=1,3,5,7
/proc/16855/task/16875/stat : 16875 (java) R 16853 16855 13462 0 -1 4202560 274474 0 0 0 85556 33 0 0 25 0 22 0 830517622 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505788617 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16855/tid=16876] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16876/stat : 16876 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16877] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16877/stat : 16877 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 334242 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1741.32
Current children cumulated vsize (KiB) 10615524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.301 s]
/proc/loadavg: 3.70 3.75 3.36 4/507 16974
/proc/meminfo: memFree=27571444/32950928 swapFree=45617076/67111528
[pid=16855] ppid=16853 vsize=10615524 CPUtime=1800.15 cores=1,3,5,7
/proc/16855/stat : 16855 (java) S 16853 16855 13462 0 -1 4202496 341025 0 1 0 179970 45 0 0 25 0 22 0 830517584 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16855/statm: 2653881 335083 2266 9 0 2644615 0
[pid=16855/tid=16856] ppid=16853 vsize=10615524 CPUtime=0.36 cores=1,3,5,7
/proc/16855/task/16856/stat : 16856 (java) S 16853 16855 13462 0 -1 4202560 15949 0 1 0 34 2 0 0 15 0 22 0 830517584 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16858] ppid=16853 vsize=10615524 CPUtime=0.3 cores=1,3,5,7
/proc/16855/task/16858/stat : 16858 (java) S 16853 16855 13462 0 -1 4202560 184 0 0 0 30 0 0 0 16 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16859] ppid=16853 vsize=10615524 CPUtime=0.28 cores=1,3,5,7
/proc/16855/task/16859/stat : 16859 (java) S 16853 16855 13462 0 -1 4202560 350 0 0 0 28 0 0 0 15 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16860] ppid=16853 vsize=10615524 CPUtime=0.27 cores=1,3,5,7
/proc/16855/task/16860/stat : 16860 (java) S 16853 16855 13462 0 -1 4202560 234 0 0 0 27 0 0 0 15 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16861] ppid=16853 vsize=10615524 CPUtime=0.3 cores=1,3,5,7
/proc/16855/task/16861/stat : 16861 (java) S 16853 16855 13462 0 -1 4202560 17 0 0 0 30 0 0 0 15 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16862] ppid=16853 vsize=10615524 CPUtime=0.3 cores=1,3,5,7
/proc/16855/task/16862/stat : 16862 (java) S 16853 16855 13462 0 -1 4202560 83 0 0 0 30 0 0 0 15 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16863] ppid=16853 vsize=10615524 CPUtime=0.31 cores=1,3,5,7
/proc/16855/task/16863/stat : 16863 (java) S 16853 16855 13462 0 -1 4202560 347 0 0 0 31 0 0 0 15 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16864] ppid=16853 vsize=10615524 CPUtime=0.32 cores=1,3,5,7
/proc/16855/task/16864/stat : 16864 (java) S 16853 16855 13462 0 -1 4202560 700 0 0 0 32 0 0 0 15 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16865] ppid=16853 vsize=10615524 CPUtime=0.27 cores=1,3,5,7
/proc/16855/task/16865/stat : 16865 (java) S 16853 16855 13462 0 -1 4202560 422 0 0 0 27 0 0 0 15 0 22 0 830517586 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16866] ppid=16853 vsize=10615524 CPUtime=26.38 cores=1,3,5,7
/proc/16855/task/16866/stat : 16866 (java) S 16853 16855 13462 0 -1 4202560 35777 0 0 0 2634 4 0 0 15 0 22 0 830517587 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 0 0 16800975 18446604469959148672 0 0 -1 3 0 0 0
[pid=16855/tid=16867] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16867/stat : 16867 (java) S 16853 16855 13462 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16868] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16868/stat : 16868 (java) S 16853 16855 13462 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830517587 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16869] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16869/stat : 16869 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101521841 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16870] ppid=16853 vsize=10615524 CPUtime=0.83 cores=1,3,5,7
/proc/16855/task/16870/stat : 16870 (java) S 16853 16855 13462 0 -1 4202560 8627 0 0 0 83 0 0 0 15 0 22 0 830517589 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16871] ppid=16853 vsize=10615524 CPUtime=0.7 cores=1,3,5,7
/proc/16855/task/16871/stat : 16871 (java) S 16853 16855 13462 0 -1 4202560 2038 0 0 0 70 0 0 0 15 0 22 0 830517589 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16872] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16872/stat : 16872 (java) S 16853 16855 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830517589 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514137 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
[pid=16855/tid=16873] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16873/stat : 16873 (java) S 16853 16855 13462 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830517589 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 5 0 0 0
[pid=16855/tid=16874] ppid=16853 vsize=10615524 CPUtime=884.71 cores=1,3,5,7
/proc/16855/task/16874/stat : 16874 (java) R 16853 16855 13462 0 -1 4202560 613 0 0 0 88471 0 0 0 25 0 22 0 830517622 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505821563 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16855/tid=16875] ppid=16853 vsize=10615524 CPUtime=884.67 cores=1,3,5,7
/proc/16855/task/16875/stat : 16875 (java) R 16853 16855 13462 0 -1 4202560 274474 0 0 0 88434 33 0 0 25 0 22 0 830517622 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 46912505788626 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16855/tid=16876] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16876/stat : 16876 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 7 0 0 0
[pid=16855/tid=16877] ppid=16853 vsize=10615524 CPUtime=0 cores=1,3,5,7
/proc/16855/task/16877/stat : 16877 (java) S 16853 16855 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830517624 10870296576 335083 33554432000 1073741824 1073778376 140734236800880 18446744073709551615 248101514752 0 4 0 16800975 18446604469959148672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10615524
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 912.407
CPU time (s): 1800.29
CPU user time (s): 1799.78
CPU system time (s): 0.511922
CPU usage (%): 197.312
Max. virtual memory (cumulated for all children) (KiB): 10615524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.511922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341055
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= 27482
involuntary context switches= 21767
runsolver used 4.21636 second user time and 9.93749 second system time
The end