0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.17 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.17 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.18 c version CSP COMPETITION BUGFIX 3
0.18 c sun.arch.data.model 32
0.18 c java.version 1.5.0_10
0.18 c os.name Linux
0.18 c os.version 2.6.9-22.EL.rootsmp
0.18 c os.arch i386
0.18 c Free memory 722620888
0.18 c Max memory 723845120
0.18 c Total memory 723845120
0.18 c Number of processors 2
0.28 c --- Begin Solver configuration ---
0.28 c Stops conflict analysis at the first Unique Implication Point
0.28 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.28 c Learn all clauses as in MiniSAT
0.28 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.28 c VSIDS like heuristics from MiniSAT using a heap
0.28 c No reason simplification
0.28 c --- End Solver configuration ---
0.28 c solving /tmp/evaluation/225267-1168271553/unknown.xml
0.28 c reading problem ...
0.54 c reading problem named ?
0.54 c reading domains done.
0.54 c reading variables
c reading variables (40) done.
0.73 c reading relations
c reading relations (84) done.
2.64 c reading constraints
c reading constraints done.
3.54 c ... done. Wall clock time 3.268s.
3.54 c CPU time (experimental) 2.18s.
3.54 c #vars 7200
3.54 c #constraints 30320
30.75 c starts : 7
30.75 c conflicts : 3159
30.75 c decisions : 4732
30.75 c propagations : 4156765
30.75 c inspects : 48491206
30.75 c learnt literals : 6
30.75 c learnt binary clauses : 0
30.75 c learnt ternary clauses : 1
30.75 c learnt clauses : 3151
30.75 c root simplifications : 0
30.75 c removed literals (reason simplification) : 0
30.75 c reason swapping (by a shorter reason) : 0
30.75 c Calls to reduceDB : 0
30.75 c speed (decisions/second) : 174.15626955209598
30.75 c non guided choices 496
30.75 s UNSATISFIABLE
30.75 c Total wall clock time (in seconds) : 30.471
30.75 c Total CPU time (experimental, in seconds) : 28.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-225267-1168271553 -o ROOT/results/node22/solver-225267-1168271553 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/225267-1168271553/sat4jCSP-bf3.jar /tmp/evaluation/225267-1168271553/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.98 1.57 1.29 4/98 26359
/proc/meminfo: memFree=208064/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=1784 CPUtime=0
/proc/26358/stat : 26358 (java) D 26356 26358 25876 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 175549776 1826816 148 18446744073709551615 134512640 134570532 4294956656 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26358/statm: 446 148 113 14 0 91 0
[startup+0.104749 s]
/proc/loadavg: 1.98 1.57 1.29 4/98 26359
/proc/meminfo: memFree=208064/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=897120 CPUtime=0.06
/proc/26358/stat : 26358 (java) R 26356 26358 25876 0 -1 0 3073 0 1 0 5 1 0 0 16 0 6 0 175549776 918650880 2833 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151456304 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/26358/statm: 224280 2833 1463 14 0 211300 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 897120
[startup+0.512815 s]
/proc/loadavg: 1.98 1.57 1.29 4/98 26359
/proc/meminfo: memFree=208064/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=905236 CPUtime=0.47
/proc/26358/stat : 26358 (java) R 26356 26358 25876 0 -1 0 5824 0 1 0 44 3 0 0 19 0 12 0 175549776 926961664 5419 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26358/statm: 226309 5419 2250 14 0 212746 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 905236
[startup+1.33594 s]
/proc/loadavg: 1.98 1.57 1.29 5/109 26370
/proc/meminfo: memFree=190056/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=908308 CPUtime=1.29
/proc/26358/stat : 26358 (java) R 26356 26358 25876 0 -1 0 8563 0 1 0 124 5 0 0 21 0 12 0 175549776 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26358/statm: 227077 7500 2322 14 0 213514 0
[pid=26358/tid=26360] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26360/stat : 26360 (java) S 26356 26358 25876 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 175549781 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26361] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26361/stat : 26361 (java) S 26356 26358 25876 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 175549781 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26362] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26362/stat : 26362 (java) S 26356 26358 25876 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 175549784 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26363] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26363/stat : 26363 (java) S 26356 26358 25876 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 175549784 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26364] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26364/stat : 26364 (java) S 26356 26358 25876 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 175549784 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26365] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26365/stat : 26365 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 175549788 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26366] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26366/stat : 26366 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 175549788 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26367] ppid=26356 vsize=908308 CPUtime=0.38
/proc/26358/task/26367/stat : 26367 (java) S 26356 26358 25876 0 -1 64 1228 0 0 0 38 0 0 0 16 0 12 0 175549788 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26368] ppid=26356 vsize=908308 CPUtime=0.33
/proc/26358/task/26368/stat : 26368 (java) R 26356 26358 25876 0 -1 64 875 0 0 0 33 0 0 0 16 0 12 0 175549788 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154866088 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26369] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26369/stat : 26369 (java) S 26356 26358 25876 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 175549788 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26370] ppid=26356 vsize=908308 CPUtime=0
/proc/26358/task/26370/stat : 26370 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 175549788 930107392 7500 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 908308
[startup+2.97819 s]
/proc/loadavg: 2.22 1.63 1.31 3/109 26370
/proc/meminfo: memFree=124968/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=908388 CPUtime=2.92
/proc/26358/stat : 26358 (java) R 26356 26358 25876 0 -1 0 25920 0 1 0 278 14 0 0 25 0 12 0 175549776 930189312 24840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26358/statm: 227097 24840 2342 14 0 213534 0
[pid=26358/tid=26360] ppid=26356 vsize=908388 CPUtime=0.09
/proc/26358/task/26360/stat : 26360 (java) S 26356 26358 25876 0 -1 64 2097 0 0 0 9 0 0 0 16 0 12 0 175549781 930189312 24840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26361] ppid=26356 vsize=908388 CPUtime=0.1
/proc/26358/task/26361/stat : 26361 (java) S 26356 26358 25876 0 -1 64 1994 0 0 0 10 0 0 0 16 0 12 0 175549781 930189312 24840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26362] ppid=26356 vsize=908388 CPUtime=0
/proc/26358/task/26362/stat : 26362 (java) S 26356 26358 25876 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 175549784 930189312 24840 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26363] ppid=26356 vsize=908388 CPUtime=0
/proc/26358/task/26363/stat : 26363 (java) S 26356 26358 25876 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 175549784 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26364] ppid=26356 vsize=908388 CPUtime=0
/proc/26358/task/26364/stat : 26364 (java) S 26356 26358 25876 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 175549784 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26365] ppid=26356 vsize=908388 CPUtime=0
/proc/26358/task/26365/stat : 26365 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 175549788 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26366] ppid=26356 vsize=908388 CPUtime=0
/proc/26358/task/26366/stat : 26366 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 175549788 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26367] ppid=26356 vsize=908388 CPUtime=0.49
/proc/26358/task/26367/stat : 26367 (java) S 26356 26358 25876 0 -1 64 1240 0 0 0 49 0 0 0 16 0 12 0 175549788 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26368] ppid=26356 vsize=908388 CPUtime=0.45
/proc/26358/task/26368/stat : 26368 (java) R 26356 26358 25876 0 -1 64 927 0 0 0 45 0 0 0 16 0 12 0 175549788 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151379472 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26369] ppid=26356 vsize=908388 CPUtime=0
/proc/26358/task/26369/stat : 26369 (java) S 26356 26358 25876 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 175549788 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26370] ppid=26356 vsize=908388 CPUtime=0
/proc/26358/task/26370/stat : 26370 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 175549788 930189312 24842 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 908388
[startup+6.18168 s]
/proc/loadavg: 2.22 1.63 1.31 3/110 26371
/proc/meminfo: memFree=117032/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=908904 CPUtime=6.1
/proc/26358/stat : 26358 (java) R 26356 26358 25876 0 -1 0 26585 0 1 0 596 14 0 0 25 0 13 0 175549776 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054411166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26358/statm: 227226 24942 2358 14 0 213663 0
[pid=26358/tid=26360] ppid=26356 vsize=908904 CPUtime=0.09
/proc/26358/task/26360/stat : 26360 (java) S 26356 26358 25876 0 -1 64 2097 0 0 0 9 0 0 0 16 0 13 0 175549781 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26361] ppid=26356 vsize=908904 CPUtime=0.1
/proc/26358/task/26361/stat : 26361 (java) S 26356 26358 25876 0 -1 64 1994 0 0 0 10 0 0 0 16 0 13 0 175549781 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26362] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26362/stat : 26362 (java) S 26356 26358 25876 0 -1 64 26 0 0 0 0 0 0 0 17 0 13 0 175549784 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26363] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26363/stat : 26363 (java) S 26356 26358 25876 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26364] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26364/stat : 26364 (java) S 26356 26358 25876 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26365] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26365/stat : 26365 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 175549788 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26366] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26366/stat : 26366 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 175549788 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26367] ppid=26356 vsize=908904 CPUtime=0.81
/proc/26358/task/26367/stat : 26367 (java) S 26356 26358 25876 0 -1 64 1297 0 0 0 81 0 0 0 16 0 13 0 175549788 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26368] ppid=26356 vsize=908904 CPUtime=0.68
/proc/26358/task/26368/stat : 26368 (java) S 26356 26358 25876 0 -1 64 1507 0 0 0 68 0 0 0 17 0 13 0 175549788 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26369] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26369/stat : 26369 (java) S 26356 26358 25876 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 175549788 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26370] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26370/stat : 26370 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 175549788 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26371] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26371/stat : 26371 (java) S 26356 26358 25876 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 175550134 930717696 24942 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 908904
[startup+12.6807 s]
/proc/loadavg: 2.18 1.64 1.31 3/110 26371
/proc/meminfo: memFree=106408/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=908904 CPUtime=12.58
/proc/26358/stat : 26358 (java) R 26356 26358 25876 0 -1 0 29287 0 1 0 1242 16 0 0 25 0 13 0 175549776 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054457997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26358/statm: 227226 27640 2359 14 0 213663 0
[pid=26358/tid=26360] ppid=26356 vsize=908904 CPUtime=0.14
/proc/26358/task/26360/stat : 26360 (java) S 26356 26358 25876 0 -1 64 3321 0 0 0 13 1 0 0 17 0 13 0 175549781 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26361] ppid=26356 vsize=908904 CPUtime=0.15
/proc/26358/task/26361/stat : 26361 (java) S 26356 26358 25876 0 -1 64 3458 0 0 0 14 1 0 0 17 0 13 0 175549781 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26362] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26362/stat : 26362 (java) S 26356 26358 25876 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26363] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26363/stat : 26363 (java) S 26356 26358 25876 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26364] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26364/stat : 26364 (java) S 26356 26358 25876 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26365] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26365/stat : 26365 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26366] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26366/stat : 26366 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26367] ppid=26356 vsize=908904 CPUtime=0.85
/proc/26358/task/26367/stat : 26367 (java) S 26356 26358 25876 0 -1 64 1302 0 0 0 85 0 0 0 16 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26368] ppid=26356 vsize=908904 CPUtime=0.7
/proc/26358/task/26368/stat : 26368 (java) S 26356 26358 25876 0 -1 64 1509 0 0 0 70 0 0 0 17 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26369] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26369/stat : 26369 (java) S 26356 26358 25876 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26370] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26370/stat : 26370 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26371] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26371/stat : 26371 (java) S 26356 26358 25876 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 175550134 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 908904
[startup+25.5787 s]
/proc/loadavg: 2.16 1.65 1.32 3/110 26371
/proc/meminfo: memFree=82984/2055920 swapFree=4157540/4192956
[pid=26358] ppid=26356 vsize=908904 CPUtime=25.38
/proc/26358/stat : 26358 (java) R 26356 26358 25876 0 -1 0 29288 0 1 0 2522 16 0 0 25 0 13 0 175549776 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054459136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26358/statm: 227226 27640 2359 14 0 213663 0
[pid=26358/tid=26360] ppid=26356 vsize=908904 CPUtime=0.14
/proc/26358/task/26360/stat : 26360 (java) S 26356 26358 25876 0 -1 64 3321 0 0 0 13 1 0 0 17 0 13 0 175549781 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26361] ppid=26356 vsize=908904 CPUtime=0.15
/proc/26358/task/26361/stat : 26361 (java) S 26356 26358 25876 0 -1 64 3458 0 0 0 14 1 0 0 17 0 13 0 175549781 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26362] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26362/stat : 26362 (java) S 26356 26358 25876 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26363] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26363/stat : 26363 (java) S 26356 26358 25876 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26364] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26364/stat : 26364 (java) S 26356 26358 25876 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 175549784 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26365] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26365/stat : 26365 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26366] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26366/stat : 26366 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26367] ppid=26356 vsize=908904 CPUtime=0.85
/proc/26358/task/26367/stat : 26367 (java) S 26356 26358 25876 0 -1 64 1302 0 0 0 85 0 0 0 16 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26368] ppid=26356 vsize=908904 CPUtime=0.7
/proc/26358/task/26368/stat : 26368 (java) S 26356 26358 25876 0 -1 64 1509 0 0 0 70 0 0 0 17 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26358/tid=26369] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26369/stat : 26369 (java) S 26356 26358 25876 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26370] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26370/stat : 26370 (java) S 26356 26358 25876 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 175549788 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26358/tid=26371] ppid=26356 vsize=908904 CPUtime=0
/proc/26358/task/26371/stat : 26371 (java) S 26356 26358 25876 0 -1 64 5 0 0 0 0 0 0 0 24 0 13 0 175550134 930717696 27640 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 908904
Child status: 0
Real time (s): 30.8659
CPU time (s): 30.5514
CPU user time (s): 30.3714
CPU system time (s): 0.179972
CPU usage (%): 98.981
Max. virtual memory (cumulated for all children) (KiB): 909996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3714
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29298
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= 1311
involuntary context switches= 1800
runsolver used 0.038994 s user time and 0.106983 s system time
The end
Begin job on node22 on Mon Jan 8 15:52:33 UTC 2007
IDJOB= 225267
IDBENCH= 5841
FILE ID= node22/225267-1168271553
PBS_JOBID= 3483199
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-3_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/225267-1168271553/sat4jCSP-bf3.jar /tmp/evaluation/225267-1168271553/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-225267-1168271553 -o ROOT/results/node22/solver-225267-1168271553 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/225267-1168271553/sat4jCSP-bf3.jar /tmp/evaluation/225267-1168271553/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= b405be014f1ccce7d38c40ecbabc7829
RANDOM SEED= 267872526
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.279
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.279
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: 208480 kB
Buffers: 10876 kB
Cached: 1501952 kB
SwapCached: 11392 kB
Active: 1235616 kB
Inactive: 557764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 208480 kB
SwapTotal: 4192956 kB
SwapFree: 4157540 kB
Dirty: 4280 kB
Writeback: 0 kB
Mapped: 308152 kB
Slab: 38220 kB
Committed_AS: 4120156 kB
PageTables: 2780 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= 66556 MiB
End job on node22 on Mon Jan 8 15:53:04 UTC 2007