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-3455758-1307228456/watcher-3455758-1307228456 -o /tmp/evaluation-result-3455758-1307228456/solver-3455758-1307228456 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455758-1307228456.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 31020
/proc/meminfo: memFree=21115016/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 2997 0 1 0 0 0 0 0 25 0 2 0 913076282 10681323520 2701 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2607745 2714 906 9 0 2598901 0
[pid=31020/tid=31021] ppid=31018 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 1946 0 1 0 0 0 0 0 25 0 2 0 913076283 10681323520 2762 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0911431 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 31020
/proc/meminfo: memFree=21115016/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10473408 CPUtime=0.07 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 12317 0 1 0 6 1 0 0 25 0 18 0 913076282 10724769792 12015 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2618352 12015 1915 9 0 2609086 0
[pid=31020/tid=31021] ppid=31018 vsize=10473408 CPUtime=0.07 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 10922 0 1 0 6 1 0 0 25 0 18 0 913076283 10724769792 12015 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917223391 0 2147483391 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473408
[startup+0.104744 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 31020
/proc/meminfo: memFree=21115016/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10539844 CPUtime=0.1 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 12950 0 1 0 8 2 0 0 25 0 18 0 913076282 10792800256 12648 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2634961 12648 2092 9 0 2625695 0
[pid=31020/tid=31021] ppid=31018 vsize=10539844 CPUtime=0.08 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 11104 0 1 0 7 1 0 0 25 0 18 0 913076283 10792800256 12648 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539844
[startup+0.300707 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 31020
/proc/meminfo: memFree=21115016/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10545148 CPUtime=0.5 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 17760 0 1 0 48 2 0 0 25 0 18 0 913076282 10798231552 16480 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2636287 16481 2201 9 0 2627021 0
[pid=31020/tid=31021] ppid=31018 vsize=10545148 CPUtime=0.27 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 13222 0 1 0 26 1 0 0 25 0 18 0 913076283 10798231552 16481 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505541598 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10545148
[startup+0.700634 s]
/proc/loadavg: 2.00 2.02 2.00 3/501 31020
/proc/meminfo: memFree=21115016/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10559556 CPUtime=1.59 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 40551 0 1 0 154 5 0 0 25 0 19 0 913076282 10812985344 36021 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2639889 36024 2226 9 0 2630623 0
[pid=31020/tid=31021] ppid=31018 vsize=10559556 CPUtime=0.68 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 26717 0 1 0 65 3 0 0 25 0 19 0 913076283 10812985344 36026 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505834575 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10559556
[startup+1.50149 s]
/proc/loadavg: 2.00 2.02 2.00 4/520 31039
/proc/meminfo: memFree=20880508/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10559556 CPUtime=2.82 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 111554 0 1 0 269 13 0 0 25 0 19 0 913076282 10812985344 106878 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2639889 106879 2232 9 0 2630623 0
[pid=31020/tid=31021] ppid=31018 vsize=10559556 CPUtime=1.47 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 97402 0 1 0 136 11 0 0 25 0 19 0 913076283 10812985344 106880 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505834556 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31020/tid=31023] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31023/stat : 31023 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106880 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31024] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31024/stat : 31024 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106881 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31025] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31025/stat : 31025 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106881 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31026] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31026/stat : 31026 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106881 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31027] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31027/stat : 31027 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106882 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31028] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31028/stat : 31028 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106883 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31029] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31029/stat : 31029 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106883 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31030] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31030/stat : 31030 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 106884 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31031] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31031/stat : 31031 (java) S 31018 31020 29646 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 913076286 10812985344 106884 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 0 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31032] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31032/stat : 31032 (java) S 31018 31020 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 913076286 10812985344 106885 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31033] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31033/stat : 31033 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076286 10812985344 106885 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31034] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31034/stat : 31034 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10812985344 106886 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917217713 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31035] ppid=31018 vsize=10559556 CPUtime=0.53 cores=1,3,5,7
/proc/31020/task/31035/stat : 31035 (java) S 31018 31020 29646 0 -1 4202560 5314 0 0 0 53 0 0 0 21 0 19 0 913076288 10812985344 106886 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31036] ppid=31018 vsize=10559556 CPUtime=0.79 cores=1,3,5,7
/proc/31020/task/31036/stat : 31036 (java) S 31018 31020 29646 0 -1 4202560 7681 0 0 0 78 1 0 0 23 0 19 0 913076288 10812985344 106887 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31037] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31037/stat : 31037 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10812985344 106887 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31038] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31038/stat : 31038 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 913076288 10812985344 106887 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31039] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31039/stat : 31039 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076335 10812985344 106888 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10559556
[startup+3.10119 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 31039
/proc/meminfo: memFree=20470200/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10559556 CPUtime=4.47 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 292135 0 1 0 415 32 0 0 25 0 19 0 913076282 10812985344 287459 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2639889 287461 2232 9 0 2630623 0
[pid=31020/tid=31021] ppid=31018 vsize=10559556 CPUtime=3.08 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 277984 0 1 0 278 30 0 0 25 0 19 0 913076283 10812985344 287464 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505834553 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31020/tid=31023] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31023/stat : 31023 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287466 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31024] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31024/stat : 31024 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287468 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31025] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31025/stat : 31025 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287471 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31026] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31026/stat : 31026 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287471 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31027] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31027/stat : 31027 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287475 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31028] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31028/stat : 31028 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287477 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31029] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31029/stat : 31029 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287480 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31030] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31030/stat : 31030 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10812985344 287482 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31031] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31031/stat : 31031 (java) S 31018 31020 29646 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 913076286 10812985344 287483 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 0 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31032] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31032/stat : 31032 (java) S 31018 31020 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 913076286 10812985344 287487 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31033] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31033/stat : 31033 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076286 10812985344 287487 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31034] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31034/stat : 31034 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10812985344 287490 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917217713 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31035] ppid=31018 vsize=10559556 CPUtime=0.55 cores=1,3,5,7
/proc/31020/task/31035/stat : 31035 (java) S 31018 31020 29646 0 -1 4202560 5316 0 0 0 55 0 0 0 16 0 19 0 913076288 10812985344 287492 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31036] ppid=31018 vsize=10559556 CPUtime=0.82 cores=1,3,5,7
/proc/31020/task/31036/stat : 31036 (java) S 31018 31020 29646 0 -1 4202560 7682 0 0 0 81 1 0 0 17 0 19 0 913076288 10812985344 287495 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31037] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31037/stat : 31037 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10812985344 287497 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31038] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31038/stat : 31038 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 913076288 10812985344 287498 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31039] ppid=31018 vsize=10559556 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31039/stat : 31039 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076335 10812985344 287502 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 10559556
[startup+6.30061 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 31048
/proc/meminfo: memFree=19078156/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10555696 CPUtime=7.67 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 604267 0 1 0 701 66 0 0 25 0 19 0 913076282 10809032704 598678 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2638924 598678 2233 9 0 2629658 0
[pid=31020/tid=31021] ppid=31018 vsize=10555696 CPUtime=6.27 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 590110 0 1 0 563 64 0 0 25 0 19 0 913076283 10809032704 598679 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505763760 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31020/tid=31023] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31023/stat : 31023 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598679 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31024] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31024/stat : 31024 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598679 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31025] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31025/stat : 31025 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598679 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31026] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31026/stat : 31026 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598679 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31027] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31027/stat : 31027 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31028] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31028/stat : 31028 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31029] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31029/stat : 31029 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31030] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31030/stat : 31030 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076285 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31031] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31031/stat : 31031 (java) S 31018 31020 29646 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 913076286 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 0 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31032] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31032/stat : 31032 (java) S 31018 31020 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 913076286 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31033] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31033/stat : 31033 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076286 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31034] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31034/stat : 31034 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917217713 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31035] ppid=31018 vsize=10555696 CPUtime=0.55 cores=1,3,5,7
/proc/31020/task/31035/stat : 31035 (java) S 31018 31020 29646 0 -1 4202560 5316 0 0 0 55 0 0 0 15 0 19 0 913076288 10809032704 598680 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31036] ppid=31018 vsize=10555696 CPUtime=0.82 cores=1,3,5,7
/proc/31020/task/31036/stat : 31036 (java) S 31018 31020 29646 0 -1 4202560 7682 0 0 0 81 1 0 0 15 0 19 0 913076288 10809032704 598682 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/31020/task/31033/stat : 31033 (java) S 31018 31020 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076286 10809032704 1038591 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31034] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31034/stat : 31034 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1038591 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917217713 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31035] ppid=31018 vsize=10555696 CPUtime=0.87 cores=1,3,5,7
/proc/31020/task/31035/stat : 31035 (java) S 31018 31020 29646 0 -1 4202560 9392 0 0 0 86 1 0 0 15 0 19 0 913076288 10809032704 1038591 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31036] ppid=31018 vsize=10555696 CPUtime=0.95 cores=1,3,5,7
/proc/31020/task/31036/stat : 31036 (java) S 31018 31020 29646 0 -1 4202560 7722 0 0 0 94 1 0 0 16 0 19 0 913076288 10809032704 1038591 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31037] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31037/stat : 31037 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1038591 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31038] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31038/stat : 31038 (java) S 31018 31020 29646 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 913076288 10809032704 1038591 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31039] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31039/stat : 31039 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076335 10809032704 1038591 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1670.06
Current children cumulated vsize (KiB) 10555696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/520 31142
/proc/meminfo: memFree=16703944/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10555696 CPUtime=1730.18 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 1056159 0 1 0 172895 123 0 0 25 0 19 0 913076282 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2638924 1041123 2263 9 0 2629658 0
[pid=31020/tid=31021] ppid=31018 vsize=10555696 CPUtime=1717.83 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 822577 0 1 0 171693 90 0 0 25 0 19 0 913076283 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505784872 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31020/tid=31023] ppid=31018 vsize=10555696 CPUtime=1.11 cores=1,3,5,7
/proc/31020/task/31023/stat : 31023 (java) S 31018 31020 29646 0 -1 4202560 26865 0 0 0 108 3 0 0 15 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31024] ppid=31018 vsize=10555696 CPUtime=1.11 cores=1,3,5,7
/proc/31020/task/31024/stat : 31024 (java) S 31018 31020 29646 0 -1 4202560 27782 0 0 0 107 4 0 0 16 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31025] ppid=31018 vsize=10555696 CPUtime=1.1 cores=1,3,5,7
/proc/31020/task/31025/stat : 31025 (java) S 31018 31020 29646 0 -1 4202560 24126 0 0 0 107 3 0 0 16 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31026] ppid=31018 vsize=10555696 CPUtime=1.09 cores=1,3,5,7
/proc/31020/task/31026/stat : 31026 (java) S 31018 31020 29646 0 -1 4202560 28361 0 0 0 105 4 0 0 15 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31027] ppid=31018 vsize=10555696 CPUtime=1.08 cores=1,3,5,7
/proc/31020/task/31027/stat : 31027 (java) S 31018 31020 29646 0 -1 4202560 24793 0 0 0 106 2 0 0 15 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31028] ppid=31018 vsize=10555696 CPUtime=1.13 cores=1,3,5,7
/proc/31020/task/31028/stat : 31028 (java) S 31018 31020 29646 0 -1 4202560 27391 0 0 0 110 3 0 0 16 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31029] ppid=31018 vsize=10555696 CPUtime=1.02 cores=1,3,5,7
/proc/31020/task/31029/stat : 31029 (java) S 31018 31020 29646 0 -1 4202560 27937 0 0 0 99 3 0 0 16 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31030] ppid=31018 vsize=10555696 CPUtime=1.11 cores=1,3,5,7
/proc/31020/task/31030/stat : 31030 (java) S 31018 31020 29646 0 -1 4202560 27270 0 0 0 108 3 0 0 16 0 19 0 913076285 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31031] ppid=31018 vsize=10555696 CPUtime=1.66 cores=1,3,5,7
/proc/31020/task/31031/stat : 31031 (java) S 31018 31020 29646 0 -1 4202560 693 0 0 0 166 0 0 0 15 0 19 0 913076286 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 0 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31032] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31032/stat : 31032 (java) S 31018 31020 29646 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076286 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31033] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31033/stat : 31033 (java) S 31018 31020 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076286 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31034] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31034/stat : 31034 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917217713 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31035] ppid=31018 vsize=10555696 CPUtime=0.87 cores=1,3,5,7
/proc/31020/task/31035/stat : 31035 (java) S 31018 31020 29646 0 -1 4202560 9392 0 0 0 86 1 0 0 15 0 19 0 913076288 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31036] ppid=31018 vsize=10555696 CPUtime=0.95 cores=1,3,5,7
/proc/31020/task/31036/stat : 31036 (java) S 31018 31020 29646 0 -1 4202560 7722 0 0 0 94 1 0 0 16 0 19 0 913076288 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31037] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31037/stat : 31037 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31038] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31038/stat : 31038 (java) S 31018 31020 29646 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 913076288 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31039] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31039/stat : 31039 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076335 10809032704 1041123 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1730.18
Current children cumulated vsize (KiB) 10555696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 31144
/proc/meminfo: memFree=16538492/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10555696 CPUtime=1790.32 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 1058694 0 1 0 178909 123 0 0 25 0 19 0 913076282 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2638924 1043595 2263 9 0 2629658 0
[pid=31020/tid=31021] ppid=31018 vsize=10555696 CPUtime=1777.77 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 822580 0 1 0 177687 90 0 0 25 0 19 0 913076283 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505784881 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31020/tid=31023] ppid=31018 vsize=10555696 CPUtime=1.17 cores=1,3,5,7
/proc/31020/task/31023/stat : 31023 (java) S 31018 31020 29646 0 -1 4202560 27652 0 0 0 114 3 0 0 16 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31024] ppid=31018 vsize=10555696 CPUtime=1.11 cores=1,3,5,7
/proc/31020/task/31024/stat : 31024 (java) S 31018 31020 29646 0 -1 4202560 27782 0 0 0 107 4 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31025] ppid=31018 vsize=10555696 CPUtime=1.13 cores=1,3,5,7
/proc/31020/task/31025/stat : 31025 (java) S 31018 31020 29646 0 -1 4202560 24414 0 0 0 110 3 0 0 16 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31026] ppid=31018 vsize=10555696 CPUtime=1.11 cores=1,3,5,7
/proc/31020/task/31026/stat : 31026 (java) S 31018 31020 29646 0 -1 4202560 28552 0 0 0 107 4 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31027] ppid=31018 vsize=10555696 CPUtime=1.09 cores=1,3,5,7
/proc/31020/task/31027/stat : 31027 (java) S 31018 31020 29646 0 -1 4202560 24964 0 0 0 107 2 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31028] ppid=31018 vsize=10555696 CPUtime=1.14 cores=1,3,5,7
/proc/31020/task/31028/stat : 31028 (java) S 31018 31020 29646 0 -1 4202560 27418 0 0 0 111 3 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31029] ppid=31018 vsize=10555696 CPUtime=1.06 cores=1,3,5,7
/proc/31020/task/31029/stat : 31029 (java) S 31018 31020 29646 0 -1 4202560 28526 0 0 0 103 3 0 0 16 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31030] ppid=31018 vsize=10555696 CPUtime=1.15 cores=1,3,5,7
/proc/31020/task/31030/stat : 31030 (java) S 31018 31020 29646 0 -1 4202560 27743 0 0 0 112 3 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31031] ppid=31018 vsize=10555696 CPUtime=1.66 cores=1,3,5,7
/proc/31020/task/31031/stat : 31031 (java) S 31018 31020 29646 0 -1 4202560 697 0 0 0 166 0 0 0 15 0 19 0 913076286 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 0 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31032] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31032/stat : 31032 (java) S 31018 31020 29646 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076286 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31033] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31033/stat : 31033 (java) S 31018 31020 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076286 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31034] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31034/stat : 31034 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917217713 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31035] ppid=31018 vsize=10555696 CPUtime=0.87 cores=1,3,5,7
/proc/31020/task/31035/stat : 31035 (java) S 31018 31020 29646 0 -1 4202560 9392 0 0 0 86 1 0 0 15 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31036] ppid=31018 vsize=10555696 CPUtime=0.95 cores=1,3,5,7
/proc/31020/task/31036/stat : 31036 (java) S 31018 31020 29646 0 -1 4202560 7722 0 0 0 94 1 0 0 16 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31037] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31037/stat : 31037 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31038] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31038/stat : 31038 (java) S 31018 31020 29646 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31039] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31039/stat : 31039 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076335 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1790.32
Current children cumulated vsize (KiB) 10555696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 31144
/proc/meminfo: memFree=16538620/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=10555696 CPUtime=1800.04 cores=1,3,5,7
/proc/31020/stat : 31020 (java) S 31018 31020 29646 0 -1 4202496 1058696 0 1 0 179881 123 0 0 25 0 19 0 913076282 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 2638924 1043595 2263 9 0 2629658 0
[pid=31020/tid=31021] ppid=31018 vsize=10555696 CPUtime=1787.49 cores=1,3,5,7
/proc/31020/task/31021/stat : 31021 (java) R 31018 31020 29646 0 -1 4202560 822580 0 1 0 178659 90 0 0 25 0 19 0 913076283 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 46912505784881 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31020/tid=31023] ppid=31018 vsize=10555696 CPUtime=1.17 cores=1,3,5,7
/proc/31020/task/31023/stat : 31023 (java) S 31018 31020 29646 0 -1 4202560 27652 0 0 0 114 3 0 0 16 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31024] ppid=31018 vsize=10555696 CPUtime=1.11 cores=1,3,5,7
/proc/31020/task/31024/stat : 31024 (java) S 31018 31020 29646 0 -1 4202560 27782 0 0 0 107 4 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31025] ppid=31018 vsize=10555696 CPUtime=1.13 cores=1,3,5,7
/proc/31020/task/31025/stat : 31025 (java) S 31018 31020 29646 0 -1 4202560 24414 0 0 0 110 3 0 0 16 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31026] ppid=31018 vsize=10555696 CPUtime=1.11 cores=1,3,5,7
/proc/31020/task/31026/stat : 31026 (java) S 31018 31020 29646 0 -1 4202560 28552 0 0 0 107 4 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31027] ppid=31018 vsize=10555696 CPUtime=1.09 cores=1,3,5,7
/proc/31020/task/31027/stat : 31027 (java) S 31018 31020 29646 0 -1 4202560 24964 0 0 0 107 2 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31028] ppid=31018 vsize=10555696 CPUtime=1.14 cores=1,3,5,7
/proc/31020/task/31028/stat : 31028 (java) S 31018 31020 29646 0 -1 4202560 27418 0 0 0 111 3 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31029] ppid=31018 vsize=10555696 CPUtime=1.06 cores=1,3,5,7
/proc/31020/task/31029/stat : 31029 (java) S 31018 31020 29646 0 -1 4202560 28526 0 0 0 103 3 0 0 16 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31030] ppid=31018 vsize=10555696 CPUtime=1.15 cores=1,3,5,7
/proc/31020/task/31030/stat : 31030 (java) S 31018 31020 29646 0 -1 4202560 27743 0 0 0 112 3 0 0 15 0 19 0 913076285 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31031] ppid=31018 vsize=10555696 CPUtime=1.66 cores=1,3,5,7
/proc/31020/task/31031/stat : 31031 (java) S 31018 31020 29646 0 -1 4202560 697 0 0 0 166 0 0 0 15 0 19 0 913076286 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 0 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
[pid=31020/tid=31032] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31032/stat : 31032 (java) S 31018 31020 29646 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 913076286 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31033] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31033/stat : 31033 (java) S 31018 31020 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 913076286 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31034] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31034/stat : 31034 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917217713 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31035] ppid=31018 vsize=10555696 CPUtime=0.87 cores=1,3,5,7
/proc/31020/task/31035/stat : 31035 (java) S 31018 31020 29646 0 -1 4202560 9392 0 0 0 86 1 0 0 15 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31036] ppid=31018 vsize=10555696 CPUtime=0.95 cores=1,3,5,7
/proc/31020/task/31036/stat : 31036 (java) S 31018 31020 29646 0 -1 4202560 7722 0 0 0 94 1 0 0 16 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 5 0 0 0
[pid=31020/tid=31037] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31037/stat : 31037 (java) S 31018 31020 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210009 0 4 0 16800975 18446604462868051840 0 0 -1 7 0 0 0
[pid=31020/tid=31038] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31038/stat : 31038 (java) S 31018 31020 29646 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 913076288 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 1 0 0 0
[pid=31020/tid=31039] ppid=31018 vsize=10555696 CPUtime=0 cores=1,3,5,7
/proc/31020/task/31039/stat : 31039 (java) S 31018 31020 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 913076335 10809032704 1043595 33554432000 1073741824 1073778376 140733620442928 18446744073709551615 260917210624 0 4 0 16800975 18446604462868051840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10555696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.12 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 31144
/proc/meminfo: memFree=16538620/32950928 swapFree=61542356/67111528
[pid=31020] ppid=31018 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/31020/stat : 31020 (java) Z 31018 31020 29646 0 -1 4203548 1058731 0 1 0 179884 132 0 0 17 0 2 0 913076282 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31020/statm: 0 0 0 0 0 0 0
[pid=31020/tid=31039] ppid=31018 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/31020/task/31039/stat : 31039 (java) R 31018 31020 29646 0 -1 4203588 7 0 0 0 0 8 0 0 18 0 2 0 913076335 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.19
CPU time (s): 1800.23
CPU user time (s): 1798.84
CPU system time (s): 1.38979
CPU usage (%): 100.449
Max. virtual memory (cumulated for all children) (KiB): 10559556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.38979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1058731
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= 41033
involuntary context switches= 15195
runsolver used 8.14076 second user time and 21.0658 second system time
The end