0.29 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.29 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.29 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.30 c version CSP COMPETITION BUGFIX 3
0.30 c sun.arch.data.model 32
0.30 c java.version 1.5.0_10
0.30 c os.name Linux
0.30 c os.version 2.6.9-22.EL.rootsmp
0.30 c os.arch i386
0.30 c Free memory 722620888
0.30 c Max memory 723845120
0.30 c Total memory 723845120
0.30 c Number of processors 2
0.39 c --- Begin Solver configuration ---
0.39 c Stops conflict analysis at the first Unique Implication Point
0.39 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.39 c Learn all clauses as in MiniSAT
0.39 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.39 c VSIDS like heuristics from MiniSAT using a heap
0.39 c No reason simplification
0.39 c --- End Solver configuration ---
0.39 c solving /tmp/evaluation/248862-1168402061/unknown.xml
0.39 c reading problem ...
0.66 c reading problem named ?
0.66 c reading domains done.
0.67 c reading variables
c reading variables (100) done.
0.91 c reading predicates
c reading relations (81) done.
1.37 c reading constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-248862-1168402061 -o ROOT/results/node55/solver-248862-1168402061 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/248862-1168402061/sat4jCSP-bf3.jar /tmp/evaluation/248862-1168402061/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: 2.07 2.04 2.00 3/81 11554
/proc/meminfo: memFree=1519480/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=18540 CPUtime=0
/proc/11553/stat : 11553 (runsolver) R 11551 11553 10711 0 -1 4194368 17 0 0 0 0 0 0 0 23 0 1 0 188604375 18984960 280 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 248761609511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11553/statm: 4635 280 244 17 0 2626 0
[startup+0.108146 s]
/proc/loadavg: 2.07 2.04 2.00 3/81 11554
/proc/meminfo: memFree=1519480/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=50144 CPUtime=0
/proc/11553/stat : 11553 (java) D 11551 11553 10711 0 -1 0 1380 0 1 0 0 0 0 0 17 0 1 0 188604375 51347456 1145 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/11553/statm: 12536 1145 875 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 50144
[startup+0.51619 s]
/proc/loadavg: 2.07 2.04 2.00 3/81 11554
/proc/meminfo: memFree=1519480/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=905592 CPUtime=0.35
/proc/11553/stat : 11553 (java) R 11551 11553 10711 0 -1 0 5308 0 1 0 34 1 0 0 18 0 12 0 188604375 927326208 4962 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 226398 4962 2070 14 0 212835 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 905592
[startup+1.33927 s]
/proc/loadavg: 2.07 2.04 2.00 4/92 11565
/proc/meminfo: memFree=1500704/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=905280 CPUtime=1.17
/proc/11553/stat : 11553 (java) R 11551 11553 10711 0 -1 0 7803 0 1 0 114 3 0 0 19 0 12 0 188604375 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 226320 7172 2446 14 0 212757 0
[pid=11553/tid=11555] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11555/stat : 11555 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604391 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 188604391 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 10711 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 188604394 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 10711 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 188604395 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 10711 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 188604395 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11560] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604398 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 10711 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188604398 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11562] ppid=11551 vsize=905280 CPUtime=0.23
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 10711 0 -1 64 310 0 0 0 23 0 0 0 16 0 12 0 188604398 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11563] ppid=11551 vsize=905280 CPUtime=0.23
/proc/11553/task/11563/stat : 11563 (java) R 11551 11553 10711 0 -1 64 692 0 0 0 23 0 0 0 16 0 12 0 188604398 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152571361 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11564] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 188604398 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11565] ppid=11551 vsize=905280 CPUtime=0
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188604398 927006720 7172 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 905280
[startup+2.99043 s]
/proc/loadavg: 2.07 2.04 2.00 3/92 11565
/proc/meminfo: memFree=1484896/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=907780 CPUtime=2.81
/proc/11553/stat : 11553 (java) R 11551 11553 10711 0 -1 0 25154 0 1 0 271 10 0 0 25 0 12 0 188604375 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054209709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 226945 23668 2473 14 0 213382 0
[pid=11553/tid=11555] ppid=11551 vsize=907780 CPUtime=0.04
/proc/11553/task/11555/stat : 11555 (java) S 11551 11553 10711 0 -1 64 964 0 0 0 4 0 0 0 17 0 12 0 188604391 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=907780 CPUtime=0.05
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 10711 0 -1 64 1532 0 0 0 5 0 0 0 17 0 12 0 188604391 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=907780 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 10711 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 188604394 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=907780 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 10711 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188604395 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=907780 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 10711 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188604395 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11560] ppid=11551 vsize=907780 CPUtime=0
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604398 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=907780 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 10711 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188604398 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11562] ppid=11551 vsize=907780 CPUtime=0.34
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 10711 0 -1 64 339 0 0 0 34 0 0 0 16 0 12 0 188604398 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11563] ppid=11551 vsize=907780 CPUtime=0.61
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 10711 0 -1 64 2137 0 0 0 61 0 0 0 16 0 12 0 188604398 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11564] ppid=11551 vsize=907780 CPUtime=0
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 188604398 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11565] ppid=11551 vsize=907780 CPUtime=0
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188604398 929566720 23668 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 907780
[startup+6.27274 s]
/proc/loadavg: 2.07 2.04 2.00 3/92 11565
/proc/meminfo: memFree=1397472/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=909288 CPUtime=6.22
/proc/11553/stat : 11553 (java) R 11551 11553 10711 0 -1 0 38256 0 1 0 606 16 0 0 20 0 12 0 188604375 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054252858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 227322 35813 2473 14 0 213759 0
[pid=11553/tid=11555] ppid=11551 vsize=909288 CPUtime=0.4
/proc/11553/task/11555/stat : 11555 (java) S 11551 11553 10711 0 -1 64 8263 0 0 0 36 4 0 0 16 0 12 0 188604391 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=909288 CPUtime=0.42
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 10711 0 -1 64 7327 0 0 0 40 2 0 0 16 0 12 0 188604391 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 10711 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 188604394 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 10711 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 10711 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11560] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604398 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 10711 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188604398 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11562] ppid=11551 vsize=909288 CPUtime=0.34
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 10711 0 -1 64 339 0 0 0 34 0 0 0 16 0 12 0 188604398 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11563] ppid=11551 vsize=909288 CPUtime=0.61
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 10711 0 -1 64 2137 0 0 0 61 0 0 0 16 0 12 0 188604398 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11564] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 188604398 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11565] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188604398 931110912 35813 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 909288
[startup+12.7634 s]
/proc/loadavg: 2.50 2.14 2.03 3/92 11565
/proc/meminfo: memFree=1306400/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=909288 CPUtime=12.81
/proc/11553/stat : 11553 (java) R 11551 11553 10711 0 -1 0 61479 0 1 0 1255 26 0 0 25 0 12 0 188604375 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054208563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 227322 58352 2473 14 0 213759 0
[pid=11553/tid=11555] ppid=11551 vsize=909288 CPUtime=1.26
/proc/11553/task/11555/stat : 11555 (java) S 11551 11553 10711 0 -1 64 19802 0 0 0 118 8 0 0 16 0 12 0 188604391 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=909288 CPUtime=1.35
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 10711 0 -1 64 18992 0 0 0 127 8 0 0 16 0 12 0 188604391 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 10711 0 -1 64 16 0 0 0 0 0 0 0 16 0 12 0 188604394 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 10711 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 10711 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11560] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604398 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 10711 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188604398 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11562] ppid=11551 vsize=909288 CPUtime=0.35
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 10711 0 -1 64 339 0 0 0 35 0 0 0 16 0 12 0 188604398 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11563] ppid=11551 vsize=909288 CPUtime=0.62
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 10711 0 -1 64 2138 0 0 0 62 0 0 0 16 0 12 0 188604398 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11564] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 188604398 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11565] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188604398 931110912 58352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.81
Current children cumulated vsize (KiB) 909288
[startup+25.6356 s]
/proc/loadavg: 2.42 2.13 2.03 3/92 11565
/proc/meminfo: memFree=1142816/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=909288 CPUtime=26.05
/proc/11553/stat : 11553 (java) R 11551 11553 10711 0 -1 0 100673 0 1 0 2563 42 0 0 25 0 12 0 188604375 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 227322 96641 2473 14 0 213759 0
[pid=11553/tid=11555] ppid=11551 vsize=909288 CPUtime=3.06
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 10711 0 -1 64 39611 0 0 0 290 16 0 0 16 0 12 0 188604391 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631190 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11556] ppid=11551 vsize=909288 CPUtime=3.08
/proc/11553/task/11556/stat : 11556 (java) R 11551 11553 10711 0 -1 64 38350 0 0 0 293 15 0 0 16 0 12 0 188604391 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631139 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11557] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 10711 0 -1 64 20 0 0 0 0 0 0 0 15 0 12 0 188604394 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 10711 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 10711 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11560] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604398 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 10711 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188604398 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11562] ppid=11551 vsize=909288 CPUtime=0.35
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 10711 0 -1 64 339 0 0 0 35 0 0 0 16 0 12 0 188604398 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11563] ppid=11551 vsize=909288 CPUtime=0.62
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 10711 0 -1 64 2138 0 0 0 62 0 0 0 16 0 12 0 188604398 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11564] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 188604398 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11565] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188604398 931110912 96641 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.05
Current children cumulated vsize (KiB) 909288
[startup+51.2519 s]
/proc/loadavg: 2.28 2.12 2.02 5/92 11639
/proc/meminfo: memFree=506848/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=909288 CPUtime=52.83
/proc/11553/stat : 11553 (java) R 11551 11553 10711 0 -1 0 175520 0 1 0 5209 74 0 0 25 0 12 0 188604375 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11553/statm: 227322 170247 2473 14 0 213759 0
[pid=11553/tid=11555] ppid=11551 vsize=909288 CPUtime=8.25
/proc/11553/task/11555/stat : 11555 (java) R 11551 11553 10711 0 -1 64 82333 0 0 0 791 34 0 0 16 0 12 0 188604391 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4151673685 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=909288 CPUtime=7.12
/proc/11553/task/11556/stat : 11556 (java) R 11551 11553 10711 0 -1 64 70428 0 0 0 684 28 0 0 16 0 12 0 188604391 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631240 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=909288 CPUtime=0.01
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 10711 0 -1 64 25 0 0 0 1 0 0 0 15 0 12 0 188604394 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 10711 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 10711 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188604395 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11560] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604398 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 10711 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188604398 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11562] ppid=11551 vsize=909288 CPUtime=0.35
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 10711 0 -1 64 339 0 0 0 35 0 0 0 16 0 12 0 188604398 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11563] ppid=11551 vsize=909288 CPUtime=0.62
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 10711 0 -1 64 2138 0 0 0 62 0 0 0 16 0 12 0 188604398 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11564] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 188604398 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11565] ppid=11551 vsize=909288 CPUtime=0
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188604398 931110912 170247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.83
Current children cumulated vsize (KiB) 909288
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+67.0325 s]
/proc/loadavg: 2.36 2.14 2.03 2/79 11685
/proc/meminfo: memFree=827792/2055920 swapFree=4192192/4192956
[pid=11553] ppid=11551 vsize=933296 CPUtime=68.87
/proc/11553/stat : 11553 (java) S 11551 11553 10711 0 -1 0 194663 0 1 0 6806 81 0 0 21 0 12 0 188604375 955695104 187499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11553/statm: 233324 187504 2474 14 0 219761 0
[pid=11553/tid=11555] ppid=11551 vsize=933296 CPUtime=10.09
/proc/11553/task/11555/stat : 11555 (java) S 11551 11553 10711 0 -1 64 91323 0 0 0 972 37 0 0 16 0 12 0 188604391 955695104 187554 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=933296 CPUtime=8.38
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 10711 0 -1 64 75668 0 0 0 808 30 0 0 15 0 12 0 188604391 955695104 187561 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=933296 CPUtime=6.35
/proc/11553/task/11557/stat : 11557 (java) R 11551 11553 10711 0 -1 64 4994 0 0 0 633 2 0 0 17 0 12 0 188604394 955695104 187569 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4152608600 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11558] ppid=11551 vsize=933296 CPUtime=0
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 10711 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 188604395 955695104 187576 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11559] ppid=11551 vsize=933296 CPUtime=0
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 10711 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188604395 955695104 187583 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11560] ppid=11551 vsize=933296 CPUtime=0
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 188604398 955695104 187589 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11561] ppid=11551 vsize=933296 CPUtime=0
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 10711 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 188604398 955695104 187596 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11562] ppid=11551 vsize=933296 CPUtime=0.35
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 10711 0 -1 64 339 0 0 0 35 0 0 0 16 0 12 0 188604398 955695104 187603 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11563] ppid=11551 vsize=933296 CPUtime=0.62
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 10711 0 -1 64 2138 0 0 0 62 0 0 0 16 0 12 0 188604398 955695104 187611 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11564] ppid=11551 vsize=933296 CPUtime=0
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 188604398 955695104 187618 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11553/tid=11565] ppid=11551 vsize=933296 CPUtime=0
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 10711 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 188604398 955695104 187625 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 68.87
Current children cumulated vsize (KiB) 933296
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): 69.1783
CPU time (s): 71.0202
CPU user time (s): 70.0414
CPU system time (s): 0.978851
CPU usage (%): 102.663
Max. virtual memory (cumulated for all children) (KiB): 941292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.0414
system time used= 0.978851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204086
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= 3111
involuntary context switches= 4594
runsolver used 0.076988 s user time and 0.235964 s system time
The end
Begin job on node55 on Wed Jan 10 04:07:41 UTC 2007
IDJOB= 248862
IDBENCH= 11739
FILE ID= node55/248862-1168402061
PBS_JOBID= 3522946
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-25/primes-25-80-2-5.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/248862-1168402061/sat4jCSP-bf3.jar /tmp/evaluation/248862-1168402061/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-248862-1168402061 -o ROOT/results/node55/solver-248862-1168402061 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/248862-1168402061/sat4jCSP-bf3.jar /tmp/evaluation/248862-1168402061/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 042ca10c81b98ca83b42be887d4820d2
RANDOM SEED= 16401103
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.218
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 : 5931.00
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.218
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: 1519960 kB
Buffers: 42864 kB
Cached: 370852 kB
SwapCached: 268 kB
Active: 221112 kB
Inactive: 257384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1519960 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 2412 kB
Writeback: 0 kB
Mapped: 82688 kB
Slab: 42720 kB
Committed_AS: 4915196 kB
PageTables: 1916 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= 66562 MiB
End job on node55 on Wed Jan 10 04:08:50 UTC 2007