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-3455122-1307188994/watcher-3455122-1307188994 -o /tmp/evaluation-result-3455122-1307188994/solver-3455122-1307188994 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455122-1307188994.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: 3.44 3.53 3.00 3/502 16825
/proc/meminfo: memFree=25925776/32950928 swapFree=39617324/67111528
[pid=16825] ppid=16823 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/16825/stat : 16825 (java) S 16823 16825 13533 0 -1 4202496 6282 0 1 0 0 1 0 0 25 0 2 0 830499074 10694979584 5985 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/16825/statm: 2611079 6000 917 9 0 2602235 0
[pid=16825/tid=16826] ppid=16823 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16826/stat : 16826 (java) R 16823 16825 13533 0 -1 4202560 7203 0 1 0 0 0 0 0 25 0 2 0 830499074 10694979584 8019 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0192679 s]
/proc/loadavg: 3.44 3.53 3.00 3/502 16825
/proc/meminfo: memFree=25925776/32950928 swapFree=39617324/67111528
[pid=16825] ppid=16823 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/16825/stat : 16825 (java) S 16823 16825 13533 0 -1 4202496 9173 0 1 0 0 1 0 0 25 0 2 0 830499074 10694979584 8876 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/16825/statm: 2611079 8891 917 9 0 2602235 0
[pid=16825/tid=16826] ppid=16823 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16826/stat : 16826 (java) R 16823 16825 13533 0 -1 4202560 8087 0 1 0 0 0 0 0 25 0 2 0 830499074 10694979584 8903 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100291 s]
/proc/loadavg: 3.44 3.53 3.00 3/502 16825
/proc/meminfo: memFree=25925776/32950928 swapFree=39617324/67111528
[pid=16825] ppid=16823 vsize=10539544 CPUtime=0.11 cores=0,2,4,6
/proc/16825/stat : 16825 (java) S 16823 16825 13533 0 -1 4202496 12904 0 1 0 9 2 0 0 25 0 18 0 830499074 10792493056 12602 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16825/statm: 2634886 12602 2092 9 0 2625620 0
[pid=16825/tid=16826] ppid=16823 vsize=10539544 CPUtime=0.08 cores=0,2,4,6
/proc/16825/task/16826/stat : 16826 (java) R 16823 16825 13533 0 -1 4202560 11154 0 1 0 7 1 0 0 25 0 18 0 830499074 10792493056 12603 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092059083 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539544
[startup+0.300285 s]
/proc/loadavg: 3.44 3.53 3.00 3/502 16825
/proc/meminfo: memFree=25925776/32950928 swapFree=39617324/67111528
[pid=16825] ppid=16823 vsize=10543824 CPUtime=0.2 cores=0,2,4,6
/proc/16825/stat : 16825 (java) S 16823 16825 13533 0 -1 4202496 13779 0 1 0 18 2 0 0 25 0 19 0 830499074 10796875776 13440 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16825/statm: 2635956 13440 2166 9 0 2626690 0
[pid=16825/tid=16826] ppid=16823 vsize=10543824 CPUtime=0.13 cores=0,2,4,6
/proc/16825/task/16826/stat : 16826 (java) S 16823 16825 13533 0 -1 4202560 11592 0 1 0 12 1 0 0 25 0 19 0 830499074 10796875776 13440 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10543824
[startup+0.700227 s]
/proc/loadavg: 3.44 3.53 3.00 3/502 16825
/proc/meminfo: memFree=25925776/32950928 swapFree=39617324/67111528
[pid=16825] ppid=16823 vsize=10543824 CPUtime=0.21 cores=0,2,4,6
/proc/16825/stat : 16825 (java) S 16823 16825 13533 0 -1 4202496 13827 0 1 0 19 2 0 0 25 0 19 0 830499074 10796875776 13488 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16825/statm: 2635956 13488 2166 9 0 2626690 0
[pid=16825/tid=16826] ppid=16823 vsize=10543824 CPUtime=0.14 cores=0,2,4,6
/proc/16825/task/16826/stat : 16826 (java) S 16823 16825 13533 0 -1 4202560 11628 0 1 0 13 1 0 0 21 0 19 0 830499074 10796875776 13488 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10543824
[startup+1.50097 s]
/proc/loadavg: 3.56 3.56 3.01 3/521 16850
/proc/meminfo: memFree=25879384/32950928 swapFree=39617324/67111528
[pid=16825] ppid=16823 vsize=10543956 CPUtime=0.24 cores=0,2,4,6
/proc/16825/stat : 16825 (java) S 16823 16825 13533 0 -1 4202496 14098 0 1 0 22 2 0 0 25 0 20 0 830499074 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16825/statm: 2635989 13713 2200 9 0 2626723 0
[pid=16825/tid=16826] ppid=16823 vsize=10543956 CPUtime=0.14 cores=0,2,4,6
/proc/16825/task/16826/stat : 16826 (java) S 16823 16825 13533 0 -1 4202560 11642 0 1 0 13 1 0 0 18 0 20 0 830499074 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16828] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16828/stat : 16828 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16829] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16829/stat : 16829 (java) S 16823 16825 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16830] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16830/stat : 16830 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16831] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16831/stat : 16831 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16832] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16832/stat : 16832 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16833] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16833/stat : 16833 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16834] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16834/stat : 16834 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16835] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16835/stat : 16835 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499076 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16836] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16836/stat : 16836 (java) S 16823 16825 13533 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 830499077 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 0 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16837] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16837/stat : 16837 (java) S 16823 16825 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 830499077 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16838] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16838/stat : 16838 (java) S 16823 16825 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830499077 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16839] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16839/stat : 16839 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499079 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092055985 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16840] ppid=16823 vsize=10543956 CPUtime=0.01 cores=0,2,4,6
/proc/16825/task/16840/stat : 16840 (java) S 16823 16825 13533 0 -1 4202560 226 0 0 0 1 0 0 0 16 0 20 0 830499079 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16841] ppid=16823 vsize=10543956 CPUtime=0.04 cores=0,2,4,6
/proc/16825/task/16841/stat : 16841 (java) S 16823 16825 13533 0 -1 4202560 862 0 0 0 4 0 0 0 17 0 20 0 830499079 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16842] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16842/stat : 16842 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830499079 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16843] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16843/stat : 16843 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830499079 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16847] ppid=16823 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16847/stat : 16847 (java) S 16823 16825 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830499090 10797010944 13713 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10543956
[startup+3.10074 s]
/proc/loadavg: 3.56 3.56 3.01 3/521 16855
/proc/meminfo: memFree=25870452/32950928 swapFree=39617324/67111528
[pid=16825] ppid=16823 vsize=10560584 CPUtime=1.75 cores=0,2,4,6
/proc/16825/stat : 16825 (java) S 16823 16825 13533 0 -1 4202496 30499 0 1 0 171 4 0 0 25 0 19 0 830499074 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16825/statm: 2640146 26550 2225 9 0 2630880 0
[pid=16825/tid=16826] ppid=16823 vsize=10560584 CPUtime=0.14 cores=0,2,4,6
/proc/16825/task/16826/stat : 16826 (java) S 16823 16825 13533 0 -1 4202560 11683 0 1 0 13 1 0 0 16 0 19 0 830499074 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 4 0 0 0
[pid=16825/tid=16828] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16828/stat : 16828 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16829] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16829/stat : 16829 (java) S 16823 16825 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16830] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16830/stat : 16830 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16831] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16831/stat : 16831 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16832] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16832/stat : 16832 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16833] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16833/stat : 16833 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16834] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16834/stat : 16834 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16835] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16835/stat : 16835 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499076 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16836] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16836/stat : 16836 (java) S 16823 16825 13533 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 830499077 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 0 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16837] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16837/stat : 16837 (java) S 16823 16825 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830499077 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16838] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16838/stat : 16838 (java) S 16823 16825 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830499077 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16839] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16839/stat : 16839 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499079 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092055985 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16840] ppid=16823 vsize=10560584 CPUtime=0.47 cores=0,2,4,6
/proc/16825/task/16840/stat : 16840 (java) S 16823 16825 13533 0 -1 4202560 5632 0 0 0 47 0 0 0 16 0 19 0 830499079 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 6 0 0 0
[pid=16825/tid=16841] ppid=16823 vsize=10560584 CPUtime=0.53 cores=0,2,4,6
/proc/16825/task/16841/stat : 16841 (java) S 16823 16825 13533 0 -1 4202560 6877 0 0 0 53 0 0 0 16 0 19 0 830499079 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 0 0 0 0
[pid=16825/tid=16842] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16842/stat : 16842 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830499079 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048281 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
[pid=16825/tid=16843] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16843/stat : 16843 (java) S 16823 16825 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830499079 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 0 0 0 0
[pid=16825/tid=16847] ppid=16823 vsize=10560584 CPUtime=0 cores=0,2,4,6
/proc/16825/task/16847/stat : 16847 (java) S 16823 16825 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830499090 10814038016 26550 33554432000 1073741824 1073778376 140734412076448 18446744073709551615 208092048896 0 4 0 16800975 18446604451085901888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 10560584
heavy processes:
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.20103
CPU time (s): 1.78873
CPU user time (s): 1.73474
CPU system time (s): 0.053991
CPU usage (%): 55.8798
Max. virtual memory (cumulated for all children) (KiB): 10562808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.73474
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30517
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= 306
involuntary context switches= 68
runsolver used 0.022996 second user time and 0.067989 second system time
The end