0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.17 c version CSP COMPETITION BUGFIX 3 CACHED
0.17 c sun.arch.data.model 32
0.17 c java.version 1.5.0_10
0.17 c os.name Linux
0.17 c os.version 2.6.9-22.EL.rootsmp
0.17 c os.arch i386
0.17 c Free memory 722620888
0.17 c Max memory 723845120
0.17 c Total memory 723845120
0.17 c Number of processors 2
0.27 c --- Begin Solver configuration ---
0.27 c Stops conflict analysis at the first Unique Implication Point
0.27 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.27 c Learn all clauses as in MiniSAT
0.27 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.27 c VSIDS like heuristics from MiniSAT using a heap
0.27 c No reason simplification
0.27 c --- End Solver configuration ---
0.27 c solving /tmp/evaluation/204479-1168165968/unknown.xml
0.27 c reading problem ...
0.55 c reading problem named ?
0.55 c reading domains done.
0.90 c reading variables
c reading variables (420) done.
1.39 c reading predicates
c reading relations (7) done.
1.66 c reading constraintsException in thread "main" java.lang.OutOfMemoryError: Java heap space
160.44 c starts : 0
160.44 c conflicts : 0
160.44 c decisions : 0
160.44 c propagations : 0
160.44 c inspects : 0
160.44 c learnt literals : 0
160.44 c learnt binary clauses : 0
160.44 c learnt ternary clauses : 0
160.44 c learnt clauses : 0
160.44 c root simplifications : 0
160.44 c removed literals (reason simplification) : 0
160.44 c reason swapping (by a shorter reason) : 0
160.44 c Calls to reduceDB : 0
160.44 c speed (decisions/second) : 0.0
160.44 c non guided choices 0
160.44 s UNKNOWN
160.44 c Total wall clock time (in seconds) : 160.172
160.44 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-204479-1168165968 -o ROOT/results/node55/solver-204479-1168165968 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/204479-1168165968/sat4jCSP-bf3-cached.jar /tmp/evaluation/204479-1168165968/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.00 1.04 5/74 9038
/proc/meminfo: memFree=1609744/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=1784 CPUtime=0
/proc/9037/stat : 9037 (java) D 9035 9037 8979 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 164995355 1826816 137 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/9037/statm: 446 137 102 14 0 91 0
[startup+0.103447 s]
/proc/loadavg: 1.00 1.00 1.04 5/74 9038
/proc/meminfo: memFree=1609744/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=897120 CPUtime=0.08
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 3204 0 1 0 7 1 0 0 17 0 6 0 164995355 918650880 2964 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4153203651 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/9037/statm: 224280 2964 1507 14 0 211300 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 897120
[startup+0.511489 s]
/proc/loadavg: 1.00 1.00 1.04 5/74 9038
/proc/meminfo: memFree=1609744/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=905236 CPUtime=0.48
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 5807 0 1 0 45 3 0 0 19 0 12 0 164995355 926961664 5402 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053868101 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9037/statm: 226309 5402 2246 14 0 212746 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 905236
[startup+1.33357 s]
/proc/loadavg: 1.00 1.00 1.04 4/85 9049
/proc/meminfo: memFree=1591096/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=906592 CPUtime=1.29
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 9724 0 1 0 123 6 0 0 22 0 12 0 164995355 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9037/statm: 226648 8821 2313 14 0 213085 0
[pid=9037/tid=9039] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9039/stat : 9039 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 164995359 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9040] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9040/stat : 9040 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 164995359 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9041] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9041/stat : 9041 (java) S 9035 9037 8979 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 164995361 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9042] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9042/stat : 9042 (java) S 9035 9037 8979 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 164995362 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9043] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9043/stat : 9043 (java) S 9035 9037 8979 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 164995362 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9044] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9044/stat : 9044 (java) S 9035 9037 8979 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 164995366 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9045] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9045/stat : 9045 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164995366 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9046] ppid=9035 vsize=906592 CPUtime=0.37
/proc/9037/task/9046/stat : 9046 (java) S 9035 9037 8979 0 -1 64 1081 0 0 0 37 0 0 0 16 0 12 0 164995366 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9047] ppid=9035 vsize=906592 CPUtime=0.29
/proc/9037/task/9047/stat : 9047 (java) R 9035 9037 8979 0 -1 64 656 0 0 0 29 0 0 0 16 0 12 0 164995366 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154377184 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9048] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9048/stat : 9048 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164995366 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9049] ppid=9035 vsize=906592 CPUtime=0
/proc/9037/task/9049/stat : 9049 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164995366 928350208 8821 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 906592
[startup+2.98273 s]
/proc/loadavg: 1.00 1.00 1.04 4/85 9049
/proc/meminfo: memFree=1566776/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=910536 CPUtime=2.92
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 21446 0 1 0 279 13 0 0 21 0 12 0 164995355 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9037/statm: 227634 18732 2477 14 0 214071 0
[pid=9037/tid=9039] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9039/stat : 9039 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 164995359 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9040] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9040/stat : 9040 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 164995359 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9041] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9041/stat : 9041 (java) S 9035 9037 8979 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 164995361 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9042] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9042/stat : 9042 (java) S 9035 9037 8979 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 164995362 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9043] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9043/stat : 9043 (java) S 9035 9037 8979 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 164995362 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9044] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9044/stat : 9044 (java) S 9035 9037 8979 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 164995366 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9045] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9045/stat : 9045 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164995366 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9046] ppid=9035 vsize=910536 CPUtime=0.69
/proc/9037/task/9046/stat : 9046 (java) R 9035 9037 8979 0 -1 64 1447 0 0 0 69 0 0 0 16 0 12 0 164995366 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151920113 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9047] ppid=9035 vsize=910536 CPUtime=0.94
/proc/9037/task/9047/stat : 9047 (java) S 9035 9037 8979 0 -1 64 2977 0 0 0 93 1 0 0 16 0 12 0 164995366 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9048] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9048/stat : 9048 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164995366 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9049] ppid=9035 vsize=910536 CPUtime=0
/proc/9037/task/9049/stat : 9049 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164995366 932388864 18732 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 910536
[startup+6.19104 s]
/proc/loadavg: 1.16 1.03 1.05 6/85 9049
/proc/meminfo: memFree=1477496/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=914196 CPUtime=6.21
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 40324 0 1 0 597 24 0 0 25 0 12 0 164995355 936136704 36489 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9037/statm: 228549 36491 2480 14 0 214986 0
[pid=9037/tid=9039] ppid=9035 vsize=914196 CPUtime=0.34
/proc/9037/task/9039/stat : 9039 (java) R 9035 9037 8979 0 -1 64 6591 0 0 0 31 3 0 0 16 0 12 0 164995359 936136704 36493 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152694841 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9040] ppid=9035 vsize=914196 CPUtime=0.37
/proc/9037/task/9040/stat : 9040 (java) R 9035 9037 8979 0 -1 64 7740 0 0 0 34 3 0 0 16 0 12 0 164995359 936136704 36494 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958734 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9041] ppid=9035 vsize=914196 CPUtime=0
/proc/9037/task/9041/stat : 9041 (java) S 9035 9037 8979 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 164995361 936136704 36496 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9042] ppid=9035 vsize=914196 CPUtime=0
/proc/9037/task/9042/stat : 9042 (java) S 9035 9037 8979 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 164995362 936136704 36497 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9043] ppid=9035 vsize=914196 CPUtime=0
/proc/9037/task/9043/stat : 9043 (java) S 9035 9037 8979 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 164995362 936136704 36499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9044] ppid=9035 vsize=914196 CPUtime=0
/proc/9037/task/9044/stat : 9044 (java) S 9035 9037 8979 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 164995366 936136704 36500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9045] ppid=9035 vsize=914196 CPUtime=0
/proc/9037/task/9045/stat : 9045 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164995366 936136704 36502 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9046] ppid=9035 vsize=914196 CPUtime=0.99
/proc/9037/task/9046/stat : 9046 (java) S 9035 9037 8979 0 -1 64 2917 0 0 0 98 1 0 0 17 0 12 0 164995366 936136704 36503 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9047] ppid=9035 vsize=914196 CPUtime=0.96
/proc/9037/task/9047/stat : 9047 (java) S 9035 9037 8979 0 -1 64 2977 0 0 0 95 1 0 0 16 0 12 0 164995366 936136704 36505 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9048] ppid=9035 vsize=914196 CPUtime=0
/proc/9037/task/9048/stat : 9048 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164995366 936136704 36506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9049] ppid=9035 vsize=914196 CPUtime=0
/proc/9037/task/9049/stat : 9049 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164995366 936136704 36507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 914196
[startup+12.6092 s]
/proc/loadavg: 1.29 1.06 1.06 4/85 9049
/proc/meminfo: memFree=1421368/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=912348 CPUtime=12.64
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 55201 0 1 0 1231 33 0 0 25 0 12 0 164995355 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9037/statm: 228087 49841 2481 14 0 214524 0
[pid=9037/tid=9039] ppid=9035 vsize=912348 CPUtime=0.87
/proc/9037/task/9039/stat : 9039 (java) R 9035 9037 8979 0 -1 64 14788 0 0 0 80 7 0 0 15 0 12 0 164995359 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9040] ppid=9035 vsize=912348 CPUtime=0.93
/proc/9037/task/9040/stat : 9040 (java) R 9035 9037 8979 0 -1 64 14363 0 0 0 86 7 0 0 16 0 12 0 164995359 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631190 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9041] ppid=9035 vsize=912348 CPUtime=0.01
/proc/9037/task/9041/stat : 9041 (java) R 9035 9037 8979 0 -1 64 12 0 0 0 1 0 0 0 16 0 12 0 164995361 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9042] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9042/stat : 9042 (java) S 9035 9037 8979 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 164995362 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9043] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9043/stat : 9043 (java) S 9035 9037 8979 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 164995362 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9044] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9044/stat : 9044 (java) S 9035 9037 8979 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 164995366 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9045] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9045/stat : 9045 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164995366 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9046] ppid=9035 vsize=912348 CPUtime=1.12
/proc/9037/task/9046/stat : 9046 (java) S 9035 9037 8979 0 -1 64 2921 0 0 0 111 1 0 0 17 0 12 0 164995366 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9047] ppid=9035 vsize=912348 CPUtime=1.27
/proc/9037/task/9047/stat : 9047 (java) S 9035 9037 8979 0 -1 64 3005 0 0 0 126 1 0 0 16 0 12 0 164995366 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9048] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9048/stat : 9048 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164995366 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9049] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9049/stat : 9049 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164995366 934244352 49841 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 912348
[startup+25.5047 s]
/proc/loadavg: 1.40 1.09 1.07 3/85 9049
/proc/meminfo: memFree=1322936/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=912348 CPUtime=25.49
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 80476 0 1 0 2505 44 0 0 25 0 12 0 164995355 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054435776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9037/statm: 228087 75024 2481 14 0 214524 0
[pid=9037/tid=9039] ppid=9035 vsize=912348 CPUtime=1.63
/proc/9037/task/9039/stat : 9039 (java) S 9035 9037 8979 0 -1 64 26498 0 0 0 150 13 0 0 16 0 12 0 164995359 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9040] ppid=9035 vsize=912348 CPUtime=1.84
/proc/9037/task/9040/stat : 9040 (java) S 9035 9037 8979 0 -1 64 27898 0 0 0 172 12 0 0 16 0 12 0 164995359 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9041] ppid=9035 vsize=912348 CPUtime=0.01
/proc/9037/task/9041/stat : 9041 (java) S 9035 9037 8979 0 -1 64 14 0 0 0 1 0 0 0 15 0 12 0 164995361 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9042] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9042/stat : 9042 (java) S 9035 9037 8979 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 164995362 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9043] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9043/stat : 9043 (java) S 9035 9037 8979 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 164995362 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9044] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9044/stat : 9044 (java) S 9035 9037 8979 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 164995366 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9045] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9045/stat : 9045 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164995366 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9046] ppid=9035 vsize=912348 CPUtime=1.14
/proc/9037/task/9046/stat : 9046 (java) S 9035 9037 8979 0 -1 64 2921 0 0 0 113 1 0 0 17 0 12 0 164995366 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9047] ppid=9035 vsize=912348 CPUtime=1.32
/proc/9037/task/9047/stat : 9047 (java) S 9035 9037 8979 0 -1 64 3005 0 0 0 131 1 0 0 16 0 12 0 164995366 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9048] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9048/stat : 9048 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164995366 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9049] ppid=9035 vsize=912348 CPUtime=0
/proc/9037/task/9049/stat : 9049 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164995366 934244352 75024 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 912348
[startup+51.1583 s]
/proc/loadavg: 1.60 1.17 1.09 3/85 9049
/proc/meminfo: memFree=1088312/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=911704 CPUtime=51.08
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 138188 0 1 0 5037 71 0 0 25 0 12 0 164995355 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054486652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9037/statm: 227926 132285 2481 14 0 214363 0
[pid=9037/tid=9039] ppid=9035 vsize=911704 CPUtime=3.46
/proc/9037/task/9039/stat : 9039 (java) S 9035 9037 8979 0 -1 64 57248 0 0 0 319 27 0 0 17 0 12 0 164995359 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9040] ppid=9035 vsize=911704 CPUtime=3.8
/proc/9037/task/9040/stat : 9040 (java) S 9035 9037 8979 0 -1 64 54809 0 0 0 355 25 0 0 16 0 12 0 164995359 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9041] ppid=9035 vsize=911704 CPUtime=0.03
/proc/9037/task/9041/stat : 9041 (java) S 9035 9037 8979 0 -1 64 14 0 0 0 2 1 0 0 15 0 12 0 164995361 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9042] ppid=9035 vsize=911704 CPUtime=0
/proc/9037/task/9042/stat : 9042 (java) S 9035 9037 8979 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 164995362 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9043] ppid=9035 vsize=911704 CPUtime=0
/proc/9037/task/9043/stat : 9043 (java) S 9035 9037 8979 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 164995362 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9044] ppid=9035 vsize=911704 CPUtime=0
/proc/9037/task/9044/stat : 9044 (java) S 9035 9037 8979 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 164995366 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9045] ppid=9035 vsize=911704 CPUtime=0
/proc/9037/task/9045/stat : 9045 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164995366 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9046] ppid=9035 vsize=911704 CPUtime=1.16
/proc/9037/task/9046/stat : 9046 (java) S 9035 9037 8979 0 -1 64 2921 0 0 0 115 1 0 0 17 0 12 0 164995366 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9047] ppid=9035 vsize=911704 CPUtime=1.33
/proc/9037/task/9047/stat : 9047 (java) S 9035 9037 8979 0 -1 64 3005 0 0 0 132 1 0 0 17 0 12 0 164995366 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9048] ppid=9035 vsize=911704 CPUtime=0
/proc/9037/task/9048/stat : 9048 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164995366 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9049] ppid=9035 vsize=911704 CPUtime=0
/proc/9037/task/9049/stat : 9049 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164995366 933584896 132285 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 911704
[startup+102.454 s]
/proc/loadavg: 2.11 1.37 1.17 4/85 9049
/proc/meminfo: memFree=872056/2055920 swapFree=4192812/4192956
[pid=9037] ppid=9035 vsize=911616 CPUtime=102.39
/proc/9037/stat : 9037 (java) R 9035 9037 8979 0 -1 0 195144 0 1 0 10140 99 0 0 25 0 12 0 164995355 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9037/statm: 227904 186210 2482 14 0 214341 0
[pid=9037/tid=9039] ppid=9035 vsize=911616 CPUtime=5.43
/proc/9037/task/9039/stat : 9039 (java) S 9035 9037 8979 0 -1 64 82067 0 0 0 505 38 0 0 16 0 12 0 164995359 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9040] ppid=9035 vsize=911616 CPUtime=5.87
/proc/9037/task/9040/stat : 9040 (java) S 9035 9037 8979 0 -1 64 83760 0 0 0 548 39 0 0 15 0 12 0 164995359 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9041] ppid=9035 vsize=911616 CPUtime=22.09
/proc/9037/task/9041/stat : 9041 (java) R 9035 9037 8979 0 -1 64 3123 0 0 0 2206 3 0 0 17 0 12 0 164995361 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631064 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9042] ppid=9035 vsize=911616 CPUtime=0
/proc/9037/task/9042/stat : 9042 (java) S 9035 9037 8979 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 164995362 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9043] ppid=9035 vsize=911616 CPUtime=0
/proc/9037/task/9043/stat : 9043 (java) S 9035 9037 8979 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 164995362 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9044] ppid=9035 vsize=911616 CPUtime=0
/proc/9037/task/9044/stat : 9044 (java) S 9035 9037 8979 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 164995366 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9045] ppid=9035 vsize=911616 CPUtime=0
/proc/9037/task/9045/stat : 9045 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 164995366 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9046] ppid=9035 vsize=911616 CPUtime=1.17
/proc/9037/task/9046/stat : 9046 (java) S 9035 9037 8979 0 -1 64 2921 0 0 0 116 1 0 0 16 0 12 0 164995366 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9047] ppid=9035 vsize=911616 CPUtime=1.5
/proc/9037/task/9047/stat : 9047 (java) S 9035 9037 8979 0 -1 64 3020 0 0 0 149 1 0 0 16 0 12 0 164995366 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9037/tid=9048] ppid=9035 vsize=911616 CPUtime=0
/proc/9037/task/9048/stat : 9048 (java) S 9035 9037 8979 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 164995366 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9037/tid=9049] ppid=9035 vsize=911616 CPUtime=0
/proc/9037/task/9049/stat : 9049 (java) S 9035 9037 8979 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 164995366 933494784 186210 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 911616
Child status: 1
Real time (s): 160.578
CPU time (s): 160.243
CPU user time (s): 159.099
CPU system time (s): 1.14383
CPU usage (%): 99.791
Max. virtual memory (cumulated for all children) (KiB): 914260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.099
system time used= 1.14383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199802
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= 5984
involuntary context switches= 7181
runsolver used 0.185971 s user time and 0.535918 s system time
The end
Begin job on node55 on Sun Jan 7 10:32:51 UTC 2007
IDJOB= 204479
IDBENCH= 4024
FILE ID= node55/204479-1168165968
PBS_JOBID= 3478653
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp16-20/fapp20/fapp20-0420-0.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/204479-1168165968/sat4jCSP-bf3-cached.jar /tmp/evaluation/204479-1168165968/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-204479-1168165968 -o ROOT/results/node55/solver-204479-1168165968 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/204479-1168165968/sat4jCSP-bf3-cached.jar /tmp/evaluation/204479-1168165968/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 4b7643182b4f947bb629c532bdc53e32
RANDOM SEED= 228256786
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1610224 kB
Buffers: 25612 kB
Cached: 316428 kB
SwapCached: 0 kB
Active: 123140 kB
Inactive: 266888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1610224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3272 kB
Writeback: 0 kB
Mapped: 58944 kB
Slab: 41104 kB
Committed_AS: 3441160 kB
PageTables: 1796 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66552 MiB
End job on node55 on Sun Jan 7 10:35:32 UTC 2007