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-3455160-1307189192/watcher-3455160-1307189192 -o /tmp/evaluation-result-3455160-1307189192/solver-3455160-1307189192 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455160-1307189192.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.60 3.90 3.43 3/531 16979
/proc/meminfo: memFree=19140700/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 2766 0 1 0 0 0 0 0 25 0 2 0 909149939 10681323520 2469 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2607745 2483 906 9 0 2598901 0
[pid=16979/tid=16980] ppid=16977 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) R 16977 16979 13684 0 -1 4202560 7623 0 1 0 0 0 0 0 25 0 2 0 909149939 10694979584 8439 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.097647 s]
/proc/loadavg: 3.60 3.90 3.43 3/531 16979
/proc/meminfo: memFree=19140700/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10539860 CPUtime=0.1 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 13048 0 1 0 9 1 0 0 25 0 18 0 909149939 10792816640 12746 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2634965 12747 2093 9 0 2625699 0
[pid=16979/tid=16980] ppid=16977 vsize=10539860 CPUtime=0.09 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) R 16977 16979 13684 0 -1 4202560 11163 0 1 0 8 1 0 0 25 0 18 0 909149939 10792816640 12747 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 215988253729 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) 10539860
[startup+0.100644 s]
/proc/loadavg: 3.60 3.90 3.43 3/531 16979
/proc/meminfo: memFree=19140700/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10539860 CPUtime=0.1 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 909149939 10792816640 12799 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2634965 12799 2093 9 0 2625699 0
[pid=16979/tid=16980] ppid=16977 vsize=10539860 CPUtime=0.09 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) R 16977 16979 13684 0 -1 4202560 11216 0 1 0 8 1 0 0 25 0 18 0 909149939 10792816640 12800 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 47096271141715 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) 10539860
[startup+0.300614 s]
/proc/loadavg: 3.60 3.90 3.43 3/531 16979
/proc/meminfo: memFree=19140700/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10542976 CPUtime=0.58 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 17608 0 1 0 56 2 0 0 25 0 18 0 909149939 10796007424 16549 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2635744 16550 2205 9 0 2626478 0
[pid=16979/tid=16980] ppid=16977 vsize=10542976 CPUtime=0.28 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) R 16977 16979 13684 0 -1 4202560 13430 0 1 0 27 1 0 0 25 0 18 0 909149939 10796007424 16550 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 46912505654213 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10542976
[startup+0.700542 s]
/proc/loadavg: 3.60 3.90 3.43 3/531 16979
/proc/meminfo: memFree=19140700/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10547564 CPUtime=0.93 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 19138 0 1 0 91 2 0 0 25 0 19 0 909149939 10800705536 17655 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2636891 17655 2233 9 0 2627625 0
[pid=16979/tid=16980] ppid=16977 vsize=10547564 CPUtime=0.3 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) S 16977 16979 13684 0 -1 4202560 13791 0 1 0 29 1 0 0 25 0 19 0 909149939 10800705536 17655 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10547564
[startup+1.50141 s]
/proc/loadavg: 3.60 3.90 3.43 3/554 17011
/proc/meminfo: memFree=18956600/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10563012 CPUtime=1.6 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 30658 0 1 0 156 4 0 0 25 0 21 0 909149939 10816524288 26711 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2640753 26713 2235 9 0 2631487 0
[pid=16979/tid=16980] ppid=16977 vsize=10563012 CPUtime=0.3 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) S 16977 16979 13684 0 -1 4202560 13919 0 1 0 29 1 0 0 17 0 21 0 909149939 10816524288 26715 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=16984] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16984/stat : 16984 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26716 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16985] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16985/stat : 16985 (java) S 16977 16979 13684 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26717 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16986] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16986/stat : 16986 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26719 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16987] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16987/stat : 16987 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26721 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16988] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16988/stat : 16988 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26722 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16989] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16989/stat : 16989 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26723 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16990] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16990/stat : 16990 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26725 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16991] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16991/stat : 16991 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149941 10816524288 26727 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16992] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16992/stat : 16992 (java) S 16977 16979 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 21 0 909149942 10816524288 26728 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 0 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16993] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16993/stat : 16993 (java) S 16977 16979 13684 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 21 0 909149942 10816524288 26729 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16994] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16994/stat : 16994 (java) S 16977 16979 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 909149942 10816524288 26731 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16997] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16997/stat : 16997 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149944 10816524288 26732 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000416177 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16998] ppid=16977 vsize=10563012 CPUtime=0.45 cores=0,2,4,6
/proc/16979/task/16998/stat : 16998 (java) R 16977 16979 13684 0 -1 4202560 7240 0 0 0 45 0 0 0 17 0 21 0 909149944 10816524288 26733 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 47096267224701 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16979/tid=16999] ppid=16977 vsize=10563012 CPUtime=0.44 cores=0,2,4,6
/proc/16979/task/16999/stat : 16999 (java) R 16977 16979 13684 0 -1 4202560 3586 0 0 0 44 0 0 0 17 0 21 0 909149944 10816524288 26735 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 47096269331040 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16979/tid=17000] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17000/stat : 17000 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 909149944 10816524288 26736 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=17001] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17001/stat : 17001 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 21 0 909149944 10816524288 26737 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=17004] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17004/stat : 17004 (java) S 16977 16979 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 21 0 909149971 10816524288 26738 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10563012
[startup+3.10123 s]
/proc/loadavg: 3.60 3.90 3.43 1/531 17017
/proc/meminfo: memFree=18985180/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10563012 CPUtime=4.04 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 108511 0 1 0 392 12 0 0 25 0 22 0 909149939 10816524288 103105 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2640753 103107 2265 9 0 2631487 0
[pid=16979/tid=16980] ppid=16977 vsize=10563012 CPUtime=0.31 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) S 16977 16979 13684 0 -1 4202560 14022 0 1 0 30 1 0 0 15 0 22 0 909149939 10816524288 103109 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=16984] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16984/stat : 16984 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103110 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16985] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16985/stat : 16985 (java) S 16977 16979 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103112 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16986] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16986/stat : 16986 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103113 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16987] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16987/stat : 16987 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103115 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16988] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16988/stat : 16988 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103117 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16989] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16989/stat : 16989 (java) S 16977 16979 13684 0 -1 4202560 467 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103118 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16990] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16990/stat : 16990 (java) S 16977 16979 13684 0 -1 4202560 555 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103120 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=16991] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16991/stat : 16991 (java) S 16977 16979 13684 0 -1 4202560 465 0 0 0 0 0 0 0 18 0 22 0 909149941 10816524288 103122 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16992] ppid=16977 vsize=10563012 CPUtime=0.02 cores=0,2,4,6
/proc/16979/task/16992/stat : 16992 (java) S 16977 16979 13684 0 -1 4202560 1482 0 0 0 2 0 0 0 16 0 22 0 909149942 10816524288 103123 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 0 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16993] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16993/stat : 16993 (java) S 16977 16979 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909149942 10816524288 103124 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16994] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16994/stat : 16994 (java) S 16977 16979 13684 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909149942 10816524288 103125 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16997] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16997/stat : 16997 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149944 10816524288 103127 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000416177 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16998] ppid=16977 vsize=10563012 CPUtime=0.86 cores=0,2,4,6
/proc/16979/task/16998/stat : 16998 (java) S 16977 16979 13684 0 -1 4202560 7413 0 0 0 86 0 0 0 15 0 22 0 909149944 10816524288 103128 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 0 0 0 0
[pid=16979/tid=16999] ppid=16977 vsize=10563012 CPUtime=0.71 cores=0,2,4,6
/proc/16979/task/16999/stat : 16999 (java) S 16977 16979 13684 0 -1 4202560 6402 0 0 0 71 0 0 0 15 0 22 0 909149944 10816524288 103129 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=17000] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17000/stat : 17000 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909149944 10816524288 103130 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=17001] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17001/stat : 17001 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909149944 10816524288 103132 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=17004] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17004/stat : 17004 (java) S 16977 16979 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909149971 10816524288 103133 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 10563012
Solver just ended. Dumping a history of the last processes samples
[startup+3.32025 s]
/proc/loadavg: 3.47 3.87 3.42 5/554 17071
/proc/meminfo: memFree=18703312/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10563012 CPUtime=4.36 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 118852 0 1 0 423 13 0 0 25 0 19 0 909149939 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2640753 113446 2265 9 0 2631487 0
[pid=16979/tid=16980] ppid=16977 vsize=10563012 CPUtime=0.31 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) S 16977 16979 13684 0 -1 4202560 14022 0 1 0 30 1 0 0 15 0 19 0 909149939 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=16984] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16984/stat : 16984 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16985] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16985/stat : 16985 (java) S 16977 16979 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16986] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16986/stat : 16986 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16987] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16987/stat : 16987 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16988] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16988/stat : 16988 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16989] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16989/stat : 16989 (java) S 16977 16979 13684 0 -1 4202560 467 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16990] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16990/stat : 16990 (java) S 16977 16979 13684 0 -1 4202560 555 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=16991] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16991/stat : 16991 (java) S 16977 16979 13684 0 -1 4202560 465 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16992] ppid=16977 vsize=10563012 CPUtime=0.02 cores=0,2,4,6
/proc/16979/task/16992/stat : 16992 (java) S 16977 16979 13684 0 -1 4202560 1482 0 0 0 2 0 0 0 16 0 19 0 909149942 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 0 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16993] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16993/stat : 16993 (java) S 16977 16979 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909149942 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16994] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16994/stat : 16994 (java) S 16977 16979 13684 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 909149942 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16997] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16997/stat : 16997 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000416177 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16998] ppid=16977 vsize=10563012 CPUtime=0.86 cores=0,2,4,6
/proc/16979/task/16998/stat : 16998 (java) S 16977 16979 13684 0 -1 4202560 7413 0 0 0 86 0 0 0 15 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 0 0 0 0
[pid=16979/tid=16999] ppid=16977 vsize=10563012 CPUtime=0.72 cores=0,2,4,6
/proc/16979/task/16999/stat : 16999 (java) S 16977 16979 13684 0 -1 4202560 6402 0 0 0 72 0 0 0 15 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=17000] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17000/stat : 17000 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=17001] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17001/stat : 17001 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=17004] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17004/stat : 17004 (java) S 16977 16979 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909149971 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10563012
[startup+3.40123 s]
/proc/loadavg: 3.47 3.87 3.42 5/554 17071
/proc/meminfo: memFree=18703312/32950940 swapFree=67111364/67111528
[pid=16979] ppid=16977 vsize=10563012 CPUtime=4.36 cores=0,2,4,6
/proc/16979/stat : 16979 (java) S 16977 16979 13684 0 -1 4202496 118852 0 1 0 423 13 0 0 25 0 19 0 909149939 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16979/statm: 2640753 113446 2265 9 0 2631487 0
[pid=16979/tid=16980] ppid=16977 vsize=10563012 CPUtime=0.31 cores=0,2,4,6
/proc/16979/task/16980/stat : 16980 (java) S 16977 16979 13684 0 -1 4202560 14022 0 1 0 30 1 0 0 15 0 19 0 909149939 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=16984] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16984/stat : 16984 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16985] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16985/stat : 16985 (java) S 16977 16979 13684 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16986] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16986/stat : 16986 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16987] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16987/stat : 16987 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16988] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16988/stat : 16988 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16989] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16989/stat : 16989 (java) S 16977 16979 13684 0 -1 4202560 467 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16990] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16990/stat : 16990 (java) S 16977 16979 13684 0 -1 4202560 555 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=16991] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16991/stat : 16991 (java) S 16977 16979 13684 0 -1 4202560 465 0 0 0 0 0 0 0 18 0 19 0 909149941 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16992] ppid=16977 vsize=10563012 CPUtime=0.02 cores=0,2,4,6
/proc/16979/task/16992/stat : 16992 (java) S 16977 16979 13684 0 -1 4202560 1482 0 0 0 2 0 0 0 16 0 19 0 909149942 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 0 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16993] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16993/stat : 16993 (java) S 16977 16979 13684 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 909149942 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16994] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16994/stat : 16994 (java) S 16977 16979 13684 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 909149942 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=16997] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/16997/stat : 16997 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000416177 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=16998] ppid=16977 vsize=10563012 CPUtime=0.86 cores=0,2,4,6
/proc/16979/task/16998/stat : 16998 (java) S 16977 16979 13684 0 -1 4202560 7413 0 0 0 86 0 0 0 15 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 0 0 0 0
[pid=16979/tid=16999] ppid=16977 vsize=10563012 CPUtime=0.72 cores=0,2,4,6
/proc/16979/task/16999/stat : 16999 (java) S 16977 16979 13684 0 -1 4202560 6402 0 0 0 72 0 0 0 15 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
[pid=16979/tid=17000] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17000/stat : 17000 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000408473 0 4 0 16800975 18446604453522421760 0 0 -1 4 0 0 0
[pid=16979/tid=17001] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17001/stat : 17001 (java) S 16977 16979 13684 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909149944 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 2 0 0 0
[pid=16979/tid=17004] ppid=16977 vsize=10563012 CPUtime=0 cores=0,2,4,6
/proc/16979/task/17004/stat : 17004 (java) S 16977 16979 13684 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909149971 10816524288 113446 33554432000 1073741824 1073778376 140736785622112 18446744073709551615 216000409088 0 4 0 16800975 18446604453522421760 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10563012
Child status: 30
Real time (s): 3.45468
CPU time (s): 4.41733
CPU user time (s): 4.25835
CPU system time (s): 0.158975
CPU usage (%): 127.865
Max. virtual memory (cumulated for all children) (KiB): 10563012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.25835
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118857
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= 447
involuntary context switches= 86
runsolver used 0.020996 second user time and 0.058991 second system time
The end