0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.14 c version CSP COMPETITION BUGFIX 3 CACHED
0.14 c sun.arch.data.model 32
0.14 c java.version 1.5.0_10
0.14 c os.name Linux
0.14 c os.version 2.6.9-22.EL.rootsmp
0.14 c os.arch i386
0.14 c Free memory 722620888
0.14 c Max memory 723845120
0.14 c Total memory 723845120
0.14 c Number of processors 2
0.20 c --- Begin Solver configuration ---
0.20 c Stops conflict analysis at the first Unique Implication Point
0.20 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.20 c Learn all clauses as in MiniSAT
0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.20 c VSIDS like heuristics from MiniSAT using a heap
0.20 c No reason simplification
0.20 c --- End Solver configuration ---
0.20 c solving /tmp/evaluation/234789-1168333270/unknown.xml
0.20 c reading problem ...
0.37 c reading problem named ?
0.37 c reading domains done.
0.39 c reading variables
c reading variables (25) done.
0.52 c reading predicates
c reading relations (2) done.
0.72 c reading constraints
c reading constraints done.
23.73 c ... done. Wall clock time 23.524s.
23.73 c CPU time (experimental) 20.72s.
23.73 c #vars 6349
23.73 c #constraints 50842
97.51 c starts : 13
97.51 c conflicts : 30515
97.51 c decisions : 86392
97.51 c propagations : 5370161
97.51 c inspects : 96053212
97.51 c learnt literals : 1
97.51 c learnt binary clauses : 0
97.51 c learnt ternary clauses : 0
97.51 c learnt clauses : 30514
97.51 c root simplifications : 0
97.51 c removed literals (reason simplification) : 0
97.51 c reason swapping (by a shorter reason) : 0
97.51 c Calls to reduceDB : 0
97.51 c speed (decisions/second) : 1171.0517397964024
97.51 c non guided choices 700
97.51 s SATISFIABLE
97.52 v 117 0 221 267 66 0 117 81 195 266 0 304 81 134 229 84 1 231 190 130 134 229 97 217 1
97.52 c Total wall clock time (in seconds) : 97.31
97.52 c Total CPU time (experimental, in seconds) : 93.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-234789-1168333270 -o ROOT/results/node43/solver-234789-1168333270 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/234789-1168333270/sat4jCSP-bf3-cached.jar /tmp/evaluation/234789-1168333270/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.26 1.48 1.30 4/71 28466
/proc/meminfo: memFree=1881968/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=172 CPUtime=0
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 181726226 176128 24 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4731179 0 0 4096 0 0 0 0 17 1 0 0
/proc/28465/statm: 43 24 18 14 0 3 0
[startup+0.106545 s]
/proc/loadavg: 1.26 1.48 1.30 4/71 28466
/proc/meminfo: memFree=1881968/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=902816 CPUtime=0.09
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 3445 0 1 0 8 1 0 0 24 0 12 0 181726226 924483584 3205 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155213623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 225704 3206 1599 14 0 212148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 902816
[startup+0.518613 s]
/proc/loadavg: 1.26 1.48 1.30 4/71 28466
/proc/meminfo: memFree=1881968/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=908136 CPUtime=0.75
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 7297 0 1 0 72 3 0 0 18 0 12 0 181726226 929931264 6414 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 227034 6414 2302 14 0 213471 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 908136
[startup+1.34075 s]
/proc/loadavg: 1.32 1.49 1.30 2/82 28477
/proc/meminfo: memFree=1848920/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=908912 CPUtime=1.91
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 14335 0 1 0 184 7 0 0 19 0 12 0 181726226 930725888 13002 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053836006 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 227228 13002 2470 14 0 213665 0
[pid=28465/tid=28467] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28467/stat : 28467 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 181726229 930725888 13003 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28468] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28468/stat : 28468 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 181726229 930725888 13003 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28469] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28469/stat : 28469 (java) S 28463 28465 27942 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 181726231 930725888 13004 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28470] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28470/stat : 28470 (java) S 28463 28465 27942 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 181726232 930725888 13004 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28471] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28471/stat : 28471 (java) S 28463 28465 27942 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 181726232 930725888 13004 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28472] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28472/stat : 28472 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 181726235 930725888 13005 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28473] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28473/stat : 28473 (java) S 28463 28465 27942 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181726235 930725888 13005 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28474] ppid=28463 vsize=908912 CPUtime=0.43
/proc/28465/task/28474/stat : 28474 (java) R 28463 28465 27942 0 -1 64 1157 0 0 0 43 0 0 0 17 0 12 0 181726235 930725888 13005 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154614211 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28475] ppid=28463 vsize=908912 CPUtime=0.42
/proc/28465/task/28475/stat : 28475 (java) S 28463 28465 27942 0 -1 64 1336 0 0 0 42 0 0 0 16 0 12 0 181726235 930725888 13006 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28476] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28476/stat : 28476 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 181726235 930725888 13006 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28477] ppid=28463 vsize=908912 CPUtime=0
/proc/28465/task/28477/stat : 28477 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 181726235 930725888 13007 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 908912
[startup+2.98101 s]
/proc/loadavg: 1.32 1.49 1.30 2/82 28479
/proc/meminfo: memFree=1784664/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=910200 CPUtime=3.71
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 30087 0 1 0 357 14 0 0 20 0 12 0 181726226 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054344169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 227550 28506 2478 14 0 213987 0
[pid=28465/tid=28467] ppid=28463 vsize=910200 CPUtime=0.12
/proc/28465/task/28467/stat : 28467 (java) S 28463 28465 27942 0 -1 64 3899 0 0 0 11 1 0 0 16 0 12 0 181726229 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28468] ppid=28463 vsize=910200 CPUtime=0.12
/proc/28465/task/28468/stat : 28468 (java) S 28463 28465 27942 0 -1 64 3507 0 0 0 11 1 0 0 16 0 12 0 181726229 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28469] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28469/stat : 28469 (java) S 28463 28465 27942 0 -1 64 16 0 0 0 0 0 0 0 16 0 12 0 181726231 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28470] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28470/stat : 28470 (java) S 28463 28465 27942 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181726232 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28471] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28471/stat : 28471 (java) S 28463 28465 27942 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181726232 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28472] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28472/stat : 28472 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 181726235 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28473] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28473/stat : 28473 (java) S 28463 28465 27942 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181726235 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28474] ppid=28463 vsize=910200 CPUtime=0.46
/proc/28465/task/28474/stat : 28474 (java) S 28463 28465 27942 0 -1 64 1160 0 0 0 46 0 0 0 15 0 12 0 181726235 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28475] ppid=28463 vsize=910200 CPUtime=0.44
/proc/28465/task/28475/stat : 28475 (java) S 28463 28465 27942 0 -1 64 1342 0 0 0 44 0 0 0 16 0 12 0 181726235 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28476] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28476/stat : 28476 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 181726235 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28477] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28477/stat : 28477 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 181726235 932044800 28506 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 910200
[startup+6.18555 s]
/proc/loadavg: 1.32 1.49 1.30 2/82 28487
/proc/meminfo: memFree=1750808/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=910200 CPUtime=7.34
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 40341 0 1 0 715 19 0 0 18 0 12 0 181726226 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054328628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 227550 36706 2479 14 0 213987 0
[pid=28465/tid=28467] ppid=28463 vsize=910200 CPUtime=0.47
/proc/28465/task/28467/stat : 28467 (java) S 28463 28465 27942 0 -1 64 8910 0 0 0 44 3 0 0 16 0 12 0 181726229 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28468] ppid=28463 vsize=910200 CPUtime=0.48
/proc/28465/task/28468/stat : 28468 (java) S 28463 28465 27942 0 -1 64 8733 0 0 0 44 4 0 0 16 0 12 0 181726229 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28469] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28469/stat : 28469 (java) S 28463 28465 27942 0 -1 64 16 0 0 0 0 0 0 0 16 0 12 0 181726231 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28470] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28470/stat : 28470 (java) S 28463 28465 27942 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181726232 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28471] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28471/stat : 28471 (java) S 28463 28465 27942 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181726232 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28472] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28472/stat : 28472 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 181726235 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28473] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28473/stat : 28473 (java) S 28463 28465 27942 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181726235 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28474] ppid=28463 vsize=910200 CPUtime=0.56
/proc/28465/task/28474/stat : 28474 (java) S 28463 28465 27942 0 -1 64 1167 0 0 0 56 0 0 0 16 0 12 0 181726235 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28475] ppid=28463 vsize=910200 CPUtime=0.48
/proc/28465/task/28475/stat : 28475 (java) S 28463 28465 27942 0 -1 64 1345 0 0 0 48 0 0 0 17 0 12 0 181726235 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28476] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28476/stat : 28476 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 181726235 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28477] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28477/stat : 28477 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 181726235 932044800 36706 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 910200
[startup+12.6756 s]
/proc/loadavg: 1.27 1.48 1.30 2/82 28507
/proc/meminfo: memFree=1686616/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=910200 CPUtime=14.7
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 56744 0 1 0 1441 29 0 0 19 0 12 0 181726226 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054213767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 227550 52076 2479 14 0 213987 0
[pid=28465/tid=28467] ppid=28463 vsize=910200 CPUtime=1.33
/proc/28465/task/28467/stat : 28467 (java) S 28463 28465 27942 0 -1 64 18186 0 0 0 125 8 0 0 16 0 12 0 181726229 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28468] ppid=28463 vsize=910200 CPUtime=1.33
/proc/28465/task/28468/stat : 28468 (java) S 28463 28465 27942 0 -1 64 15839 0 0 0 125 8 0 0 16 0 12 0 181726229 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28469] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28469/stat : 28469 (java) S 28463 28465 27942 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 181726231 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28470] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28470/stat : 28470 (java) S 28463 28465 27942 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 181726232 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28471] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28471/stat : 28471 (java) S 28463 28465 27942 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 181726232 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28472] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28472/stat : 28472 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 181726235 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28473] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28473/stat : 28473 (java) S 28463 28465 27942 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 181726235 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28474] ppid=28463 vsize=910200 CPUtime=0.56
/proc/28465/task/28474/stat : 28474 (java) S 28463 28465 27942 0 -1 64 1167 0 0 0 56 0 0 0 17 0 12 0 181726235 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28475] ppid=28463 vsize=910200 CPUtime=0.51
/proc/28465/task/28475/stat : 28475 (java) S 28463 28465 27942 0 -1 64 1347 0 0 0 51 0 0 0 17 0 12 0 181726235 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28476] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28476/stat : 28476 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 181726235 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28477] ppid=28463 vsize=910200 CPUtime=0
/proc/28465/task/28477/stat : 28477 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 181726235 932044800 52076 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.7
Current children cumulated vsize (KiB) 910200
[startup+25.5628 s]
/proc/loadavg: 1.23 1.46 1.30 2/83 28530
/proc/meminfo: memFree=1578128/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=911892 CPUtime=29.29
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 84811 0 1 0 2883 46 0 0 25 0 13 0 181726226 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054473487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 227973 78101 2484 14 0 214410 0
[pid=28465/tid=28467] ppid=28463 vsize=911892 CPUtime=2.53
/proc/28465/task/28467/stat : 28467 (java) S 28463 28465 27942 0 -1 64 33291 0 0 0 237 16 0 0 16 0 13 0 181726229 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28468] ppid=28463 vsize=911892 CPUtime=2.53
/proc/28465/task/28468/stat : 28468 (java) S 28463 28465 27942 0 -1 64 27678 0 0 0 238 15 0 0 17 0 13 0 181726229 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28469] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28469/stat : 28469 (java) S 28463 28465 27942 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 181726231 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28470] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28470/stat : 28470 (java) S 28463 28465 27942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 181726232 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28471] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28471/stat : 28471 (java) S 28463 28465 27942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 181726232 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28472] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28472/stat : 28472 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 181726235 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28473] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28473/stat : 28473 (java) S 28463 28465 27942 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 181726235 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28474] ppid=28463 vsize=911892 CPUtime=0.91
/proc/28465/task/28474/stat : 28474 (java) S 28463 28465 27942 0 -1 64 1562 0 0 0 91 0 0 0 16 0 13 0 181726235 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28475] ppid=28463 vsize=911892 CPUtime=0.87
/proc/28465/task/28475/stat : 28475 (java) S 28463 28465 27942 0 -1 64 2030 0 0 0 87 0 0 0 16 0 13 0 181726235 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28476] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28476/stat : 28476 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 181726235 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28477] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28477/stat : 28477 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 181726235 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28530] ppid=28463 vsize=911892 CPUtime=0
/proc/28465/task/28530/stat : 28530 (java) S 28463 28465 27942 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 181728601 933777408 78101 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.29
Current children cumulated vsize (KiB) 911892
[startup+51.227 s]
/proc/loadavg: 1.15 1.42 1.29 2/83 28558
/proc/meminfo: memFree=1495832/2055920 swapFree=4192812/4192956
[pid=28465] ppid=28463 vsize=911592 CPUtime=55.19
/proc/28465/stat : 28465 (java) R 28463 28465 27942 0 -1 0 110491 0 1 0 5457 62 0 0 25 0 13 0 181726226 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054473422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28465/statm: 227898 98698 2485 14 0 214335 0
[pid=28465/tid=28467] ppid=28463 vsize=911592 CPUtime=2.71
/proc/28465/task/28467/stat : 28467 (java) S 28463 28465 27942 0 -1 64 46944 0 0 0 248 23 0 0 16 0 13 0 181726229 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28468] ppid=28463 vsize=911592 CPUtime=2.71
/proc/28465/task/28468/stat : 28468 (java) S 28463 28465 27942 0 -1 64 39689 0 0 0 250 21 0 0 17 0 13 0 181726229 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28469] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28469/stat : 28469 (java) S 28463 28465 27942 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 181726231 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28470] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28470/stat : 28470 (java) S 28463 28465 27942 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 181726232 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28471] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28471/stat : 28471 (java) S 28463 28465 27942 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 181726232 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28472] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28472/stat : 28472 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 181726235 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28473] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28473/stat : 28473 (java) S 28463 28465 27942 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 181726235 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28474] ppid=28463 vsize=911592 CPUtime=0.94
/proc/28465/task/28474/stat : 28474 (java) S 28463 28465 27942 0 -1 64 1564 0 0 0 94 0 0 0 16 0 13 0 181726235 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28475] ppid=28463 vsize=911592 CPUtime=0.93
/proc/28465/task/28475/stat : 28475 (java) S 28463 28465 27942 0 -1 64 2036 0 0 0 93 0 0 0 16 0 13 0 181726235 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28465/tid=28476] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28476/stat : 28476 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 181726235 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28477] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28477/stat : 28477 (java) S 28463 28465 27942 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 181726235 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28465/tid=28530] ppid=28463 vsize=911592 CPUtime=0
/proc/28465/task/28530/stat : 28530 (java) S 28463 28465 27942 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 181728601 933470208 98698 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 55.19
Current children cumulated vsize (KiB) 911592
Child status: 0
Real time (s): 97.6007
CPU time (s): 101.899
CPU user time (s): 100.985
CPU system time (s): 0.913861
CPU usage (%): 104.404
Max. virtual memory (cumulated for all children) (KiB): 912664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.985
system time used= 0.913861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141726
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= 3146
involuntary context switches= 2866
runsolver used 0.123981 s user time and 0.310952 s system time
The end
Begin job on node43 on Tue Jan 9 09:01:11 UTC 2007
IDJOB= 234789
IDBENCH= 6712
FILE ID= node43/234789-1168333270
PBS_JOBID= 3503324
Free space on /tmp= 66499 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-100-3.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/234789-1168333270/sat4jCSP-bf3-cached.jar /tmp/evaluation/234789-1168333270/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-234789-1168333270 -o ROOT/results/node43/solver-234789-1168333270 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/234789-1168333270/sat4jCSP-bf3-cached.jar /tmp/evaluation/234789-1168333270/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 762302597bb1453c6a57a834ad5bc6ef
RANDOM SEED= 78781087
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.278
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.278
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: 1882384 kB
Buffers: 7548 kB
Cached: 102884 kB
SwapCached: 0 kB
Active: 65276 kB
Inactive: 61208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2440 kB
Writeback: 0 kB
Mapped: 26652 kB
Slab: 32748 kB
Committed_AS: 4209352 kB
PageTables: 1616 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= 66499 MiB
End job on node43 on Tue Jan 9 09:02:49 UTC 2007