0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16 c version CSP COMPETITION BUGFIX 3
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.26 c --- Begin Solver configuration ---
0.26 c Stops conflict analysis at the first Unique Implication Point
0.26 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.26 c Learn all clauses as in MiniSAT
0.26 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.26 c VSIDS like heuristics from MiniSAT using a heap
0.26 c No reason simplification
0.26 c --- End Solver configuration ---
0.26 c solving /tmp/evaluation/247431-1168392475/unknown.xml
0.26 c reading problem ...
0.47 c reading problem named ?
0.47 c reading domains done.
0.48 c reading variables
c reading variables (20) done.
0.50 c reading relations
c reading relations (18) done.
13.94 c reading constraintsc starts : 0
33.19 c conflicts : 0
33.19 c decisions : 0
33.19 c propagations : 0
33.19 c inspects : 0
33.19 c learnt literals : 0
33.19 c learnt binary clauses : 0
33.19 c learnt ternary clauses : 0
33.19 c learnt clauses : 0
33.19 c root simplifications : 0
33.19 c removed literals (reason simplification) : 0
33.19 c reason swapping (by a shorter reason) : 0
33.19 c Calls to reduceDB : 0
33.19 c speed (decisions/second) : 0.0
33.19 c non guided choices 0
33.19 s UNKNOWN
33.19 c Total wall clock time (in seconds) : 32.936
33.19 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/node1/watcher-247431-1168392475 -o ROOT/results/node1/solver-247431-1168392475 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/247431-1168392475/sat4jCSP-bf3.jar /tmp/evaluation/247431-1168392475/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.91 1.37 1.13 4/94 23151
/proc/meminfo: memFree=1432472/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=18540 CPUtime=0
/proc/23150/stat : 23150 (runsolver) R 23148 23150 22946 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 187643273 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23150/statm: 4635 279 244 17 0 2626 0
[startup+0.10451 s]
/proc/loadavg: 1.91 1.37 1.13 4/94 23151
/proc/meminfo: memFree=1432472/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=901540 CPUtime=0.08
/proc/23150/stat : 23150 (java) R 23148 23150 22946 0 -1 0 3293 0 1 0 7 1 0 0 21 0 12 0 187643273 923176960 3053 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154880183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23150/statm: 225385 3053 1549 14 0 212109 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 901540
[startup+0.516558 s]
/proc/loadavg: 1.91 1.37 1.13 4/94 23151
/proc/meminfo: memFree=1432472/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=905908 CPUtime=0.55
/proc/23150/stat : 23150 (java) R 23148 23150 22946 0 -1 0 6164 0 1 0 53 2 0 0 17 0 12 0 187643273 927649792 5742 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23150/statm: 226477 5742 2301 14 0 212914 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 905908
[startup+1.34567 s]
/proc/loadavg: 1.91 1.37 1.13 3/105 23162
/proc/meminfo: memFree=1395584/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=905908 CPUtime=1.37
/proc/23150/stat : 23150 (java) R 23148 23150 22946 0 -1 0 12216 0 1 0 132 5 0 0 21 0 12 0 187643273 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053833888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23150/statm: 226477 11669 2314 14 0 212914 0
[pid=23150/tid=23152] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 187643276 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23153] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 187643276 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23154] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187643279 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23155] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22946 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 187643279 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23156] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22946 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 187643279 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23157] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 187643283 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23158] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22946 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 187643283 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23159] ppid=23148 vsize=905908 CPUtime=0.27
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22946 0 -1 64 353 0 0 0 27 0 0 0 16 0 12 0 187643283 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23160] ppid=23148 vsize=905908 CPUtime=0.29
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22946 0 -1 64 689 0 0 0 29 0 0 0 16 0 12 0 187643283 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23161] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 187643283 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23162] ppid=23148 vsize=905908 CPUtime=0
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187643283 927649792 11669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 905908
[startup+3.00184 s]
/proc/loadavg: 2.07 1.41 1.15 3/105 23162
/proc/meminfo: memFree=1344192/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=906556 CPUtime=3.01
/proc/23150/stat : 23150 (java) R 23148 23150 22946 0 -1 0 30491 0 1 0 287 14 0 0 25 0 12 0 187643273 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054141001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23150/statm: 226639 29667 2331 14 0 213076 0
[pid=23150/tid=23152] ppid=23148 vsize=906556 CPUtime=0.08
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22946 0 -1 64 5856 0 0 0 7 1 0 0 16 0 12 0 187643276 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23153] ppid=23148 vsize=906556 CPUtime=0.05
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22946 0 -1 64 3666 0 0 0 4 1 0 0 16 0 12 0 187643276 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23154] ppid=23148 vsize=906556 CPUtime=0
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22946 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 187643279 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23155] ppid=23148 vsize=906556 CPUtime=0
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22946 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187643279 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23156] ppid=23148 vsize=906556 CPUtime=0
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187643279 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23157] ppid=23148 vsize=906556 CPUtime=0
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 187643283 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23158] ppid=23148 vsize=906556 CPUtime=0
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22946 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 187643283 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23159] ppid=23148 vsize=906556 CPUtime=0.44
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22946 0 -1 64 543 0 0 0 44 0 0 0 17 0 12 0 187643283 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23160] ppid=23148 vsize=906556 CPUtime=0.41
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22946 0 -1 64 720 0 0 0 41 0 0 0 16 0 12 0 187643283 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23161] ppid=23148 vsize=906556 CPUtime=0
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 187643283 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23162] ppid=23148 vsize=906556 CPUtime=0
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187643283 928313344 29667 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 906556
[startup+6.23522 s]
/proc/loadavg: 2.07 1.41 1.15 4/105 23162
/proc/meminfo: memFree=1264064/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=906812 CPUtime=6.23
/proc/23150/stat : 23150 (java) R 23148 23150 22946 0 -1 0 49482 0 1 0 599 24 0 0 25 0 12 0 187643273 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054250182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23150/statm: 226703 48048 2331 14 0 213140 0
[pid=23150/tid=23152] ppid=23148 vsize=906812 CPUtime=0.36
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22946 0 -1 64 15689 0 0 0 30 6 0 0 16 0 12 0 187643276 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23153] ppid=23148 vsize=906812 CPUtime=0.37
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22946 0 -1 64 12808 0 0 0 32 5 0 0 16 0 12 0 187643276 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23154] ppid=23148 vsize=906812 CPUtime=0
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22946 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 187643279 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23155] ppid=23148 vsize=906812 CPUtime=0
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22946 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187643279 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23156] ppid=23148 vsize=906812 CPUtime=0
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187643279 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23157] ppid=23148 vsize=906812 CPUtime=0
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 187643283 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23158] ppid=23148 vsize=906812 CPUtime=0
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22946 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 187643283 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23159] ppid=23148 vsize=906812 CPUtime=0.44
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22946 0 -1 64 543 0 0 0 44 0 0 0 17 0 12 0 187643283 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23160] ppid=23148 vsize=906812 CPUtime=0.41
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22946 0 -1 64 720 0 0 0 41 0 0 0 17 0 12 0 187643283 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23161] ppid=23148 vsize=906812 CPUtime=0
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 187643283 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23162] ppid=23148 vsize=906812 CPUtime=0
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187643283 928575488 48048 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 906812
[startup+12.6518 s]
/proc/loadavg: 2.06 1.43 1.16 3/105 23162
/proc/meminfo: memFree=1116808/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=909300 CPUtime=12.61
/proc/23150/stat : 23150 (java) R 23148 23150 22946 0 -1 0 83772 0 1 0 1221 40 0 0 25 0 12 0 187643273 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23150/statm: 227325 81575 2331 14 0 213762 0
[pid=23150/tid=23152] ppid=23148 vsize=909300 CPUtime=0.9
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22946 0 -1 64 32650 0 0 0 78 12 0 0 15 0 12 0 187643276 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23153] ppid=23148 vsize=909300 CPUtime=0.84
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22946 0 -1 64 28966 0 0 0 73 11 0 0 16 0 12 0 187643276 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23154] ppid=23148 vsize=909300 CPUtime=0
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22946 0 -1 64 14 0 0 0 0 0 0 0 15 0 12 0 187643279 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23155] ppid=23148 vsize=909300 CPUtime=0
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22946 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187643279 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23156] ppid=23148 vsize=909300 CPUtime=0
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187643279 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23157] ppid=23148 vsize=909300 CPUtime=0
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 187643283 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23158] ppid=23148 vsize=909300 CPUtime=0
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22946 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 187643283 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23159] ppid=23148 vsize=909300 CPUtime=0.54
/proc/23150/task/23159/stat : 23159 (java) R 23148 23150 22946 0 -1 64 597 0 0 0 54 0 0 0 16 0 12 0 187643283 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154225154 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23160] ppid=23148 vsize=909300 CPUtime=0.6
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22946 0 -1 64 1809 0 0 0 60 0 0 0 16 0 12 0 187643283 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23161] ppid=23148 vsize=909300 CPUtime=0
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 187643283 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23162] ppid=23148 vsize=909300 CPUtime=0
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187643283 931123200 81575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 909300
[startup+25.5383 s]
/proc/loadavg: 2.05 1.45 1.16 3/105 23162
/proc/meminfo: memFree=722440/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=910484 CPUtime=26.28
/proc/23150/stat : 23150 (java) R 23148 23150 22946 0 -1 0 187426 0 1 0 2546 82 0 0 18 0 12 0 187643273 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054384333 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23150/statm: 227621 179080 2335 14 0 214058 0
[pid=23150/tid=23152] ppid=23148 vsize=910484 CPUtime=3.32
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22946 0 -1 64 81543 0 0 0 299 33 0 0 17 0 12 0 187643276 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=910484 CPUtime=3.42
/proc/23150/task/23153/stat : 23153 (java) S 23148 23150 22946 0 -1 64 76750 0 0 0 313 29 0 0 15 0 12 0 187643276 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=910484 CPUtime=1.43
/proc/23150/task/23154/stat : 23154 (java) S 23148 23150 22946 0 -1 64 782 0 0 0 142 1 0 0 18 0 12 0 187643279 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=910484 CPUtime=0
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22946 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187643279 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=910484 CPUtime=0
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187643279 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23157] ppid=23148 vsize=910484 CPUtime=0
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 187643283 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23158] ppid=23148 vsize=910484 CPUtime=0
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22946 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 187643283 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23159] ppid=23148 vsize=910484 CPUtime=0.61
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22946 0 -1 64 612 0 0 0 61 0 0 0 16 0 12 0 187643283 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23160] ppid=23148 vsize=910484 CPUtime=0.7
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22946 0 -1 64 1830 0 0 0 70 0 0 0 17 0 12 0 187643283 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=910484 CPUtime=0
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 187643283 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23162] ppid=23148 vsize=910484 CPUtime=0
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187643283 932335616 179080 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.28
Current children cumulated vsize (KiB) 910484
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+31.461 s]
/proc/loadavg: 2.05 1.46 1.17 4/105 23162
/proc/meminfo: memFree=713416/2055920 swapFree=4165612/4192956
[pid=23150] ppid=23148 vsize=927768 CPUtime=32.31
/proc/23150/stat : 23150 (java) S 23148 23150 22946 0 -1 0 194234 0 1 0 3146 85 0 0 25 0 12 0 187643273 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23150/statm: 231942 181802 2335 14 0 218379 0
[pid=23150/tid=23152] ppid=23148 vsize=927768 CPUtime=4.61
/proc/23150/task/23152/stat : 23152 (java) S 23148 23150 22946 0 -1 64 82297 0 0 0 428 33 0 0 16 0 12 0 187643276 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23153] ppid=23148 vsize=927768 CPUtime=4.49
/proc/23150/task/23153/stat : 23153 (java) R 23148 23150 22946 0 -1 64 76912 0 0 0 420 29 0 0 17 0 12 0 187643276 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23154] ppid=23148 vsize=927768 CPUtime=1.65
/proc/23150/task/23154/stat : 23154 (java) R 23148 23150 22946 0 -1 64 6663 0 0 0 162 3 0 0 16 0 12 0 187643279 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454068 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23155] ppid=23148 vsize=927768 CPUtime=0
/proc/23150/task/23155/stat : 23155 (java) S 23148 23150 22946 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 187643279 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23156] ppid=23148 vsize=927768 CPUtime=0
/proc/23150/task/23156/stat : 23156 (java) S 23148 23150 22946 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 187643279 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23157] ppid=23148 vsize=927768 CPUtime=0
/proc/23150/task/23157/stat : 23157 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 187643283 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23158] ppid=23148 vsize=927768 CPUtime=0
/proc/23150/task/23158/stat : 23158 (java) S 23148 23150 22946 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 187643283 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23159] ppid=23148 vsize=927768 CPUtime=0.61
/proc/23150/task/23159/stat : 23159 (java) S 23148 23150 22946 0 -1 64 612 0 0 0 61 0 0 0 16 0 12 0 187643283 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23160] ppid=23148 vsize=927768 CPUtime=0.7
/proc/23150/task/23160/stat : 23160 (java) S 23148 23150 22946 0 -1 64 1830 0 0 0 70 0 0 0 17 0 12 0 187643283 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23150/tid=23161] ppid=23148 vsize=927768 CPUtime=0
/proc/23150/task/23161/stat : 23161 (java) S 23148 23150 22946 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 187643283 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23150/tid=23162] ppid=23148 vsize=927768 CPUtime=0
/proc/23150/task/23162/stat : 23162 (java) S 23148 23150 22946 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 187643283 950034432 181802 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.31
Current children cumulated vsize (KiB) 927768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 33.3535
CPU time (s): 34.1848
CPU user time (s): 33.187
CPU system time (s): 0.997848
CPU usage (%): 102.492
Max. virtual memory (cumulated for all children) (KiB): 943768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.187
system time used= 0.997848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204396
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= 2205
involuntary context switches= 2839
runsolver used 0.044993 s user time and 0.118981 s system time
The end
Begin job on node1 on Wed Jan 10 01:27:55 UTC 2007
IDJOB= 247431
IDBENCH= 11125
FILE ID= node1/247431-1168392475
PBS_JOBID= 3522783
Free space on /tmp= 66470 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-17_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/247431-1168392475/sat4jCSP-bf3.jar /tmp/evaluation/247431-1168392475/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-247431-1168392475 -o ROOT/results/node1/solver-247431-1168392475 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/247431-1168392475/sat4jCSP-bf3.jar /tmp/evaluation/247431-1168392475/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 99aedbba3b4279edf60bda79b3a4f8a9
RANDOM SEED= 353820991
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.234
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.234
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: 1432888 kB
Buffers: 46864 kB
Cached: 265204 kB
SwapCached: 4064 kB
Active: 438056 kB
Inactive: 125976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1432888 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 24412 kB
Writeback: 0 kB
Mapped: 269052 kB
Slab: 43168 kB
Committed_AS: 6496236 kB
PageTables: 2836 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= 66470 MiB
End job on node1 on Wed Jan 10 01:28:29 UTC 2007