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.15 c version CSP COMPETITION BUGFIX 3
0.15 c sun.arch.data.model 32
0.15 c java.version 1.5.0_10
0.15 c os.name Linux
0.15 c os.version 2.6.9-22.EL.rootsmp
0.15 c os.arch i386
0.15 c Free memory 722620888
0.15 c Max memory 723845120
0.15 c Total memory 723845120
0.15 c Number of processors 2
0.19 c --- Begin Solver configuration ---
0.19 c Stops conflict analysis at the first Unique Implication Point
0.19 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@efd552
0.19 c Learn all clauses as in MiniSAT
0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.19 c VSIDS like heuristics from MiniSAT using a heap
0.19 c No reason simplification
0.19 c --- End Solver configuration ---
0.19 c solving /tmp/evaluation/248186-1168398474/unknown.xml
0.19 c reading problem ...
0.49 c reading problem named ?
0.49 c reading domains done.
0.49 c reading variables
c reading variables (100) done.
0.76 c reading predicates
c reading relations (61) done.
1.14 c reading constraintsc starts : 0
79.49 c conflicts : 0
79.49 c decisions : 0
79.49 c propagations : 0
79.49 c inspects : 0
79.49 c learnt literals : 0
79.49 c learnt binary clauses : 0
79.49 c learnt ternary clauses : 0
79.49 c learnt clauses : 0
79.49 c root simplifications : 0
79.49 c removed literals (reason simplification) : 0
79.49 c reason swapping (by a shorter reason) : 0
79.49 c Calls to reduceDB : 0
79.49 c speed (decisions/second) : 0.0
79.49 c non guided choices 0
79.49 s UNKNOWN
79.49 c Total wall clock time (in seconds) : 79.29
79.49 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/node52/watcher-248186-1168398474 -o ROOT/results/node52/solver-248186-1168398474 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/248186-1168398474/sat4jCSP-bf3.jar /tmp/evaluation/248186-1168398474/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.45 1.91 1.96 4/73 21391
/proc/meminfo: memFree=1528968/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=168 CPUtime=0
/proc/21390/stat : 21390 (java) R 21385 21390 21299 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 188246011 172032 23 18446744073709551615 134512640 134570532 4294956656 18446744073709551615 4309796 0 0 4096 0 0 0 0 17 1 0 0
/proc/21390/statm: 42 23 18 14 0 2 0
[startup+0.105546 s]
/proc/loadavg: 1.45 1.91 1.96 4/73 21391
/proc/meminfo: memFree=1528968/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=902324 CPUtime=0.09
/proc/21390/stat : 21390 (java) D 21385 21390 21299 0 -1 0 3373 0 1 0 7 2 0 0 25 0 12 0 188246011 923979776 3133 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21390/statm: 225581 3133 1574 14 0 212109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 902324
[startup+0.513575 s]
/proc/loadavg: 1.45 1.91 1.96 4/73 21391
/proc/meminfo: memFree=1528968/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=905592 CPUtime=0.5
/proc/21390/stat : 21390 (java) R 21385 21390 21299 0 -1 0 6056 0 1 0 47 3 0 0 19 0 12 0 188246011 927326208 5651 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21390/statm: 226398 5651 2291 14 0 212835 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 905592
[startup+1.33463 s]
/proc/loadavg: 1.45 1.91 1.96 3/95 21413
/proc/meminfo: memFree=1489256/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=906644 CPUtime=1.31
/proc/21390/stat : 21390 (java) R 21385 21390 21299 0 -1 0 8204 0 1 0 127 4 0 0 23 0 12 0 188246011 928403456 7574 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151513458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21390/statm: 226661 7574 2468 14 0 213098 0
[pid=21390/tid=21394] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21394/stat : 21394 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 188246013 928403456 7574 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21395] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21395/stat : 21395 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 22 0 12 0 188246013 928403456 7574 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21397] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21397/stat : 21397 (java) S 21385 21390 21299 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 188246016 928403456 7574 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21400] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21400/stat : 21400 (java) S 21385 21390 21299 0 -1 64 8 0 0 0 0 0 0 0 24 0 12 0 188246017 928403456 7575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21401] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21401/stat : 21401 (java) S 21385 21390 21299 0 -1 64 4 0 0 0 0 0 0 0 25 0 12 0 188246017 928403456 7575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21408] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21408/stat : 21408 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188246020 928403456 7575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21409] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21409/stat : 21409 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188246020 928403456 7575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21410] ppid=21385 vsize=906644 CPUtime=0.38
/proc/21390/task/21410/stat : 21410 (java) S 21385 21390 21299 0 -1 64 921 0 0 0 38 0 0 0 16 0 12 0 188246020 928403456 7575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21411] ppid=21385 vsize=906644 CPUtime=0.19
/proc/21390/task/21411/stat : 21411 (java) S 21385 21390 21299 0 -1 64 164 0 0 0 19 0 0 0 16 0 12 0 188246020 928403456 7575 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21412] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21412/stat : 21412 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188246020 928403456 7576 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21413] ppid=21385 vsize=906644 CPUtime=0
/proc/21390/task/21413/stat : 21413 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188246020 928403456 7576 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 906644
[startup+2.98675 s]
/proc/loadavg: 1.45 1.91 1.96 5/95 21413
/proc/meminfo: memFree=1422824/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=907428 CPUtime=2.96
/proc/21390/stat : 21390 (java) R 21385 21390 21299 0 -1 0 27513 0 1 0 282 14 0 0 25 0 12 0 188246011 929206272 26383 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21390/statm: 226857 26384 2473 14 0 213294 0
[pid=21390/tid=21394] ppid=21385 vsize=907428 CPUtime=0.07
/proc/21390/task/21394/stat : 21394 (java) R 21385 21390 21299 0 -1 64 2788 0 0 0 7 0 0 0 16 0 12 0 188246013 929206272 26385 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631198 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21395] ppid=21385 vsize=907428 CPUtime=0.08
/proc/21390/task/21395/stat : 21395 (java) R 21385 21390 21299 0 -1 64 2975 0 0 0 6 2 0 0 16 0 12 0 188246013 929206272 26386 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958734 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21397] ppid=21385 vsize=907428 CPUtime=0
/proc/21390/task/21397/stat : 21397 (java) S 21385 21390 21299 0 -1 64 12 0 0 0 0 0 0 0 16 0 12 0 188246016 929206272 26388 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21400] ppid=21385 vsize=907428 CPUtime=0
/proc/21390/task/21400/stat : 21400 (java) S 21385 21390 21299 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188246017 929206272 26389 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21401] ppid=21385 vsize=907428 CPUtime=0
/proc/21390/task/21401/stat : 21401 (java) S 21385 21390 21299 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188246017 929206272 26390 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21408] ppid=21385 vsize=907428 CPUtime=0
/proc/21390/task/21408/stat : 21408 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188246020 929206272 26391 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21409] ppid=21385 vsize=907428 CPUtime=0
/proc/21390/task/21409/stat : 21409 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188246020 929206272 26392 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21410] ppid=21385 vsize=907428 CPUtime=0.53
/proc/21390/task/21410/stat : 21410 (java) S 21385 21390 21299 0 -1 64 1319 0 0 0 53 0 0 0 16 0 12 0 188246020 929206272 26393 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21411] ppid=21385 vsize=907428 CPUtime=0.24
/proc/21390/task/21411/stat : 21411 (java) S 21385 21390 21299 0 -1 64 169 0 0 0 24 0 0 0 16 0 12 0 188246020 929206272 26394 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21412] ppid=21385 vsize=907428 CPUtime=0
/proc/21390/task/21412/stat : 21412 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188246020 929206272 26395 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21413] ppid=21385 vsize=907428 CPUtime=0
/proc/21390/task/21413/stat : 21413 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188246020 929206272 26396 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 907428
[startup+6.21396 s]
/proc/loadavg: 1.65 1.95 1.97 4/79 21416
/proc/meminfo: memFree=1395760/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=909212 CPUtime=6.47
/proc/21390/stat : 21390 (java) S 21385 21390 21299 0 -1 0 40917 0 1 0 626 21 0 0 18 0 12 0 188246011 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21390/statm: 227303 38898 2473 14 0 213740 0
[pid=21390/tid=21394] ppid=21385 vsize=909212 CPUtime=0.64
/proc/21390/task/21394/stat : 21394 (java) R 21385 21390 21299 0 -1 64 9505 0 0 0 61 3 0 0 17 0 12 0 188246013 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152694833 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21395] ppid=21385 vsize=909212 CPUtime=0.65
/proc/21390/task/21395/stat : 21395 (java) R 21385 21390 21299 0 -1 64 9651 0 0 0 60 5 0 0 17 0 12 0 188246013 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155242719 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21397] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21397/stat : 21397 (java) S 21385 21390 21299 0 -1 64 16 0 0 0 0 0 0 0 15 0 12 0 188246016 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21400] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21400/stat : 21400 (java) S 21385 21390 21299 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21401] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21401/stat : 21401 (java) S 21385 21390 21299 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21408] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21408/stat : 21408 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21409] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21409/stat : 21409 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188246020 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21410] ppid=21385 vsize=909212 CPUtime=0.53
/proc/21390/task/21410/stat : 21410 (java) S 21385 21390 21299 0 -1 64 1319 0 0 0 53 0 0 0 16 0 12 0 188246020 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21411] ppid=21385 vsize=909212 CPUtime=0.24
/proc/21390/task/21411/stat : 21411 (java) S 21385 21390 21299 0 -1 64 169 0 0 0 24 0 0 0 16 0 12 0 188246020 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21412] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21412/stat : 21412 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21413] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21413/stat : 21413 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188246020 931033088 38898 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 909212
[startup+12.7084 s]
/proc/loadavg: 1.63 1.93 1.96 3/92 21486
/proc/meminfo: memFree=1175432/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=909212 CPUtime=14.24
/proc/21390/stat : 21390 (java) R 21385 21390 21299 0 -1 0 65150 0 1 0 1390 34 0 0 21 0 12 0 188246011 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21390/statm: 227303 61748 2473 14 0 213740 0
[pid=21390/tid=21394] ppid=21385 vsize=909212 CPUtime=2.06
/proc/21390/task/21394/stat : 21394 (java) R 21385 21390 21299 0 -1 64 21863 0 0 0 197 9 0 0 16 0 12 0 188246013 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152694841 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21395] ppid=21385 vsize=909212 CPUtime=2.05
/proc/21390/task/21395/stat : 21395 (java) R 21385 21390 21299 0 -1 64 21502 0 0 0 194 11 0 0 16 0 12 0 188246013 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958283 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21397] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21397/stat : 21397 (java) S 21385 21390 21299 0 -1 64 18 0 0 0 0 0 0 0 15 0 12 0 188246016 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21400] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21400/stat : 21400 (java) S 21385 21390 21299 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21401] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21401/stat : 21401 (java) S 21385 21390 21299 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21408] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21408/stat : 21408 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21409] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21409/stat : 21409 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188246020 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21410] ppid=21385 vsize=909212 CPUtime=0.54
/proc/21390/task/21410/stat : 21410 (java) S 21385 21390 21299 0 -1 64 1319 0 0 0 54 0 0 0 16 0 12 0 188246020 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21411] ppid=21385 vsize=909212 CPUtime=0.25
/proc/21390/task/21411/stat : 21411 (java) S 21385 21390 21299 0 -1 64 171 0 0 0 25 0 0 0 16 0 12 0 188246020 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21412] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21412/stat : 21412 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21413] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21413/stat : 21413 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188246020 931033088 61748 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.24
Current children cumulated vsize (KiB) 909212
[startup+25.5923 s]
/proc/loadavg: 1.69 1.93 1.96 5/92 21486
/proc/meminfo: memFree=487624/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=909212 CPUtime=27.28
/proc/21390/stat : 21390 (java) R 21385 21390 21299 0 -1 0 113083 0 1 0 2674 54 0 0 25 0 12 0 188246011 931033088 109404 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21390/statm: 227303 109404 2473 14 0 213740 0
[pid=21390/tid=21394] ppid=21385 vsize=909212 CPUtime=3.95
/proc/21390/task/21394/stat : 21394 (java) R 21385 21390 21299 0 -1 64 43439 0 0 0 377 18 0 0 16 0 12 0 188246013 931033088 109404 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958734 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21395] ppid=21385 vsize=909212 CPUtime=3.91
/proc/21390/task/21395/stat : 21395 (java) R 21385 21390 21299 0 -1 64 41685 0 0 0 372 19 0 0 16 0 12 0 188246013 931033088 109404 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631139 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21397] ppid=21385 vsize=909212 CPUtime=0.01
/proc/21390/task/21397/stat : 21397 (java) S 21385 21390 21299 0 -1 64 23 0 0 0 1 0 0 0 15 0 12 0 188246016 931033088 109406 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21400] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21400/stat : 21400 (java) S 21385 21390 21299 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 109407 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21401] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21401/stat : 21401 (java) S 21385 21390 21299 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 109409 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21408] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21408/stat : 21408 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 109410 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21409] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21409/stat : 21409 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188246020 931033088 109410 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21410] ppid=21385 vsize=909212 CPUtime=0.54
/proc/21390/task/21410/stat : 21410 (java) S 21385 21390 21299 0 -1 64 1319 0 0 0 54 0 0 0 16 0 12 0 188246020 931033088 109410 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21411] ppid=21385 vsize=909212 CPUtime=0.25
/proc/21390/task/21411/stat : 21411 (java) S 21385 21390 21299 0 -1 64 171 0 0 0 25 0 0 0 16 0 12 0 188246020 931033088 109410 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21412] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21412/stat : 21412 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 109410 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21413] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21413/stat : 21413 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188246020 931033088 109411 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 27.28
Current children cumulated vsize (KiB) 909212
[startup+51.203 s]
/proc/loadavg: 2.07 2.00 1.98 4/92 21486
/proc/meminfo: memFree=177480/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=909212 CPUtime=53.4
/proc/21390/stat : 21390 (java) S 21385 21390 21299 0 -1 0 184691 0 1 0 5260 80 0 0 25 0 12 0 188246011 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21390/statm: 227303 179634 2473 14 0 213740 0
[pid=21390/tid=21394] ppid=21385 vsize=909212 CPUtime=8.63
/proc/21390/task/21394/stat : 21394 (java) S 21385 21390 21299 0 -1 64 82383 0 0 0 832 31 0 0 16 0 12 0 188246013 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21395] ppid=21385 vsize=909212 CPUtime=8.48
/proc/21390/task/21395/stat : 21395 (java) S 21385 21390 21299 0 -1 64 74301 0 0 0 817 31 0 0 15 0 12 0 188246013 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21397] ppid=21385 vsize=909212 CPUtime=0.05
/proc/21390/task/21397/stat : 21397 (java) R 21385 21390 21299 0 -1 64 30 0 0 0 5 0 0 0 16 0 12 0 188246016 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454125 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21400] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21400/stat : 21400 (java) S 21385 21390 21299 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21401] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21401/stat : 21401 (java) S 21385 21390 21299 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188246017 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21408] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21408/stat : 21408 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21409] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21409/stat : 21409 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188246020 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21410] ppid=21385 vsize=909212 CPUtime=0.54
/proc/21390/task/21410/stat : 21410 (java) S 21385 21390 21299 0 -1 64 1319 0 0 0 54 0 0 0 16 0 12 0 188246020 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21411] ppid=21385 vsize=909212 CPUtime=0.25
/proc/21390/task/21411/stat : 21411 (java) S 21385 21390 21299 0 -1 64 171 0 0 0 25 0 0 0 16 0 12 0 188246020 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21412] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21412/stat : 21412 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188246020 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21413] ppid=21385 vsize=909212 CPUtime=0
/proc/21390/task/21413/stat : 21413 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188246020 931033088 179634 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.4
Current children cumulated vsize (KiB) 909212
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+77.6168 s]
/proc/loadavg: 2.38 2.08 2.01 3/92 21486
/proc/meminfo: memFree=137736/2055920 swapFree=4192812/4192956
[pid=21390] ppid=21385 vsize=934500 CPUtime=80.2
/proc/21390/stat : 21390 (java) S 21385 21390 21299 0 -1 0 197101 0 1 0 7934 86 0 0 17 0 12 0 188246011 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21390/statm: 233625 188886 2474 14 0 220062 0
[pid=21390/tid=21394] ppid=21385 vsize=934500 CPUtime=10.17
/proc/21390/task/21394/stat : 21394 (java) S 21385 21390 21299 0 -1 64 82486 0 0 0 986 31 0 0 15 0 12 0 188246013 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21395] ppid=21385 vsize=934500 CPUtime=10.03
/proc/21390/task/21395/stat : 21395 (java) S 21385 21390 21299 0 -1 64 75399 0 0 0 971 32 0 0 16 0 12 0 188246013 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21397] ppid=21385 vsize=934500 CPUtime=17.04
/proc/21390/task/21397/stat : 21397 (java) R 21385 21390 21299 0 -1 64 11221 0 0 0 1699 5 0 0 19 0 12 0 188246016 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152608600 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21400] ppid=21385 vsize=934500 CPUtime=0
/proc/21390/task/21400/stat : 21400 (java) S 21385 21390 21299 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188246017 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21401] ppid=21385 vsize=934500 CPUtime=0
/proc/21390/task/21401/stat : 21401 (java) S 21385 21390 21299 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188246017 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21408] ppid=21385 vsize=934500 CPUtime=0
/proc/21390/task/21408/stat : 21408 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 188246020 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21409] ppid=21385 vsize=934500 CPUtime=0
/proc/21390/task/21409/stat : 21409 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 188246020 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21410] ppid=21385 vsize=934500 CPUtime=0.54
/proc/21390/task/21410/stat : 21410 (java) S 21385 21390 21299 0 -1 64 1319 0 0 0 54 0 0 0 16 0 12 0 188246020 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21411] ppid=21385 vsize=934500 CPUtime=0.25
/proc/21390/task/21411/stat : 21411 (java) S 21385 21390 21299 0 -1 64 171 0 0 0 25 0 0 0 16 0 12 0 188246020 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21390/tid=21412] ppid=21385 vsize=934500 CPUtime=0
/proc/21390/task/21412/stat : 21412 (java) S 21385 21390 21299 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 188246020 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21390/tid=21413] ppid=21385 vsize=934500 CPUtime=0
/proc/21390/task/21413/stat : 21413 (java) S 21385 21390 21299 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188246020 956928000 188886 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 80.2
Current children cumulated vsize (KiB) 934500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
Real time (s): 79.7523
CPU time (s): 82.3135
CPU user time (s): 81.2806
CPU system time (s): 1.03284
CPU usage (%): 103.211
Max. virtual memory (cumulated for all children) (KiB): 942496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.2806
system time used= 1.03284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206561
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= 3269
involuntary context switches= 4389
runsolver used 0.117982 s user time and 0.268959 s system time
The end
Begin job on node52 on Wed Jan 10 03:07:55 UTC 2007
IDJOB= 248186
IDBENCH= 11687
FILE ID= node52/248186-1168398474
PBS_JOBID= 3522960
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-30/primes-30-60-2-5.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/248186-1168398474/sat4jCSP-bf3.jar /tmp/evaluation/248186-1168398474/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-248186-1168398474 -o ROOT/results/node52/solver-248186-1168398474 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/248186-1168398474/sat4jCSP-bf3.jar /tmp/evaluation/248186-1168398474/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= bc4bb5907c309214a7c1d4b44ef8f2b9
RANDOM SEED= 537605953
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.232
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.232
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: 1530144 kB
Buffers: 48996 kB
Cached: 396404 kB
SwapCached: 0 kB
Active: 166776 kB
Inactive: 298692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1530144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4848 kB
Writeback: 0 kB
Mapped: 30260 kB
Slab: 45952 kB
Committed_AS: 4526612 kB
PageTables: 1728 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= 66558 MiB
End job on node52 on Wed Jan 10 03:09:16 UTC 2007