0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16 c version CSP COMPETITION BUGFIX 3 CACHED
0.16 c sun.arch.data.model 32
0.16 c java.version 1.5.0_10
0.16 c os.name Linux
0.16 c os.version 2.6.9-22.EL.rootsmp
0.16 c os.arch i386
0.16 c Free memory 722620888
0.16 c Max memory 723845120
0.16 c Total memory 723845120
0.16 c Number of processors 2
0.25 c --- Begin Solver configuration ---
0.25 c Stops conflict analysis at the first Unique Implication Point
0.25 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.25 c Learn all clauses as in MiniSAT
0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.25 c VSIDS like heuristics from MiniSAT using a heap
0.25 c No reason simplification
0.25 c --- End Solver configuration ---
0.25 c solving /tmp/evaluation/249758-1168406098/unknown.xml
0.25 c reading problem ...
0.47 c reading problem named ?
0.47 c reading domains done.
0.47 c reading variables
c reading variables (100) done.
0.74 c reading predicates
c reading relations (21) done.
1.18 c reading constraintsc starts : 0
47.75 c conflicts : 0
47.75 c decisions : 0
47.75 c propagations : 0
47.75 c inspects : 0
47.75 c learnt literals : 0
47.75 c learnt binary clauses : 0
47.75 c learnt ternary clauses : 0
47.75 c learnt clauses : 0
47.75 c root simplifications : 0
47.75 c removed literals (reason simplification) : 0
47.75 c reason swapping (by a shorter reason) : 0
47.75 c Calls to reduceDB : 0
47.75 c speed (decisions/second) : 0.0
47.75 c non guided choices 0
47.75 s UNKNOWN
47.75 c Total wall clock time (in seconds) : 47.496
47.75 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/node20/watcher-249758-1168406098 -o ROOT/results/node20/solver-249758-1168406098 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/249758-1168406098/sat4jCSP-bf3-cached.jar /tmp/evaluation/249758-1168406098/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.61 1.42 1.70 4/97 17227
/proc/meminfo: memFree=970416/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=18540 CPUtime=0
/proc/17226/stat : 17226 (runsolver) R 17224 17226 16537 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 189004322 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/17226/statm: 4635 279 244 17 0 2626 0
[startup+0.103439 s]
/proc/loadavg: 1.61 1.42 1.70 4/97 17227
/proc/meminfo: memFree=970416/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=901540 CPUtime=0.08
/proc/17226/stat : 17226 (java) R 17224 17226 16537 0 -1 0 3317 0 1 0 7 1 0 0 22 0 12 0 189004322 923176960 3077 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155509168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17226/statm: 225385 3077 1559 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540
[startup+0.511485 s]
/proc/loadavg: 1.61 1.42 1.70 4/97 17227
/proc/meminfo: memFree=970416/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=906260 CPUtime=0.54
/proc/17226/stat : 17226 (java) R 17224 17226 16537 0 -1 0 6045 0 1 0 51 3 0 0 18 0 12 0 189004322 928010240 5604 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053845720 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 226565 5604 2292 14 0 213002 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 906260
[startup+1.33259 s]
/proc/loadavg: 1.88 1.48 1.72 3/108 17238
/proc/meminfo: memFree=944408/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=906260 CPUtime=1.31
/proc/17226/stat : 17226 (java) R 17224 17226 16537 0 -1 0 8151 0 1 0 127 4 0 0 21 0 12 0 189004322 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 226565 7456 2470 14 0 213002 0
[pid=17226/tid=17228] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 189004325 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17229] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 189004325 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16537 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 189004328 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17231] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16537 0 -1 64 7 0 0 0 0 0 0 0 21 0 12 0 189004328 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16537 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 189004328 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17233] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16537 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 189004332 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189004332 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17235] ppid=17224 vsize=906260 CPUtime=0.21
/proc/17226/task/17235/stat : 17235 (java) S 17224 17226 16537 0 -1 64 297 0 0 0 21 0 0 0 16 0 12 0 189004332 928010240 7456 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17236] ppid=17224 vsize=906260 CPUtime=0.31
/proc/17226/task/17236/stat : 17236 (java) R 17224 17226 16537 0 -1 64 760 0 0 0 31 0 0 0 16 0 12 0 189004332 928010240 7458 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151332414 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17237] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17237/stat : 17237 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189004332 928010240 7458 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17238] ppid=17224 vsize=906260 CPUtime=0
/proc/17226/task/17238/stat : 17238 (java) S 17224 17226 16537 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 189004332 928010240 7458 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 906260
[startup+2.99079 s]
/proc/loadavg: 1.88 1.48 1.72 3/108 17238
/proc/meminfo: memFree=875928/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=909732 CPUtime=2.96
/proc/17226/stat : 17226 (java) R 17224 17226 16537 0 -1 0 28997 0 1 0 283 13 0 0 25 0 12 0 189004322 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054215559 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 227433 27198 2485 14 0 213870 0
[pid=17226/tid=17228] ppid=17224 vsize=909732 CPUtime=0.05
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16537 0 -1 64 2038 0 0 0 5 0 0 0 16 0 12 0 189004325 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=909732 CPUtime=0.08
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16537 0 -1 64 3869 0 0 0 7 1 0 0 16 0 12 0 189004325 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17230] ppid=17224 vsize=909732 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16537 0 -1 64 16 0 0 0 0 0 0 0 16 0 12 0 189004328 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17231] ppid=17224 vsize=909732 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16537 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 189004328 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17232] ppid=17224 vsize=909732 CPUtime=0
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16537 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 189004328 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=909732 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16537 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 189004332 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=909732 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189004332 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17235] ppid=17224 vsize=909732 CPUtime=0.58
/proc/17226/task/17235/stat : 17235 (java) S 17224 17226 16537 0 -1 64 1974 0 0 0 58 0 0 0 16 0 12 0 189004332 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17236] ppid=17224 vsize=909732 CPUtime=0.34
/proc/17226/task/17236/stat : 17236 (java) S 17224 17226 16537 0 -1 64 764 0 0 0 34 0 0 0 17 0 12 0 189004332 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17237] ppid=17224 vsize=909732 CPUtime=0
/proc/17226/task/17237/stat : 17237 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189004332 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17238] ppid=17224 vsize=909732 CPUtime=0
/proc/17226/task/17238/stat : 17238 (java) S 17224 17226 16537 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 189004332 931565568 27198 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 909732
[startup+6.19816 s]
/proc/loadavg: 1.89 1.49 1.72 3/108 17238
/proc/meminfo: memFree=784856/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=912196 CPUtime=5.9
/proc/17226/stat : 17226 (java) R 17224 17226 16537 0 -1 0 41073 0 1 0 571 19 0 0 25 0 12 0 189004322 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 228049 38136 2485 14 0 214486 0
[pid=17226/tid=17228] ppid=17224 vsize=912196 CPUtime=0.41
/proc/17226/task/17228/stat : 17228 (java) R 17224 17226 16537 0 -1 64 8504 0 0 0 38 3 0 0 16 0 12 0 189004325 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958732 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=912196 CPUtime=0.47
/proc/17226/task/17229/stat : 17229 (java) R 17224 17226 16537 0 -1 64 9470 0 0 0 43 4 0 0 15 0 12 0 189004325 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17230] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16537 0 -1 64 16 0 0 0 0 0 0 0 16 0 12 0 189004328 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17231] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16537 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 189004328 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17232] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16537 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 189004328 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16537 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 189004332 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189004332 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17235] ppid=17224 vsize=912196 CPUtime=0.58
/proc/17226/task/17235/stat : 17235 (java) S 17224 17226 16537 0 -1 64 1974 0 0 0 58 0 0 0 16 0 12 0 189004332 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17236] ppid=17224 vsize=912196 CPUtime=0.35
/proc/17226/task/17236/stat : 17236 (java) S 17224 17226 16537 0 -1 64 764 0 0 0 35 0 0 0 17 0 12 0 189004332 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17237] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17237/stat : 17237 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189004332 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17238] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17238/stat : 17238 (java) S 17224 17226 16537 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 189004332 934088704 38136 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 912196
[startup+12.688 s]
/proc/loadavg: 1.90 1.50 1.72 3/108 17238
/proc/meminfo: memFree=569624/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=912196 CPUtime=12.13
/proc/17226/stat : 17226 (java) R 17224 17226 16537 0 -1 0 66309 0 1 0 1184 29 0 0 25 0 12 0 189004322 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054215655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 228049 62948 2485 14 0 214486 0
[pid=17226/tid=17228] ppid=17224 vsize=912196 CPUtime=0.81
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16537 0 -1 64 18746 0 0 0 75 6 0 0 16 0 12 0 189004325 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=912196 CPUtime=1.26
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16537 0 -1 64 24439 0 0 0 116 10 0 0 16 0 12 0 189004325 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17230] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16537 0 -1 64 20 0 0 0 0 0 0 0 16 0 12 0 189004328 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17231] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16537 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 189004328 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17232] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16537 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 189004328 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16537 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 189004332 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189004332 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17235] ppid=17224 vsize=912196 CPUtime=0.58
/proc/17226/task/17235/stat : 17235 (java) S 17224 17226 16537 0 -1 64 1975 0 0 0 58 0 0 0 16 0 12 0 189004332 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17236] ppid=17224 vsize=912196 CPUtime=0.35
/proc/17226/task/17236/stat : 17236 (java) S 17224 17226 16537 0 -1 64 764 0 0 0 35 0 0 0 17 0 12 0 189004332 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17237] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17237/stat : 17237 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189004332 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17238] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17238/stat : 17238 (java) S 17224 17226 16537 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 189004332 934088704 62948 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 912196
[startup+25.4885 s]
/proc/loadavg: 2.07 1.55 1.73 6/109 17239
/proc/meminfo: memFree=357264/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=912196 CPUtime=24.91
/proc/17226/stat : 17226 (java) S 17224 17226 16537 0 -1 0 111375 0 1 0 2439 52 0 0 25 0 12 0 189004322 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 228049 107803 2485 14 0 214486 0
[pid=17226/tid=17228] ppid=17224 vsize=912196 CPUtime=2.73
/proc/17226/task/17228/stat : 17228 (java) R 17224 17226 16537 0 -1 64 46621 0 0 0 252 21 0 0 16 0 12 0 189004325 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=912196 CPUtime=2.3
/proc/17226/task/17229/stat : 17229 (java) R 17224 17226 16537 0 -1 64 41604 0 0 0 213 17 0 0 16 0 12 0 189004325 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154957978 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=912196 CPUtime=0.01
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16537 0 -1 64 21 0 0 0 1 0 0 0 16 0 12 0 189004328 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17231] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16537 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 189004328 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17232] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16537 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 189004328 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16537 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 189004332 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189004332 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17235] ppid=17224 vsize=912196 CPUtime=0.58
/proc/17226/task/17235/stat : 17235 (java) S 17224 17226 16537 0 -1 64 1975 0 0 0 58 0 0 0 16 0 12 0 189004332 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17236] ppid=17224 vsize=912196 CPUtime=0.35
/proc/17226/task/17236/stat : 17236 (java) S 17224 17226 16537 0 -1 64 764 0 0 0 35 0 0 0 17 0 12 0 189004332 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17237] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17237/stat : 17237 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189004332 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17238] ppid=17224 vsize=912196 CPUtime=0
/proc/17226/task/17238/stat : 17238 (java) S 17224 17226 16537 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 189004332 934088704 107803 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 912196
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+46.514 s]
/proc/loadavg: 1.83 1.54 1.72 2/89 17828
/proc/meminfo: memFree=803340/2055920 swapFree=4170216/4192956
[pid=17226] ppid=17224 vsize=928200 CPUtime=50.97
/proc/17226/stat : 17226 (java) S 17224 17226 16537 0 -1 0 197854 0 1 0 4995 102 0 0 18 0 12 0 189004322 950476800 187930 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 232050 187930 2485 14 0 218487 0
[pid=17226/tid=17228] ppid=17224 vsize=928200 CPUtime=7.92
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16537 0 -1 64 88674 0 0 0 744 48 0 0 16 0 12 0 189004325 950476800 187932 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17229] ppid=17224 vsize=928200 CPUtime=7.59
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16537 0 -1 64 80105 0 0 0 724 35 0 0 16 0 12 0 189004325 950476800 187932 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=928200 CPUtime=0.24
/proc/17226/task/17230/stat : 17230 (java) R 17224 17226 16537 0 -1 64 5908 0 0 0 20 4 0 0 16 0 12 0 189004328 950476800 187933 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454247 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17231] ppid=17224 vsize=928200 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16537 0 -1 64 8 0 0 0 0 0 0 0 17 0 12 0 189004328 950476800 187934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17232] ppid=17224 vsize=928200 CPUtime=0
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16537 0 -1 64 5 0 0 0 0 0 0 0 17 0 12 0 189004328 950476800 187934 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=928200 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16537 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 189004332 950476800 187935 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=928200 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189004332 950476800 187936 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17235] ppid=17224 vsize=928200 CPUtime=0.58
/proc/17226/task/17235/stat : 17235 (java) S 17224 17226 16537 0 -1 64 1975 0 0 0 58 0 0 0 16 0 12 0 189004332 950476800 187936 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17236] ppid=17224 vsize=928200 CPUtime=0.35
/proc/17226/task/17236/stat : 17236 (java) S 17224 17226 16537 0 -1 64 764 0 0 0 35 0 0 0 17 0 12 0 189004332 950476800 187937 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17237] ppid=17224 vsize=928200 CPUtime=0
/proc/17226/task/17237/stat : 17237 (java) S 17224 17226 16537 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189004332 950476800 187938 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17238] ppid=17224 vsize=928200 CPUtime=0
/proc/17226/task/17238/stat : 17238 (java) S 17224 17226 16537 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 189004332 950476800 187938 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 928200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 47.9072
CPU time (s): 52.363
CPU user time (s): 51.2002
CPU system time (s): 1.16282
CPU usage (%): 109.301
Max. virtual memory (cumulated for all children) (KiB): 944200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.2002
system time used= 1.16282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205772
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= 2619
involuntary context switches= 3092
runsolver used 0.067989 s user time and 0.161975 s system time
The end
Begin job on node20 on Wed Jan 10 05:14:58 UTC 2007
IDJOB= 249758
IDBENCH= 11808
FILE ID= node20/249758-1168406098
PBS_JOBID= 3523358
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-20/primes-20-20-3-7.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/249758-1168406098/sat4jCSP-bf3-cached.jar /tmp/evaluation/249758-1168406098/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-249758-1168406098 -o ROOT/results/node20/solver-249758-1168406098 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/249758-1168406098/sat4jCSP-bf3-cached.jar /tmp/evaluation/249758-1168406098/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 9e475962d61e3c533ab1cf0c7d62aee1
RANDOM SEED= 872499937
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.216
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.216
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: 970896 kB
Buffers: 51772 kB
Cached: 375628 kB
SwapCached: 3584 kB
Active: 756904 kB
Inactive: 267768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 970896 kB
SwapTotal: 4192956 kB
SwapFree: 4170216 kB
Dirty: 2436 kB
Writeback: 0 kB
Mapped: 622296 kB
Slab: 43924 kB
Committed_AS: 4844424 kB
PageTables: 3552 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= 66562 MiB
End job on node20 on Wed Jan 10 05:15:46 UTC 2007