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-3456943-1307207447/watcher-3456943-1307207447 -o /tmp/evaluation-result-3456943-1307207447/solver-3456943-1307207447 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456943-1307207447.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20806
/proc/meminfo: memFree=27387876/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 5651 0 1 0 0 0 0 0 25 0 2 0 832344375 10694979584 5353 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2611079 5365 917 9 0 2602235 0
[pid=20806/tid=20807] ppid=20804 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 6533 0 1 0 0 0 0 0 25 0 2 0 832344376 10694979584 7349 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0331919 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20806
/proc/meminfo: memFree=27387876/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 10977 0 1 0 1 1 0 0 25 0 11 0 832344375 10716594176 10676 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2616356 10678 1606 9 0 2607104 0
[pid=20806/tid=20807] ppid=20804 vsize=10465424 CPUtime=0.01 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 9857 0 1 0 1 0 0 0 25 0 11 0 832344376 10716594176 10679 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 47751453954819 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.106194 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20806
/proc/meminfo: memFree=27387876/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10539924 CPUtime=0.1 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 13043 0 1 0 9 1 0 0 25 0 18 0 832344375 10792882176 12710 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2634981 12710 2093 9 0 2625715 0
[pid=20806/tid=20807] ppid=20804 vsize=10539924 CPUtime=0.09 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 11215 0 1 0 8 1 0 0 25 0 18 0 832344376 10792882176 12710 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 47751458112709 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539924
[startup+0.314157 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20806
/proc/meminfo: memFree=27387876/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10545972 CPUtime=0.53 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 18459 0 1 0 51 2 0 0 25 0 19 0 832344375 10799075328 17053 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2636493 17053 2203 9 0 2627227 0
[pid=20806/tid=20807] ppid=20804 vsize=10545972 CPUtime=0.29 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 13572 0 1 0 28 1 0 0 25 0 19 0 832344376 10799075328 17053 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545972
[startup+0.701092 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20806
/proc/meminfo: memFree=27387876/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10553624 CPUtime=1.68 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 48452 0 1 0 162 6 0 0 25 0 19 0 832344375 10806910976 45556 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2638406 45560 2220 9 0 2629140 0
[pid=20806/tid=20807] ppid=20804 vsize=10553624 CPUtime=0.67 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 37366 0 1 0 63 4 0 0 18 0 19 0 832344376 10806910976 45562 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505554117 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10553624
[startup+1.50094 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20825
/proc/meminfo: memFree=27006572/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10553624 CPUtime=2.67 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 128010 0 1 0 250 17 0 0 25 0 19 0 832344375 10806910976 125113 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2638406 125119 2227 9 0 2629140 0
[pid=20806/tid=20807] ppid=20804 vsize=10553624 CPUtime=1.47 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 116896 0 1 0 133 14 0 0 18 0 19 0 832344376 10806910976 125121 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505537898 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125125 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125128 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125128 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125130 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125131 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125132 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125134 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 125135 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832344378 10806910976 125137 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 0 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 125137 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 125139 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 125140 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092055985 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=10553624 CPUtime=0.63 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 20277 0 -1 4202560 4860 0 0 0 63 0 0 0 15 0 19 0 832344381 10806910976 125141 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=10553624 CPUtime=0.54 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 20277 0 -1 4202560 5103 0 0 0 53 1 0 0 15 0 19 0 832344381 10806910976 125143 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 125143 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832344381 10806910976 125145 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832344392 10806910976 125146 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10553624
[startup+3.10165 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20825
/proc/meminfo: memFree=26562032/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10553624 CPUtime=4.4 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 281953 0 1 0 404 36 0 0 25 0 19 0 832344375 10806910976 278856 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2638406 278859 2227 9 0 2629140 0
[pid=20806/tid=20807] ppid=20804 vsize=10553624 CPUtime=3.07 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 270602 0 1 0 274 33 0 0 18 0 19 0 832344376 10806910976 278865 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505631999 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278865 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278870 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278872 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278876 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278879 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278880 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278887 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 278887 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832344378 10806910976 278892 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 0 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 278894 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 278897 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 278901 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092055985 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=10553624 CPUtime=0.64 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 20277 0 -1 4202560 4860 0 0 0 64 0 0 0 15 0 19 0 832344381 10806910976 278902 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=10553624 CPUtime=0.66 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 20277 0 -1 4202560 5340 0 0 0 65 1 0 0 15 0 19 0 832344381 10806910976 278908 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 278908 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832344381 10806910976 278912 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832344392 10806910976 278915 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10553624
Solver just ended. Dumping a history of the last processes samples
[startup+3.30159 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20825
/proc/meminfo: memFree=26562032/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10553624 CPUtime=4.6 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 299174 0 1 0 423 37 0 0 25 0 19 0 832344375 10806910976 296078 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2638406 296081 2227 9 0 2629140 0
[pid=20806/tid=20807] ppid=20804 vsize=10553624 CPUtime=3.28 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 287819 0 1 0 293 35 0 0 18 0 19 0 832344376 10806910976 296082 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505554136 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296083 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296084 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296084 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296087 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296094 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296095 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296097 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 296098 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832344378 10806910976 296102 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 0 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 296105 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 296107 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 296111 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092055985 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=10553624 CPUtime=0.64 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 20277 0 -1 4202560 4860 0 0 0 64 0 0 0 15 0 19 0 832344381 10806910976 296112 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=10553624 CPUtime=0.66 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 20277 0 -1 4202560 5340 0 0 0 65 1 0 0 15 0 19 0 832344381 10806910976 296113 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 296114 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832344381 10806910976 296116 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832344392 10806910976 296119 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 10553624
[startup+4.90129 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20825
/proc/meminfo: memFree=25921196/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10553624 CPUtime=6.2 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 393698 0 1 0 573 47 0 0 25 0 19 0 832344375 10806910976 390600 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2638406 390601 2228 9 0 2629140 0
[pid=20806/tid=20807] ppid=20804 vsize=10553624 CPUtime=4.87 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 382338 0 1 0 442 45 0 0 20 0 19 0 832344376 10806910976 390601 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505554132 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390602 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390603 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390604 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390605 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390605 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390606 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390607 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 390609 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832344378 10806910976 390610 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 0 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 390611 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 390613 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 390615 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092055985 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=10553624 CPUtime=0.64 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 20277 0 -1 4202560 4860 0 0 0 64 0 0 0 15 0 19 0 832344381 10806910976 390617 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=10553624 CPUtime=0.66 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 20277 0 -1 4202560 5340 0 0 0 65 1 0 0 15 0 19 0 832344381 10806910976 390618 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 390620 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 832344381 10806910976 390623 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832344392 10806910976 390625 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 10553624
[startup+5.71905 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20825
/proc/meminfo: memFree=25608952/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10553624 CPUtime=7.02 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 452974 0 1 0 648 54 0 0 25 0 19 0 832344375 10806910976 449818 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2638406 449819 2228 9 0 2629140 0
[pid=20806/tid=20807] ppid=20804 vsize=10553624 CPUtime=5.69 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 441615 0 1 0 517 52 0 0 22 0 19 0 832344376 10806910976 449820 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505554637 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449822 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449823 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449824 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449826 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449827 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449827 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449830 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 449831 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832344378 10806910976 449831 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 0 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 449834 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 449834 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 449835 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092055985 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=10553624 CPUtime=0.64 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 20277 0 -1 4202560 4860 0 0 0 64 0 0 0 15 0 19 0 832344381 10806910976 449838 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=10553624 CPUtime=0.66 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 20277 0 -1 4202560 5340 0 0 0 65 1 0 0 15 0 19 0 832344381 10806910976 449838 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 449838 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 832344381 10806910976 449841 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832344392 10806910976 449841 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 10553624
[startup+5.90099 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20825
/proc/meminfo: memFree=25608952/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=10553624 CPUtime=7.2 cores=0,2,4,6
/proc/20806/stat : 20806 (java) S 20804 20806 20277 0 -1 4202496 469520 0 1 0 664 56 0 0 25 0 19 0 832344375 10806910976 466364 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20806/statm: 2638406 466366 2228 9 0 2629140 0
[pid=20806/tid=20807] ppid=20804 vsize=10553624 CPUtime=5.87 cores=0,2,4,6
/proc/20806/task/20807/stat : 20807 (java) R 20804 20806 20277 0 -1 4202560 458162 0 1 0 534 53 0 0 23 0 19 0 832344376 10806910976 466367 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 46912505632469 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20806/tid=20809] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20809/stat : 20809 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466368 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20810] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20810/stat : 20810 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466368 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20811] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20811/stat : 20811 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466369 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20812] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20812/stat : 20812 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466370 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20813] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20813/stat : 20813 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466372 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20814] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20814/stat : 20814 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466373 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20815] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20815/stat : 20815 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466375 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344377 10806910976 466378 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20817] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20817/stat : 20817 (java) S 20804 20806 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832344378 10806910976 466378 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 0 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20818] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20818/stat : 20818 (java) S 20804 20806 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 466381 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20819] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20819/stat : 20819 (java) S 20804 20806 20277 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 832344379 10806910976 466383 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
[pid=20806/tid=20820] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20820/stat : 20820 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 466385 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092055985 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20821] ppid=20804 vsize=10553624 CPUtime=0.64 cores=0,2,4,6
/proc/20806/task/20821/stat : 20821 (java) S 20804 20806 20277 0 -1 4202560 4860 0 0 0 64 0 0 0 15 0 19 0 832344381 10806910976 466387 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 0 0 0 0
[pid=20806/tid=20822] ppid=20804 vsize=10553624 CPUtime=0.66 cores=0,2,4,6
/proc/20806/task/20822/stat : 20822 (java) S 20804 20806 20277 0 -1 4202560 5340 0 0 0 65 1 0 0 15 0 19 0 832344381 10806910976 466390 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20823] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20823/stat : 20823 (java) S 20804 20806 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832344381 10806910976 466391 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048281 0 4 0 16800975 18446604445049824448 0 0 -1 2 0 0 0
[pid=20806/tid=20824] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20824/stat : 20824 (java) S 20804 20806 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 832344381 10806910976 466393 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 4 0 0 0
[pid=20806/tid=20825] ppid=20804 vsize=10553624 CPUtime=0 cores=0,2,4,6
/proc/20806/task/20825/stat : 20825 (java) S 20804 20806 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832344392 10806910976 466395 33554432000 1073741824 1073778376 140734959963872 18446744073709551615 208092048896 0 4 0 16800975 18446604445049824448 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 10553624
[startup+6.00106 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20825
/proc/meminfo: memFree=25608952/32950928 swapFree=39617324/67111528
[pid=20806] ppid=20804 vsize=0 CPUtime=7.3 cores=0,2,4,6
/proc/20806/stat : 20806 (java) Z 20804 20806 20277 0 -1 4203548 470825 0 1 0 666 64 0 0 18 0 2 0 832344375 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20806/statm: 0 0 0 0 0 0 0
[pid=20806/tid=20816] ppid=20804 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/20806/task/20816/stat : 20816 (java) R 20804 20806 20277 0 -1 4203588 1 0 0 0 0 8 0 0 18 0 2 0 832344377 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 6.00256
CPU time (s): 7.31389
CPU user time (s): 6.66399
CPU system time (s): 0.649901
CPU usage (%): 121.846
Max. virtual memory (cumulated for all children) (KiB): 10553624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.66399
system time used= 0.649901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470825
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= 322
involuntary context switches= 66
runsolver used 0.039993 second user time and 0.068989 second system time
The end