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-3455158-1307189188/watcher-3455158-1307189188 -o /tmp/evaluation-result-3455158-1307189188/solver-3455158-1307189188 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455158-1307189188.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.82 3.95 3.44 2/511 16875
/proc/meminfo: memFree=19181084/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 1369 0 1 0 0 0 0 0 25 0 2 0 909149594 37810176 1072 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 9231 1072 832 9 0 387 0
[pid=16875/tid=16876] ppid=16873 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) R 16873 16875 13684 0 -1 4202560 5797 0 1 0 0 0 0 0 25 0 2 0 909149595 10694979584 6613 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0500369 s]
/proc/loadavg: 3.82 3.95 3.44 2/511 16875
/proc/meminfo: memFree=19181084/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 11369 0 1 0 3 1 0 0 25 0 13 0 909149594 10718699520 11066 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 2616870 11072 1681 9 0 2607618 0
[pid=16875/tid=16876] ppid=16873 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) R 16873 16875 13684 0 -1 4202560 10227 0 1 0 3 0 0 0 25 0 13 0 909149595 10718699520 11072 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000419275 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.101019 s]
/proc/loadavg: 3.82 3.95 3.44 2/511 16875
/proc/meminfo: memFree=19181084/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=10605436 CPUtime=0.1 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 909149594 10859966464 12759 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 2651359 12759 2092 9 0 2642093 0
[pid=16875/tid=16876] ppid=16873 vsize=10605436 CPUtime=0.08 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) R 16873 16875 13684 0 -1 4202560 11150 0 1 0 7 1 0 0 25 0 18 0 909149595 10859966464 12759 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 47933124750163 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10605436
[startup+0.300934 s]
/proc/loadavg: 3.82 3.95 3.44 2/511 16875
/proc/meminfo: memFree=19181084/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=10610688 CPUtime=0.43 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 15110 0 1 0 41 2 0 0 25 0 19 0 909149594 10865344512 14611 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 2652672 14611 2211 9 0 2643406 0
[pid=16875/tid=16876] ppid=16873 vsize=10610688 CPUtime=0.22 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) S 16873 16875 13684 0 -1 4202560 12238 0 1 0 21 1 0 0 25 0 19 0 909149595 10865344512 14611 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10610688
[startup+0.700941 s]
/proc/loadavg: 3.82 3.95 3.44 2/511 16875
/proc/meminfo: memFree=19181084/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=10610688 CPUtime=0.43 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 15110 0 1 0 41 2 0 0 25 0 19 0 909149594 10865344512 14611 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 2652672 14611 2211 9 0 2643406 0
[pid=16875/tid=16876] ppid=16873 vsize=10610688 CPUtime=0.22 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) S 16873 16875 13684 0 -1 4202560 12238 0 1 0 21 1 0 0 25 0 19 0 909149595 10865344512 14611 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10610688
[startup+1.5008 s]
/proc/loadavg: 3.82 3.95 3.44 2/531 16900
/proc/meminfo: memFree=19126188/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=10613048 CPUtime=0.69 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 17698 0 1 0 67 2 0 0 25 0 19 0 909149594 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 2653262 16038 2223 9 0 2643996 0
[pid=16875/tid=16876] ppid=16873 vsize=10613048 CPUtime=0.23 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) S 16873 16875 13684 0 -1 4202560 12303 0 1 0 22 1 0 0 17 0 19 0 909149595 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16878/stat : 16878 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16879/stat : 16879 (java) S 16873 16875 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16880] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16880/stat : 16880 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16881] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16881/stat : 16881 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16882] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16882/stat : 16882 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16883] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16883/stat : 16883 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16884] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16884/stat : 16884 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16885] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16885/stat : 16885 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149596 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16886] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16886/stat : 16886 (java) S 16873 16875 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909149597 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16887] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16887/stat : 16887 (java) S 16873 16875 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909149598 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16888] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16888/stat : 16888 (java) S 16873 16875 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909149598 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16889] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16889/stat : 16889 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149600 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16890] ppid=16873 vsize=10613048 CPUtime=0.17 cores=0,2,4,6
/proc/16875/task/16890/stat : 16890 (java) S 16873 16875 13684 0 -1 4202560 2089 0 0 0 17 0 0 0 16 0 19 0 909149600 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=16875/tid=16891] ppid=16873 vsize=10613048 CPUtime=0.17 cores=0,2,4,6
/proc/16875/task/16891/stat : 16891 (java) S 16873 16875 13684 0 -1 4202560 1754 0 0 0 17 0 0 0 16 0 19 0 909149600 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16892] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16892/stat : 16892 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149600 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16893] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16893/stat : 16893 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909149600 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=16875/tid=16896] ppid=16873 vsize=10613048 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16896/stat : 16896 (java) S 16873 16875 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909149619 10867761152 16038 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10613048
[startup+3.10144 s]
/proc/loadavg: 3.60 3.90 3.43 2/530 16905
/proc/meminfo: memFree=19121736/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=10619868 CPUtime=1.64 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 34356 0 1 0 159 5 0 0 25 0 20 0 909149594 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 2654967 27509 2224 9 0 2645701 0
[pid=16875/tid=16876] ppid=16873 vsize=10619868 CPUtime=0.23 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) S 16873 16875 13684 0 -1 4202560 12364 0 1 0 22 1 0 0 16 0 20 0 909149595 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16878/stat : 16878 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16879/stat : 16879 (java) S 16873 16875 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16880] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16880/stat : 16880 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16881] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16881/stat : 16881 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16882] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16882/stat : 16882 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16883] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16883/stat : 16883 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16884] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16884/stat : 16884 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16885] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16885/stat : 16885 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16886] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16886/stat : 16886 (java) S 16873 16875 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 909149597 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16887] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16887/stat : 16887 (java) S 16873 16875 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 909149598 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16888] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16888/stat : 16888 (java) S 16873 16875 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909149598 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16889] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16889/stat : 16889 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16890] ppid=16873 vsize=10619868 CPUtime=0.53 cores=0,2,4,6
/proc/16875/task/16890/stat : 16890 (java) S 16873 16875 13684 0 -1 4202560 6253 0 0 0 52 1 0 0 15 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=16875/tid=16891] ppid=16873 vsize=10619868 CPUtime=0.49 cores=0,2,4,6
/proc/16875/task/16891/stat : 16891 (java) S 16873 16875 13684 0 -1 4202560 6686 0 0 0 49 0 0 0 15 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=16875/tid=16892] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16892/stat : 16892 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16893] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16893/stat : 16893 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16896] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16896/stat : 16896 (java) S 16873 16875 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909149619 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10619868
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.22042 s]
/proc/loadavg: 3.60 3.90 3.43 2/551 16952
/proc/meminfo: memFree=19049804/32950940 swapFree=67111364/67111528
[pid=16875] ppid=16873 vsize=10619868 CPUtime=1.64 cores=0,2,4,6
/proc/16875/stat : 16875 (java) S 16873 16875 13684 0 -1 4202496 34356 0 1 0 159 5 0 0 25 0 20 0 909149594 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16875/statm: 2654967 27509 2224 9 0 2645701 0
[pid=16875/tid=16876] ppid=16873 vsize=10619868 CPUtime=0.23 cores=0,2,4,6
/proc/16875/task/16876/stat : 16876 (java) S 16873 16875 13684 0 -1 4202560 12364 0 1 0 22 1 0 0 16 0 20 0 909149595 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16878/stat : 16878 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16879/stat : 16879 (java) S 16873 16875 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16880] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16880/stat : 16880 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16881] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16881/stat : 16881 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16882] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16882/stat : 16882 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16883] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16883/stat : 16883 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16884] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16884/stat : 16884 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16885] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16885/stat : 16885 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149596 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16886] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16886/stat : 16886 (java) S 16873 16875 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 909149597 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 0 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16887] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16887/stat : 16887 (java) S 16873 16875 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 909149598 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16888] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16888/stat : 16888 (java) S 16873 16875 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909149598 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16889] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16889/stat : 16889 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000416177 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16890] ppid=16873 vsize=10619868 CPUtime=0.53 cores=0,2,4,6
/proc/16875/task/16890/stat : 16890 (java) S 16873 16875 13684 0 -1 4202560 6253 0 0 0 52 1 0 0 15 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 2 0 0 0
[pid=16875/tid=16891] ppid=16873 vsize=10619868 CPUtime=0.49 cores=0,2,4,6
/proc/16875/task/16891/stat : 16891 (java) S 16873 16875 13684 0 -1 4202560 6686 0 0 0 49 0 0 0 15 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 0 0 0 0
[pid=16875/tid=16892] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16892/stat : 16892 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000408473 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16893] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16893/stat : 16893 (java) S 16873 16875 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 909149600 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
[pid=16875/tid=16896] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16896/stat : 16896 (java) S 16873 16875 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 909149619 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 4 0 0 0
[pid=16875/tid=16911] ppid=16873 vsize=10619868 CPUtime=0 cores=0,2,4,6
/proc/16875/task/16911/stat : 16911 (java) S 16873 16875 13684 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 909149872 10874744832 27509 33554432000 1073741824 1073778376 140735037662976 18446744073709551615 216000409088 0 4 0 16800975 18446604451212871872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10619868
Child status: 30
Real time (s): 3.30682
CPU time (s): 1.66475
CPU user time (s): 1.60776
CPU system time (s): 0.056991
CPU usage (%): 50.3428
Max. virtual memory (cumulated for all children) (KiB): 10623976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.60776
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= 34371
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= 405
involuntary context switches= 46
runsolver used 0.033994 second user time and 0.06299 second system time
The end