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-3458109-1307158076/watcher-3458109-1307158076 -o /tmp/evaluation-result-3458109-1307158076/solver-3458109-1307158076 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458109-1307158076.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.08 2.05 2.01 2/532 14861
/proc/meminfo: memFree=23082256/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 3594 0 1 0 0 0 0 0 23 0 2 0 906038228 13833195520 3296 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3377245 3310 906 9 0 3368401 0
[pid=14861/tid=14863] ppid=14859 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 7459 0 1 0 0 1 0 0 25 0 2 0 906038229 13850947584 8275 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0355129 s]
/proc/loadavg: 2.08 2.05 2.01 2/532 14861
/proc/meminfo: memFree=23082256/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13602548 CPUtime=0.03 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 13359 0 1 0 1 2 0 0 23 0 10 0 906038228 13929009152 13058 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3400637 13062 1541 9 0 3391385 0
[pid=14861/tid=14863] ppid=14859 vsize=13607688 CPUtime=0.02 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 12248 0 1 0 1 1 0 0 18 0 10 0 906038229 13934272512 13070 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256415054182 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13602548
[startup+0.100523 s]
/proc/loadavg: 2.08 2.05 2.01 2/532 14861
/proc/meminfo: memFree=23082256/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13622256 CPUtime=0.1 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 15510 0 1 0 8 2 0 0 23 0 18 0 906038228 13949190144 15207 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3405564 15207 2092 9 0 3396298 0
[pid=14861/tid=14863] ppid=14859 vsize=13622256 CPUtime=0.09 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 13598 0 1 0 7 2 0 0 22 0 18 0 906038229 13949190144 15210 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622256
[startup+0.300481 s]
/proc/loadavg: 2.08 2.05 2.01 2/532 14861
/proc/meminfo: memFree=23082256/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13627876 CPUtime=0.55 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 18491 0 1 0 53 2 0 0 23 0 19 0 906038228 13954945024 17160 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3406969 17160 2201 9 0 3397703 0
[pid=14861/tid=14863] ppid=14859 vsize=13627876 CPUtime=0.29 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 14232 0 1 0 27 2 0 0 23 0 19 0 906038229 13954945024 17160 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912505532480 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13627876
[startup+0.700412 s]
/proc/loadavg: 2.08 2.05 2.01 2/532 14861
/proc/meminfo: memFree=23082256/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13627876 CPUtime=1.15 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 25663 0 1 0 112 3 0 0 23 0 19 0 906038228 13954945024 21761 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3406969 21781 2237 9 0 3397703 0
[pid=14861/tid=14863] ppid=14859 vsize=13627876 CPUtime=0.67 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 14584 0 1 0 65 2 0 0 25 0 19 0 906038229 13954945024 21792 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912505506758 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13627876
[startup+1.50128 s]
/proc/loadavg: 2.08 2.05 2.01 4/552 14881
/proc/meminfo: memFree=22985156/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13627876 CPUtime=2.33 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 29148 0 1 0 229 4 0 0 23 0 19 0 906038228 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3406969 22663 2239 9 0 3397703 0
[pid=14861/tid=14863] ppid=14859 vsize=13627876 CPUtime=1.45 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 14589 0 1 0 143 2 0 0 25 0 19 0 906038229 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912505522753 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 10738 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 10738 0 -1 4202560 255 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 10738 0 -1 4202560 155 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 10738 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 10738 0 -1 4202560 106 0 0 0 0 0 0 0 16 0 19 0 906038231 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=13627876 CPUtime=0.02 cores=1,3,5,7
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 10738 0 -1 4202560 520 0 0 0 2 0 0 0 15 0 19 0 906038232 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 10738 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 906038232 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 10738 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 906038232 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906038235 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=13627876 CPUtime=0.62 cores=1,3,5,7
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 10738 0 -1 4202560 10892 0 0 0 61 1 0 0 16 0 19 0 906038235 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=13627876 CPUtime=0.19 cores=1,3,5,7
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 10738 0 -1 4202560 1326 0 0 0 19 0 0 0 15 0 19 0 906038235 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906038235 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14880] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14880/stat : 14880 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906038235 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14881] ppid=14859 vsize=13627876 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14881/stat : 14881 (java) S 14859 14861 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906038245 13954945024 22663 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 13627876
[startup+3.10096 s]
/proc/loadavg: 2.08 2.05 2.00 3/552 14881
/proc/meminfo: memFree=22973872/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13628692 CPUtime=4.33 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 33665 0 1 0 429 4 0 0 23 0 19 0 906038228 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3407173 24404 2249 9 0 3397907 0
[pid=14861/tid=14863] ppid=14859 vsize=13628692 CPUtime=3 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 14591 0 1 0 298 2 0 0 25 0 19 0 906038229 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912505679239 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 10738 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 10738 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 10738 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 10738 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 10738 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 10738 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 10738 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 10738 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=13628692 CPUtime=0.06 cores=1,3,5,7
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 10738 0 -1 4202560 883 0 0 0 6 0 0 0 16 0 19 0 906038232 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 10738 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 906038232 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 10738 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 906038232 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906038235 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=13628692 CPUtime=1.02 cores=1,3,5,7
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 10738 0 -1 4202560 14784 0 0 0 100 2 0 0 15 0 19 0 906038235 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=13628692 CPUtime=0.21 cores=1,3,5,7
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 10738 0 -1 4202560 1458 0 0 0 21 0 0 0 15 0 19 0 906038235 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906038235 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14880] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14880/stat : 14880 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906038235 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14881] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14881/stat : 14881 (java) S 14859 14861 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906038245 13955780608 24404 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 13628692
Solver just ended. Dumping a history of the last processes samples
[startup+4.70065 s]
/proc/loadavg: 2.08 2.05 2.00 3/552 14881
/proc/meminfo: memFree=22967068/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13628692 CPUtime=5.95 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 34089 0 1 0 590 5 0 0 23 0 19 0 906038228 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3407173 24824 2249 9 0 3397907 0
[pid=14861/tid=14863] ppid=14859 vsize=13628692 CPUtime=4.55 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 14602 0 1 0 453 2 0 0 25 0 19 0 906038229 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912505526547 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 10738 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 10738 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 10738 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 10738 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 10738 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 10738 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 10738 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 10738 0 -1 4202560 112 0 0 0 0 0 0 0 16 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=13628692 CPUtime=0.11 cores=1,3,5,7
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 10738 0 -1 4202560 1258 0 0 0 11 0 0 0 16 0 19 0 906038232 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 10738 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 906038232 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 10738 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 906038232 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=13628692 CPUtime=1.02 cores=1,3,5,7
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 10738 0 -1 4202560 14784 0 0 0 100 2 0 0 15 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=13628692 CPUtime=0.22 cores=1,3,5,7
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 10738 0 -1 4202560 1458 0 0 0 22 0 0 0 15 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14880] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14880/stat : 14880 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14881] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14881/stat : 14881 (java) S 14859 14861 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906038245 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 13628692
[startup+5.10058 s]
/proc/loadavg: 2.08 2.05 2.00 3/552 14881
/proc/meminfo: memFree=22967068/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13628692 CPUtime=6.35 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 34089 0 1 0 630 5 0 0 23 0 19 0 906038228 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3407173 24824 2249 9 0 3397907 0
[pid=14861/tid=14863] ppid=14859 vsize=13628692 CPUtime=4.95 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 14602 0 1 0 493 2 0 0 25 0 19 0 906038229 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912505523073 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 10738 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 10738 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 10738 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 10738 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 10738 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 10738 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 10738 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 10738 0 -1 4202560 112 0 0 0 0 0 0 0 16 0 19 0 906038231 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=13628692 CPUtime=0.11 cores=1,3,5,7
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 10738 0 -1 4202560 1258 0 0 0 11 0 0 0 16 0 19 0 906038232 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 10738 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 906038232 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 10738 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 906038232 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=13628692 CPUtime=1.02 cores=1,3,5,7
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 10738 0 -1 4202560 14784 0 0 0 100 2 0 0 15 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=13628692 CPUtime=0.22 cores=1,3,5,7
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 10738 0 -1 4202560 1458 0 0 0 22 0 0 0 15 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14880] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14880/stat : 14880 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906038235 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14881] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14881/stat : 14881 (java) S 14859 14861 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906038245 13955780608 24824 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 13628692
[startup+5.30154 s]
/proc/loadavg: 2.08 2.05 2.00 3/552 14881
/proc/meminfo: memFree=22967068/32950928 swapFree=58671692/67111528
[pid=14861] ppid=14859 vsize=13628692 CPUtime=6.56 cores=1,3,5,7
/proc/14861/stat : 14861 (java) S 14859 14861 10738 0 -1 4202496 34091 0 1 0 651 5 0 0 23 0 19 0 906038228 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14861/statm: 3407173 24129 2249 9 0 3397907 0
[pid=14861/tid=14863] ppid=14859 vsize=13628692 CPUtime=5.14 cores=1,3,5,7
/proc/14861/task/14863/stat : 14863 (java) R 14859 14861 10738 0 -1 4202560 14603 0 1 0 512 2 0 0 25 0 19 0 906038229 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 46912505827999 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14861/tid=14865] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14865/stat : 14865 (java) S 14859 14861 10738 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14866] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14866/stat : 14866 (java) S 14859 14861 10738 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14867] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14867/stat : 14867 (java) S 14859 14861 10738 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14868] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14868/stat : 14868 (java) S 14859 14861 10738 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14869] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14869/stat : 14869 (java) S 14859 14861 10738 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14870] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14870/stat : 14870 (java) S 14859 14861 10738 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14871] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14871/stat : 14871 (java) S 14859 14861 10738 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14872] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14872/stat : 14872 (java) S 14859 14861 10738 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 906038231 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14873] ppid=14859 vsize=13628692 CPUtime=0.12 cores=1,3,5,7
/proc/14861/task/14873/stat : 14873 (java) S 14859 14861 10738 0 -1 4202560 1258 0 0 0 12 0 0 0 16 0 19 0 906038232 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 0 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
[pid=14861/tid=14874] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14874/stat : 14874 (java) S 14859 14861 10738 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 906038232 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14875] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14875/stat : 14875 (java) S 14859 14861 10738 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 906038232 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 7 0 0 0
[pid=14861/tid=14876] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14876/stat : 14876 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906038235 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427215281 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14877] ppid=14859 vsize=13628692 CPUtime=1.02 cores=1,3,5,7
/proc/14861/task/14877/stat : 14877 (java) S 14859 14861 10738 0 -1 4202560 14784 0 0 0 100 2 0 0 15 0 19 0 906038235 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 5 0 0 0
[pid=14861/tid=14878] ppid=14859 vsize=13628692 CPUtime=0.22 cores=1,3,5,7
/proc/14861/task/14878/stat : 14878 (java) S 14859 14861 10738 0 -1 4202560 1458 0 0 0 22 0 0 0 15 0 19 0 906038235 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14879] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14879/stat : 14879 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906038235 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427207577 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14880] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14880/stat : 14880 (java) S 14859 14861 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906038235 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 3 0 0 0
[pid=14861/tid=14881] ppid=14859 vsize=13628692 CPUtime=0 cores=1,3,5,7
/proc/14861/task/14881/stat : 14881 (java) S 14859 14861 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906038245 13955780608 24129 33554432000 1073741824 1073778376 140735265909680 18446744073709551615 256427208192 0 4 0 16800975 18446604464600201216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 13628692
Child status: 30
Real time (s): 5.31752
CPU time (s): 6.579
CPU user time (s): 6.52201
CPU system time (s): 0.056991
CPU usage (%): 123.723
Max. virtual memory (cumulated for all children) (KiB): 13628692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.52201
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34110
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= 520
involuntary context switches= 184
runsolver used 0.037994 second user time and 0.078987 second system time
The end