0.25 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.25 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.25 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.26 c version CSP COMPETITION BUGFIX 3 CACHED
0.26 c sun.arch.data.model 32
0.26 c java.version 1.5.0_10
0.26 c os.name Linux
0.26 c os.version 2.6.9-22.EL.rootsmp
0.26 c os.arch i386
0.26 c Free memory 722620888
0.26 c Max memory 723845120
0.26 c Total memory 723845120
0.26 c Number of processors 2
0.35 c --- Begin Solver configuration ---
0.35 c Stops conflict analysis at the first Unique Implication Point
0.35 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.35 c Learn all clauses as in MiniSAT
0.35 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.35 c VSIDS like heuristics from MiniSAT using a heap
0.35 c No reason simplification
0.35 c --- End Solver configuration ---
0.35 c solving /tmp/evaluation/217508-1168247639/unknown.xml
0.35 c reading problem ...
0.63 c reading problem named ?
0.63 c reading domains done.
0.63 c reading variables
c reading variables (35) done.
0.68 c reading relations
c reading relations (262) done.
1.64 c reading constraints
c reading constraints done.
1.90 c ... done. Wall clock time 1.541s.
1.90 c CPU time (experimental) 0.95s.
1.90 c #vars 595
1.90 c #constraints 342
17.11 c starts : 12
17.11 c conflicts : 24941
17.11 c decisions : 36894
17.11 c propagations : 1981489
17.11 c inspects : 58250391
17.11 c learnt literals : 5
17.11 c learnt binary clauses : 0
17.11 c learnt ternary clauses : 21
17.11 c learnt clauses : 24925
17.11 c root simplifications : 0
17.11 c removed literals (reason simplification) : 0
17.11 c reason swapping (by a shorter reason) : 0
17.11 c Calls to reduceDB : 0
17.11 c speed (decisions/second) : 2425.481559397804
17.11 c non guided choices 94
17.11 s SATISFIABLE
17.11 v 4 4 1 10 15 3 7 15 2 7 9 1 6 11 0 1 1 14 10 9 15 15 6 5 3 9 6 6 6 7 2 10 12 5 14
17.11 c Total wall clock time (in seconds) : 16.754
17.11 c Total CPU time (experimental, in seconds) : 15.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-217508-1168247639 -o ROOT/results/node26/solver-217508-1168247639 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/217508-1168247639/sat4jCSP-bf3-cached.jar /tmp/evaluation/217508-1168247639/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: 0.85 0.97 1.00 6/86 20608
/proc/meminfo: memFree=1849440/2055920 swapFree=4192812/4192956
[pid=20607] ppid=20605 vsize=172 CPUtime=0
/proc/20607/stat : 20607 (java) D 20605 20607 20503 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 173158303 176128 24 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 12591908 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/20607/statm: 43 24 18 14 0 3 0
[startup+0.104098 s]
/proc/loadavg: 0.85 0.97 1.00 6/86 20608
/proc/meminfo: memFree=1849440/2055920 swapFree=4192812/4192956
[pid=20607] ppid=20605 vsize=11992 CPUtime=0
/proc/20607/stat : 20607 (java) D 20605 20607 20503 0 -1 0 691 0 31 0 0 0 0 0 18 0 1 0 173158303 12279808 522 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152993488 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/20607/statm: 2998 522 377 14 0 1138 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11992
[startup+0.513097 s]
/proc/loadavg: 0.85 0.97 1.00 6/86 20608
/proc/meminfo: memFree=1849440/2055920 swapFree=4192812/4192956
[pid=20607] ppid=20605 vsize=905236 CPUtime=0.39
/proc/20607/stat : 20607 (java) R 20605 20607 20503 0 -1 0 5381 0 39 0 36 3 0 0 21 0 12 0 173158303 926961664 5014 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20607/statm: 226309 5014 2096 14 0 212746 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 905236
[startup+1.33418 s]
/proc/loadavg: 0.85 0.97 1.00 4/97 20619
/proc/meminfo: memFree=1825096/2055920 swapFree=4192812/4192956
[pid=20607] ppid=20605 vsize=906896 CPUtime=1.2
/proc/20607/stat : 20607 (java) R 20605 20607 20503 0 -1 0 8012 0 39 0 116 4 0 0 24 0 12 0 173158303 928661504 7174 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054224579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20607/statm: 226724 7174 2326 14 0 213161 0
[pid=20607/tid=20609] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20609/stat : 20609 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 173158316 928661504 7174 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20610] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20610/stat : 20610 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 173158316 928661504 7174 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20611] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20611/stat : 20611 (java) S 20605 20607 20503 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173158319 928661504 7174 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20612] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20612/stat : 20612 (java) S 20605 20607 20503 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 173158319 928661504 7174 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20613] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20613/stat : 20613 (java) S 20605 20607 20503 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 173158319 928661504 7175 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20614] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20614/stat : 20614 (java) S 20605 20607 20503 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 173158323 928661504 7175 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20615] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20615/stat : 20615 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 173158323 928661504 7175 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20616] ppid=20605 vsize=906896 CPUtime=0.3
/proc/20607/task/20616/stat : 20616 (java) S 20605 20607 20503 0 -1 64 1067 0 0 0 30 0 0 0 16 0 12 0 173158323 928661504 7175 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20617] ppid=20605 vsize=906896 CPUtime=0.32
/proc/20607/task/20617/stat : 20617 (java) S 20605 20607 20503 0 -1 64 752 0 0 0 32 0 0 0 16 0 12 0 173158323 928661504 7176 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20618] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20618/stat : 20618 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 173158323 928661504 7177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20619] ppid=20605 vsize=906896 CPUtime=0
/proc/20607/task/20619/stat : 20619 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 173158323 928661504 7178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 906896
[startup+2.97233 s]
/proc/loadavg: 0.86 0.97 1.00 3/95 20628
/proc/meminfo: memFree=1803544/2055920 swapFree=4192812/4192956
[pid=20607] ppid=20605 vsize=908436 CPUtime=3.22
/proc/20607/stat : 20607 (java) R 20605 20607 20503 0 -1 0 13145 0 39 0 315 7 0 0 20 0 13 0 173158303 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054117201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20607/statm: 227109 12256 2355 14 0 213546 0
[pid=20607/tid=20609] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20609/stat : 20609 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 173158316 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20610] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20610/stat : 20610 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 173158316 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20611] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20611/stat : 20611 (java) S 20605 20607 20503 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 173158319 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20612] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20612/stat : 20612 (java) S 20605 20607 20503 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 173158319 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20613] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20613/stat : 20613 (java) S 20605 20607 20503 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 173158319 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20614] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20614/stat : 20614 (java) S 20605 20607 20503 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 173158323 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20615] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20615/stat : 20615 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173158323 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20616] ppid=20605 vsize=908436 CPUtime=0.7
/proc/20607/task/20616/stat : 20616 (java) S 20605 20607 20503 0 -1 64 1102 0 0 0 70 0 0 0 16 0 13 0 173158323 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20617] ppid=20605 vsize=908436 CPUtime=0.68
/proc/20607/task/20617/stat : 20617 (java) S 20605 20607 20503 0 -1 64 896 0 0 0 68 0 0 0 15 0 13 0 173158323 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20618] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20618/stat : 20618 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 173158323 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20619] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20619/stat : 20619 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173158323 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20620] ppid=20605 vsize=908436 CPUtime=0
/proc/20607/task/20620/stat : 20620 (java) S 20605 20607 20503 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 173158493 930238464 12256 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 908436
[startup+6.17564 s]
/proc/loadavg: 0.86 0.97 1.00 2/93 20634
/proc/meminfo: memFree=1800040/2055920 swapFree=4192812/4192956
[pid=20607] ppid=20605 vsize=908084 CPUtime=6.44
/proc/20607/stat : 20607 (java) R 20605 20607 20503 0 -1 0 14240 0 39 0 634 10 0 0 25 0 13 0 173158303 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054346079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20607/statm: 227021 13268 2355 14 0 213458 0
[pid=20607/tid=20609] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20609/stat : 20609 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 173158316 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20610] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20610/stat : 20610 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 173158316 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20611] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20611/stat : 20611 (java) S 20605 20607 20503 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 173158319 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20612] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20612/stat : 20612 (java) S 20605 20607 20503 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 173158319 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20613] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20613/stat : 20613 (java) S 20605 20607 20503 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 173158319 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20614] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20614/stat : 20614 (java) S 20605 20607 20503 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 173158323 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20615] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20615/stat : 20615 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173158323 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20616] ppid=20605 vsize=908084 CPUtime=0.72
/proc/20607/task/20616/stat : 20616 (java) S 20605 20607 20503 0 -1 64 1104 0 0 0 72 0 0 0 16 0 13 0 173158323 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20617] ppid=20605 vsize=908084 CPUtime=0.72
/proc/20607/task/20617/stat : 20617 (java) S 20605 20607 20503 0 -1 64 899 0 0 0 72 0 0 0 16 0 13 0 173158323 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20618] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20618/stat : 20618 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 173158323 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20619] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20619/stat : 20619 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173158323 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20620] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20620/stat : 20620 (java) S 20605 20607 20503 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 173158493 929878016 13268 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 908084
[startup+12.6553 s]
/proc/loadavg: 0.96 0.98 1.00 2/93 20857
/proc/meminfo: memFree=1786728/2055920 swapFree=4192812/4192956
[pid=20607] ppid=20605 vsize=908084 CPUtime=12.89
/proc/20607/stat : 20607 (java) R 20605 20607 20503 0 -1 0 15464 0 39 0 1275 14 0 0 25 0 13 0 173158303 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054384741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20607/statm: 227021 14491 2355 14 0 213458 0
[pid=20607/tid=20609] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20609/stat : 20609 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 18 0 13 0 173158316 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20610] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20610/stat : 20610 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 173158316 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20611] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20611/stat : 20611 (java) S 20605 20607 20503 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 173158319 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20612] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20612/stat : 20612 (java) S 20605 20607 20503 0 -1 64 8 0 0 0 0 0 0 0 21 0 13 0 173158319 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20613] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20613/stat : 20613 (java) S 20605 20607 20503 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 173158319 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20614] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20614/stat : 20614 (java) S 20605 20607 20503 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 173158323 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20615] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20615/stat : 20615 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173158323 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20607/tid=20616] ppid=20605 vsize=908084 CPUtime=0.72
/proc/20607/task/20616/stat : 20616 (java) S 20605 20607 20503 0 -1 64 1104 0 0 0 72 0 0 0 17 0 13 0 173158323 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20617] ppid=20605 vsize=908084 CPUtime=0.72
/proc/20607/task/20617/stat : 20617 (java) S 20605 20607 20503 0 -1 64 899 0 0 0 72 0 0 0 17 0 13 0 173158323 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20618] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20618/stat : 20618 (java) S 20605 20607 20503 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 173158323 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20619] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20619/stat : 20619 (java) S 20605 20607 20503 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 173158323 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20607/tid=20620] ppid=20605 vsize=908084 CPUtime=0
/proc/20607/task/20620/stat : 20620 (java) S 20605 20607 20503 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 173158493 929878016 14491 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 908084
Child status: 0
Real time (s): 17.1779
CPU time (s): 17.3444
CPU user time (s): 17.1744
CPU system time (s): 0.169974
CPU usage (%): 100.969
Max. virtual memory (cumulated for all children) (KiB): 908436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1744
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16122
page faults= 39
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 893
involuntary context switches= 1293
runsolver used 0.025996 s user time and 0.06199 s system time
The end
Begin job on node26 on Mon Jan 8 09:14:00 UTC 2007
IDJOB= 217508
IDBENCH= 5142
FILE ID= node26/217508-1168247639
PBS_JOBID= 3481879
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb35-17/frb35-17-1-mgd_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/217508-1168247639/sat4jCSP-bf3-cached.jar /tmp/evaluation/217508-1168247639/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-217508-1168247639 -o ROOT/results/node26/solver-217508-1168247639 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/217508-1168247639/sat4jCSP-bf3-cached.jar /tmp/evaluation/217508-1168247639/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 492631e4b814e8a3f91560b99119b1ef
RANDOM SEED= 15323004
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.236
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 : 5914.62
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.236
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: 1850048 kB
Buffers: 26272 kB
Cached: 59816 kB
SwapCached: 0 kB
Active: 106164 kB
Inactive: 44784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3068 kB
Writeback: 0 kB
Mapped: 84676 kB
Slab: 39820 kB
Committed_AS: 3422156 kB
PageTables: 2220 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= 66540 MiB
End job on node26 on Mon Jan 8 09:14:18 UTC 2007