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
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.15 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/247326-1168391970/unknown.xml
0.20 c reading problem ...
0.38 c reading problem named ?
0.38 c reading domains done.
0.38 c reading variables
c reading variables (20) done.
0.40 c reading relations
c reading relations (5) done.
1.41 c reading constraintsc starts : 0
24.23 c conflicts : 0
24.23 c decisions : 0
24.23 c propagations : 0
24.23 c inspects : 0
24.23 c learnt literals : 0
24.23 c learnt binary clauses : 0
24.23 c learnt ternary clauses : 0
24.23 c learnt clauses : 0
24.23 c root simplifications : 0
24.23 c removed literals (reason simplification) : 0
24.23 c reason swapping (by a shorter reason) : 0
24.23 c Calls to reduceDB : 0
24.23 c speed (decisions/second) : 0.0
24.23 c non guided choices 0
24.23 s UNKNOWN
24.23 c Total wall clock time (in seconds) : 24.024
24.23 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/node13/watcher-247326-1168391970 -o ROOT/results/node13/solver-247326-1168391970 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/247326-1168391970/sat4jCSP-bf3.jar /tmp/evaluation/247326-1168391970/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.15 1.22 1.49 3/78 23717
/proc/meminfo: memFree=1876136/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=172 CPUtime=0
/proc/23716/stat : 23716 (java) R 23714 23716 22714 0 -1 0 201 0 0 0 0 0 0 0 20 0 1 0 187592027 176128 24 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 11878699 0 0 4096 0 0 0 0 17 1 0 0
/proc/23716/statm: 43 24 18 14 0 3 0
[startup+0.105716 s]
/proc/loadavg: 1.15 1.22 1.49 3/78 23717
/proc/meminfo: memFree=1876136/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=902816 CPUtime=0.09
/proc/23716/stat : 23716 (java) R 23714 23716 22714 0 -1 0 3437 0 1 0 7 2 0 0 24 0 12 0 187592027 924483584 3197 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152148610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23716/statm: 225704 3198 1595 14 0 212148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 902816
[startup+0.513776 s]
/proc/loadavg: 1.15 1.22 1.49 3/78 23717
/proc/meminfo: memFree=1876136/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=906136 CPUtime=0.72
/proc/23716/stat : 23716 (java) R 23714 23716 22714 0 -1 0 7119 0 1 0 67 5 0 0 17 0 12 0 187592027 927883264 6673 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054154497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23716/statm: 226534 6673 2307 14 0 212971 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 906136
[startup+1.33588 s]
/proc/loadavg: 1.15 1.22 1.49 2/89 23728
/proc/meminfo: memFree=1832400/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=906456 CPUtime=1.91
/proc/23716/stat : 23716 (java) R 23714 23716 22714 0 -1 0 20618 0 1 0 180 11 0 0 18 0 12 0 187592027 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054144922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23716/statm: 226614 20105 2328 14 0 213051 0
[pid=23716/tid=23718] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23718/stat : 23718 (java) S 23714 23716 22714 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 187592030 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23719] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23719/stat : 23719 (java) S 23714 23716 22714 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 187592030 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23720] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23720/stat : 23720 (java) S 23714 23716 22714 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 187592032 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23721] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23721/stat : 23721 (java) S 23714 23716 22714 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 187592033 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23722] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23722/stat : 23722 (java) S 23714 23716 22714 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 187592033 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23723] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23723/stat : 23723 (java) S 23714 23716 22714 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 187592036 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23724] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23724/stat : 23724 (java) S 23714 23716 22714 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 187592036 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23725] ppid=23714 vsize=906456 CPUtime=0.39
/proc/23716/task/23725/stat : 23725 (java) S 23714 23716 22714 0 -1 64 564 0 0 0 39 0 0 0 15 0 12 0 187592036 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23726] ppid=23714 vsize=906456 CPUtime=0.44
/proc/23716/task/23726/stat : 23726 (java) S 23714 23716 22714 0 -1 64 751 0 0 0 44 0 0 0 16 0 12 0 187592036 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23727] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23727/stat : 23727 (java) S 23714 23716 22714 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 187592036 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23728] ppid=23714 vsize=906456 CPUtime=0
/proc/23716/task/23728/stat : 23728 (java) S 23714 23716 22714 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187592036 928210944 20105 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 906456
[startup+2.98991 s]
/proc/loadavg: 1.15 1.22 1.49 4/89 23728
/proc/meminfo: memFree=1775504/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=908064 CPUtime=3.89
/proc/23716/stat : 23716 (java) R 23714 23716 22714 0 -1 0 31402 0 1 0 373 16 0 0 21 0 12 0 187592027 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054355216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23716/statm: 227016 30501 2338 14 0 213453 0
[pid=23716/tid=23718] ppid=23714 vsize=908064 CPUtime=0.2
/proc/23716/task/23718/stat : 23718 (java) S 23714 23716 22714 0 -1 64 7162 0 0 0 18 2 0 0 18 0 12 0 187592030 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23719] ppid=23714 vsize=908064 CPUtime=0.19
/proc/23716/task/23719/stat : 23719 (java) S 23714 23716 22714 0 -1 64 3217 0 0 0 18 1 0 0 18 0 12 0 187592030 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23720] ppid=23714 vsize=908064 CPUtime=0
/proc/23716/task/23720/stat : 23720 (java) S 23714 23716 22714 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 187592032 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23721] ppid=23714 vsize=908064 CPUtime=0
/proc/23716/task/23721/stat : 23721 (java) S 23714 23716 22714 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187592033 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23722] ppid=23714 vsize=908064 CPUtime=0
/proc/23716/task/23722/stat : 23722 (java) S 23714 23716 22714 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187592033 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23723] ppid=23714 vsize=908064 CPUtime=0
/proc/23716/task/23723/stat : 23723 (java) S 23714 23716 22714 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 187592036 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23724] ppid=23714 vsize=908064 CPUtime=0
/proc/23716/task/23724/stat : 23724 (java) S 23714 23716 22714 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 187592036 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23725] ppid=23714 vsize=908064 CPUtime=0.5
/proc/23716/task/23725/stat : 23725 (java) S 23714 23716 22714 0 -1 64 574 0 0 0 50 0 0 0 16 0 12 0 187592036 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23726] ppid=23714 vsize=908064 CPUtime=0.52
/proc/23716/task/23726/stat : 23726 (java) S 23714 23716 22714 0 -1 64 762 0 0 0 52 0 0 0 16 0 12 0 187592036 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23727] ppid=23714 vsize=908064 CPUtime=0
/proc/23716/task/23727/stat : 23727 (java) S 23714 23716 22714 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 187592036 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23728] ppid=23714 vsize=908064 CPUtime=0
/proc/23716/task/23728/stat : 23728 (java) S 23714 23716 22714 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187592036 929857536 30501 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 908064
[startup+6.19253 s]
/proc/loadavg: 1.14 1.21 1.49 2/89 23728
/proc/meminfo: memFree=1644624/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=911284 CPUtime=8.34
/proc/23716/stat : 23716 (java) S 23714 23716 22714 0 -1 0 74299 0 1 0 794 40 0 0 19 0 12 0 187592027 933154816 71319 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23716/statm: 227821 71324 2338 14 0 214258 0
[pid=23716/tid=23718] ppid=23714 vsize=911284 CPUtime=1.48
/proc/23716/task/23718/stat : 23718 (java) R 23714 23716 22714 0 -1 64 30061 0 0 0 132 16 0 0 18 0 12 0 187592030 933154816 71326 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958734 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23719] ppid=23714 vsize=911284 CPUtime=1.46
/proc/23716/task/23719/stat : 23719 (java) R 23714 23716 22714 0 -1 64 23218 0 0 0 135 11 0 0 19 0 12 0 187592030 933154816 71329 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155242719 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23720] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23720/stat : 23720 (java) S 23714 23716 22714 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 187592032 933154816 71332 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23721] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23721/stat : 23721 (java) S 23714 23716 22714 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187592033 933154816 71335 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23722] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23722/stat : 23722 (java) S 23714 23716 22714 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187592033 933154816 71338 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23723] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23723/stat : 23723 (java) S 23714 23716 22714 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 187592036 933154816 71341 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23724] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23724/stat : 23724 (java) S 23714 23716 22714 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 187592036 933154816 71344 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23725] ppid=23714 vsize=911284 CPUtime=0.5
/proc/23716/task/23725/stat : 23725 (java) S 23714 23716 22714 0 -1 64 574 0 0 0 50 0 0 0 16 0 12 0 187592036 933154816 71347 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23726] ppid=23714 vsize=911284 CPUtime=0.52
/proc/23716/task/23726/stat : 23726 (java) S 23714 23716 22714 0 -1 64 762 0 0 0 52 0 0 0 16 0 12 0 187592036 933154816 71350 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23727] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23727/stat : 23727 (java) S 23714 23716 22714 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 187592036 933154816 71353 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23728] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23728/stat : 23728 (java) S 23714 23716 22714 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187592036 933154816 71355 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 911284
[startup+12.5944 s]
/proc/loadavg: 1.13 1.21 1.48 3/89 23728
/proc/meminfo: memFree=1371792/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=911284 CPUtime=17.49
/proc/23716/stat : 23716 (java) R 23714 23716 22714 0 -1 0 135694 0 1 0 1681 68 0 0 15 0 12 0 187592027 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054165597 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23716/statm: 227821 129911 2338 14 0 214258 0
[pid=23716/tid=23718] ppid=23714 vsize=911284 CPUtime=4.27
/proc/23716/task/23718/stat : 23718 (java) S 23714 23716 22714 0 -1 64 50973 0 0 0 399 28 0 0 16 0 12 0 187592030 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23719] ppid=23714 vsize=911284 CPUtime=4.46
/proc/23716/task/23719/stat : 23719 (java) S 23714 23716 22714 0 -1 64 45251 0 0 0 426 20 0 0 16 0 12 0 187592030 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23720] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23720/stat : 23720 (java) S 23714 23716 22714 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 187592032 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23721] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23721/stat : 23721 (java) S 23714 23716 22714 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187592033 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23722] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23722/stat : 23722 (java) S 23714 23716 22714 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187592033 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23723] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23723/stat : 23723 (java) S 23714 23716 22714 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 187592036 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23724] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23724/stat : 23724 (java) S 23714 23716 22714 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 187592036 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23725] ppid=23714 vsize=911284 CPUtime=0.5
/proc/23716/task/23725/stat : 23725 (java) S 23714 23716 22714 0 -1 64 574 0 0 0 50 0 0 0 16 0 12 0 187592036 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23726] ppid=23714 vsize=911284 CPUtime=0.52
/proc/23716/task/23726/stat : 23726 (java) S 23714 23716 22714 0 -1 64 762 0 0 0 52 0 0 0 16 0 12 0 187592036 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23727] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23727/stat : 23727 (java) S 23714 23716 22714 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 187592036 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23728] ppid=23714 vsize=911284 CPUtime=0
/proc/23716/task/23728/stat : 23728 (java) S 23714 23716 22714 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187592036 933154816 129911 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 911284
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+22.3837 s]
/proc/loadavg: 1.18 1.22 1.48 2/89 23728
/proc/meminfo: memFree=1159184/2055920 swapFree=4191880/4192956
[pid=23716] ppid=23714 vsize=927288 CPUtime=31.61
/proc/23716/stat : 23716 (java) S 23714 23716 22714 0 -1 0 193870 0 1 0 3062 99 0 0 18 0 12 0 187592027 949542912 181175 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23716/statm: 231822 181175 2338 14 0 218259 0
[pid=23716/tid=23718] ppid=23714 vsize=927288 CPUtime=9.39
/proc/23716/task/23718/stat : 23718 (java) S 23714 23716 22714 0 -1 64 81835 0 0 0 895 44 0 0 18 0 12 0 187592030 949542912 181177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23719] ppid=23714 vsize=927288 CPUtime=9.21
/proc/23716/task/23719/stat : 23719 (java) S 23714 23716 22714 0 -1 64 65961 0 0 0 888 33 0 0 16 0 12 0 187592030 949542912 181177 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23720] ppid=23714 vsize=927288 CPUtime=0.23
/proc/23716/task/23720/stat : 23720 (java) R 23714 23716 22714 0 -1 64 6611 0 0 0 21 2 0 0 17 0 12 0 187592032 949542912 181178 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454247 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23721] ppid=23714 vsize=927288 CPUtime=0
/proc/23716/task/23721/stat : 23721 (java) S 23714 23716 22714 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187592033 949542912 181179 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23722] ppid=23714 vsize=927288 CPUtime=0
/proc/23716/task/23722/stat : 23722 (java) S 23714 23716 22714 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187592033 949542912 181179 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23723] ppid=23714 vsize=927288 CPUtime=0
/proc/23716/task/23723/stat : 23723 (java) S 23714 23716 22714 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 187592036 949542912 181180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23724] ppid=23714 vsize=927288 CPUtime=0
/proc/23716/task/23724/stat : 23724 (java) S 23714 23716 22714 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 187592036 949542912 181180 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23725] ppid=23714 vsize=927288 CPUtime=0.5
/proc/23716/task/23725/stat : 23725 (java) S 23714 23716 22714 0 -1 64 574 0 0 0 50 0 0 0 16 0 12 0 187592036 949542912 181181 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23726] ppid=23714 vsize=927288 CPUtime=0.52
/proc/23716/task/23726/stat : 23726 (java) S 23714 23716 22714 0 -1 64 762 0 0 0 52 0 0 0 16 0 12 0 187592036 949542912 181182 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23716/tid=23727] ppid=23714 vsize=927288 CPUtime=0
/proc/23716/task/23727/stat : 23727 (java) S 23714 23716 22714 0 -1 64 2 0 0 0 0 0 0 0 24 0 12 0 187592036 949542912 181183 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23716/tid=23728] ppid=23714 vsize=927288 CPUtime=0
/proc/23716/task/23728/stat : 23728 (java) S 23714 23716 22714 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187592036 949542912 181183 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.61
Current children cumulated vsize (KiB) 927288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 24.3747
CPU time (s): 33.6099
CPU user time (s): 32.4781
CPU system time (s): 1.13183
CPU usage (%): 137.889
Max. virtual memory (cumulated for all children) (KiB): 959292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.4781
system time used= 1.13183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200628
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= 1578
involuntary context switches= 1049
runsolver used 0.032994 s user time and 0.086986 s system time
The end
Begin job on node13 on Wed Jan 10 01:19:30 UTC 2007
IDJOB= 247326
IDBENCH= 11097
FILE ID= node13/247326-1168391970
PBS_JOBID= 3522742
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-3_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/247326-1168391970/sat4jCSP-bf3.jar /tmp/evaluation/247326-1168391970/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-247326-1168391970 -o ROOT/results/node13/solver-247326-1168391970 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/247326-1168391970/sat4jCSP-bf3.jar /tmp/evaluation/247326-1168391970/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 9878667f61c3b4080ef79f2b3273178f
RANDOM SEED= 490355522
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.247
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.247
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: 1876616 kB
Buffers: 15432 kB
Cached: 64264 kB
SwapCached: 0 kB
Active: 89856 kB
Inactive: 33964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1876616 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3516 kB
Writeback: 0 kB
Mapped: 61964 kB
Slab: 40824 kB
Committed_AS: 5446492 kB
PageTables: 2000 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= 66553 MiB
End job on node13 on Wed Jan 10 01:19:55 UTC 2007