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-3455234-1307191809/watcher-3455234-1307191809 -o /tmp/evaluation-result-3455234-1307191809/solver-3455234-1307191809 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455234-1307191809.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.04 3.26 3.51 3/579 11021
/proc/meminfo: memFree=23968364/32951124 swapFree=34426104/67111528
[pid=11021] ppid=11019 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/11021/stat : 11021 (java) S 11019 11021 7463 0 -1 4202496 1695 0 1 0 0 0 0 0 25 0 2 0 909411549 10681323520 1398 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11021/statm: 2607745 1412 906 9 0 2598901 0
[pid=11021/tid=11022] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11022/stat : 11022 (java) R 11019 11021 7463 0 -1 4202560 8807 0 1 0 0 0 0 0 25 0 10 0 909411550 10703900672 9632 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 47686962741968 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11023] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11023/stat : 11023 (java) R 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9639 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11024] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11024/stat : 11024 (java) R 11019 11021 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9639 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11025] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11025/stat : 11025 (java) R 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9640 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11026] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11026/stat : 11026 (java) R 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9645 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11027] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11027/stat : 11027 (java) R 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9647 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11028] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11028/stat : 11028 (java) R 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9647 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11029] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11029/stat : 11029 (java) R 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9648 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11021/tid=11030] ppid=11019 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11030/stat : 11030 (java) R 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 909411551 10703900672 9648 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0961871 s]
/proc/loadavg: 3.04 3.26 3.51 3/579 11021
/proc/meminfo: memFree=23968364/32951124 swapFree=34426104/67111528
[pid=11021] ppid=11019 vsize=10540124 CPUtime=0.1 cores=0,2,4,6
/proc/11021/stat : 11021 (java) S 11019 11021 7463 0 -1 4202496 13027 0 1 0 8 2 0 0 25 0 18 0 909411549 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11021/statm: 2635031 12723 2092 9 0 2625765 0
[pid=11021/tid=11022] ppid=11019 vsize=10540124 CPUtime=0.07 cores=0,2,4,6
/proc/11021/task/11022/stat : 11022 (java) R 11019 11021 7463 0 -1 4202560 11126 0 1 0 6 1 0 0 18 0 18 0 909411550 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 47686964762136 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11021/tid=11023] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11023/stat : 11023 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11024] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11024/stat : 11024 (java) S 11019 11021 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11025] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11025/stat : 11025 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11026] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11026/stat : 11026 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11027] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11027/stat : 11027 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11028] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11028/stat : 11028 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11029] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11029/stat : 11029 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12723 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11030] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11030/stat : 11030 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12724 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540124
[startup+0.10117 s]
/proc/loadavg: 3.04 3.26 3.51 3/579 11021
/proc/meminfo: memFree=23968364/32951124 swapFree=34426104/67111528
[pid=11021] ppid=11019 vsize=10540124 CPUtime=0.1 cores=0,2,4,6
/proc/11021/stat : 11021 (java) S 11019 11021 7463 0 -1 4202496 13118 0 1 0 8 2 0 0 25 0 18 0 909411549 10793086976 12814 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11021/statm: 2635031 12814 2092 9 0 2625765 0
[pid=11021/tid=11022] ppid=11019 vsize=10540124 CPUtime=0.08 cores=0,2,4,6
/proc/11021/task/11022/stat : 11022 (java) R 11019 11021 7463 0 -1 4202560 11217 0 1 0 7 1 0 0 18 0 18 0 909411550 10793086976 12814 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 47686964762136 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11021/tid=11023] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11023/stat : 11023 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12814 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11024] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11024/stat : 11024 (java) S 11019 11021 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12814 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11025] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11025/stat : 11025 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12815 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11026] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11026/stat : 11026 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12815 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11027] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11027/stat : 11027 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12815 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11028] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11028/stat : 11028 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12815 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11029] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11029/stat : 11029 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12816 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11030] ppid=11019 vsize=10540124 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11030/stat : 11030 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909411551 10793086976 12816 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540124
[startup+0.305145 s]
/proc/loadavg: 3.04 3.26 3.51 3/579 11021
/proc/meminfo: memFree=23968364/32951124 swapFree=34426104/67111528
[pid=11021] ppid=11019 vsize=10546580 CPUtime=0.62 cores=0,2,4,6
/proc/11021/stat : 11021 (java) S 11019 11021 7463 0 -1 4202496 17436 0 1 0 59 3 0 0 25 0 19 0 909411549 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11021/statm: 2636645 15863 2216 9 0 2627379 0
[pid=11021/tid=11022] ppid=11019 vsize=10546580 CPUtime=0.2 cores=0,2,4,6
/proc/11021/task/11022/stat : 11022 (java) S 11019 11021 7463 0 -1 4202560 12392 0 1 0 18 2 0 0 19 0 19 0 909411550 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296742400 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11023] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11023/stat : 11023 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11024] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11024/stat : 11024 (java) S 11019 11021 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11025] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11025/stat : 11025 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11026] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11026/stat : 11026 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11027] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11027/stat : 11027 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11028] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11028/stat : 11028 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11029] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11029/stat : 11029 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11030] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11030/stat : 11030 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15863 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10546580
[startup+0.70113 s]
/proc/loadavg: 3.04 3.26 3.51 3/579 11021
/proc/meminfo: memFree=23968364/32951124 swapFree=34426104/67111528
[pid=11021] ppid=11019 vsize=10546580 CPUtime=0.63 cores=0,2,4,6
/proc/11021/stat : 11021 (java) S 11019 11021 7463 0 -1 4202496 17471 0 1 0 60 3 0 0 25 0 19 0 909411549 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11021/statm: 2636645 15807 2216 9 0 2627379 0
[pid=11021/tid=11022] ppid=11019 vsize=10546580 CPUtime=0.2 cores=0,2,4,6
/proc/11021/task/11022/stat : 11022 (java) S 11019 11021 7463 0 -1 4202560 12392 0 1 0 18 2 0 0 19 0 19 0 909411550 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296742400 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11023] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11023/stat : 11023 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11024] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11024/stat : 11024 (java) S 11019 11021 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11025] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11025/stat : 11025 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11026] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11026/stat : 11026 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11027] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11027/stat : 11027 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11028] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11028/stat : 11028 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11029] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11029/stat : 11029 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
[pid=11021/tid=11030] ppid=11019 vsize=10546580 CPUtime=0 cores=0,2,4,6
/proc/11021/task/11030/stat : 11030 (java) S 11019 11021 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909411551 10799697920 15807 33554432000 1073741824 1073778376 140734042593024 18446744073709551615 224296741785 0 4 0 16800975 18446604452709447808 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10546580
Solver just ended. Dumping a history of the last processes samples
Child status: 20
Real time (s): 0.721002
CPU time (s): 0.643901
CPU user time (s): 0.609907
CPU system time (s): 0.033994
CPU usage (%): 89.3064
Max. virtual memory (cumulated for all children) (KiB): 10546580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.609907
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17488
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= 170
involuntary context switches= 19
runsolver used 0.007998 second user time and 0.013997 second system time
The end