0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.16 c version CSP COMPETITION BUGFIX 3
0.16 c sun.arch.data.model 32
0.16 c java.version 1.5.0_10
0.16 c os.name Linux
0.16 c os.version 2.6.9-22.EL.rootsmp
0.16 c os.arch i386
0.16 c Free memory 722620888
0.16 c Max memory 723845120
0.16 c Total memory 723845120
0.16 c Number of processors 2
0.25 c --- Begin Solver configuration ---
0.25 c Stops conflict analysis at the first Unique Implication Point
0.25 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.25 c Learn all clauses as in MiniSAT
0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.25 c VSIDS like heuristics from MiniSAT using a heap
0.25 c No reason simplification
0.25 c --- End Solver configuration ---
0.25 c solving /tmp/evaluation/217823-1168249289/unknown.xml
0.25 c reading problem ...
0.53 c reading problem named ?
0.53 c reading domains done.
0.54 c reading variables
c reading variables (78) done.
0.72 c reading predicates
c reading relations (4) done.
0.98 c reading constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-217823-1168249289 -o ROOT/results/node3/solver-217823-1168249289 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/217823-1168249289/sat4jCSP-bf3.jar /tmp/evaluation/217823-1168249289/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
/proc/loadavg: 1.99 2.02 1.99 4/95 23284
/proc/meminfo: memFree=1675800/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=18540 CPUtime=0
/proc/23283/stat : 23283 (runsolver) R 23281 21963 21963 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 173324509 18984960 277 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 233630115860 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23283/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108278 s]
/proc/loadavg: 1.99 2.02 1.99 4/95 23284
/proc/meminfo: memFree=1675800/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=901540 CPUtime=0.09
/proc/23283/stat : 23283 (java) R 23281 23283 21963 0 -1 0 3350 0 1 0 8 1 0 0 22 0 12 0 173324509 923176960 3110 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053850114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 225385 3110 1566 14 0 212109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 901540
[startup+0.516341 s]
/proc/loadavg: 1.99 2.02 1.99 4/95 23284
/proc/meminfo: memFree=1675800/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=905236 CPUtime=0.49
/proc/23283/stat : 23283 (java) R 23281 23283 21963 0 -1 0 5831 0 1 0 46 3 0 0 19 0 12 0 173324509 926961664 5426 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 226309 5426 2250 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236
[startup+1.33748 s]
/proc/loadavg: 1.99 2.02 1.99 4/106 23295
/proc/meminfo: memFree=1657600/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=905280 CPUtime=1.31
/proc/23283/stat : 23283 (java) R 23281 23283 21963 0 -1 0 7706 0 1 0 127 4 0 0 24 0 12 0 173324509 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054219374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 226320 7093 2458 14 0 212757 0
[pid=23283/tid=23285] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23285/stat : 23285 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 173324512 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23286] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23286/stat : 23286 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 173324512 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23287] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23287/stat : 23287 (java) S 23281 23283 21963 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 173324515 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23288] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23288/stat : 23288 (java) S 23281 23283 21963 0 -1 64 7 0 0 0 0 0 0 0 21 0 12 0 173324515 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23289] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23289/stat : 23289 (java) S 23281 23283 21963 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 173324515 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23290] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23290/stat : 23290 (java) S 23281 23283 21963 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 173324519 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23291] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23291/stat : 23291 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173324519 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23292] ppid=23281 vsize=905280 CPUtime=0.19
/proc/23283/task/23292/stat : 23292 (java) S 23281 23283 21963 0 -1 64 256 0 0 0 19 0 0 0 16 0 12 0 173324519 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23293] ppid=23281 vsize=905280 CPUtime=0.3
/proc/23283/task/23293/stat : 23293 (java) S 23281 23283 21963 0 -1 64 755 0 0 0 30 0 0 0 16 0 12 0 173324519 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23294] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23294/stat : 23294 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 173324519 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23295] ppid=23281 vsize=905280 CPUtime=0
/proc/23283/task/23295/stat : 23295 (java) S 23281 23283 21963 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173324519 927006720 7093 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 905280
[startup+2.98574 s]
/proc/loadavg: 1.99 2.02 1.99 3/106 23295
/proc/meminfo: memFree=1617920/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=906564 CPUtime=2.96
/proc/23283/stat : 23283 (java) R 23281 23283 21963 0 -1 0 28537 0 1 0 281 15 0 0 25 0 12 0 173324509 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054184195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 226641 27627 2472 14 0 213078 0
[pid=23283/tid=23285] ppid=23281 vsize=906564 CPUtime=0.11
/proc/23283/task/23285/stat : 23285 (java) S 23281 23283 21963 0 -1 64 2720 0 0 0 11 0 0 0 18 0 12 0 173324512 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23286] ppid=23281 vsize=906564 CPUtime=0.13
/proc/23283/task/23286/stat : 23286 (java) S 23281 23283 21963 0 -1 64 4629 0 0 0 11 2 0 0 18 0 12 0 173324512 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23287] ppid=23281 vsize=906564 CPUtime=0
/proc/23283/task/23287/stat : 23287 (java) S 23281 23283 21963 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173324515 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23288] ppid=23281 vsize=906564 CPUtime=0
/proc/23283/task/23288/stat : 23288 (java) S 23281 23283 21963 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 173324515 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23289] ppid=23281 vsize=906564 CPUtime=0
/proc/23283/task/23289/stat : 23289 (java) S 23281 23283 21963 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 173324515 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23290] ppid=23281 vsize=906564 CPUtime=0
/proc/23283/task/23290/stat : 23290 (java) S 23281 23283 21963 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 173324519 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23291] ppid=23281 vsize=906564 CPUtime=0
/proc/23283/task/23291/stat : 23291 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173324519 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23292] ppid=23281 vsize=906564 CPUtime=0.23
/proc/23283/task/23292/stat : 23292 (java) S 23281 23283 21963 0 -1 64 265 0 0 0 23 0 0 0 16 0 12 0 173324519 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23293] ppid=23281 vsize=906564 CPUtime=0.35
/proc/23283/task/23293/stat : 23293 (java) S 23281 23283 21963 0 -1 64 757 0 0 0 35 0 0 0 16 0 12 0 173324519 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23294] ppid=23281 vsize=906564 CPUtime=0
/proc/23283/task/23294/stat : 23294 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 173324519 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23295] ppid=23281 vsize=906564 CPUtime=0
/proc/23283/task/23295/stat : 23295 (java) S 23281 23283 21963 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173324519 928321536 27627 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 906564
[startup+6.28627 s]
/proc/loadavg: 1.99 2.02 1.99 3/106 23295
/proc/meminfo: memFree=1499968/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=907208 CPUtime=6.27
/proc/23283/stat : 23283 (java) R 23281 23283 21963 0 -1 0 47306 0 1 0 605 22 0 0 24 0 12 0 173324509 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053835908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 226802 46247 2472 14 0 213239 0
[pid=23283/tid=23285] ppid=23281 vsize=907208 CPUtime=0.47
/proc/23283/task/23285/stat : 23285 (java) S 23281 23283 21963 0 -1 64 12206 0 0 0 43 4 0 0 18 0 12 0 173324512 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23286] ppid=23281 vsize=907208 CPUtime=0.45
/proc/23283/task/23286/stat : 23286 (java) S 23281 23283 21963 0 -1 64 13898 0 0 0 40 5 0 0 16 0 12 0 173324512 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23287] ppid=23281 vsize=907208 CPUtime=0
/proc/23283/task/23287/stat : 23287 (java) S 23281 23283 21963 0 -1 64 11 0 0 0 0 0 0 0 17 0 12 0 173324515 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23288] ppid=23281 vsize=907208 CPUtime=0
/proc/23283/task/23288/stat : 23288 (java) S 23281 23283 21963 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 173324515 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23289] ppid=23281 vsize=907208 CPUtime=0
/proc/23283/task/23289/stat : 23289 (java) S 23281 23283 21963 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 173324515 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23290] ppid=23281 vsize=907208 CPUtime=0
/proc/23283/task/23290/stat : 23290 (java) S 23281 23283 21963 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 173324519 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23291] ppid=23281 vsize=907208 CPUtime=0
/proc/23283/task/23291/stat : 23291 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173324519 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23292] ppid=23281 vsize=907208 CPUtime=0.24
/proc/23283/task/23292/stat : 23292 (java) S 23281 23283 21963 0 -1 64 266 0 0 0 24 0 0 0 16 0 12 0 173324519 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23293] ppid=23281 vsize=907208 CPUtime=0.35
/proc/23283/task/23293/stat : 23293 (java) S 23281 23283 21963 0 -1 64 757 0 0 0 35 0 0 0 16 0 12 0 173324519 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23294] ppid=23281 vsize=907208 CPUtime=0
/proc/23283/task/23294/stat : 23294 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 173324519 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23295] ppid=23281 vsize=907208 CPUtime=0
/proc/23283/task/23295/stat : 23295 (java) S 23281 23283 21963 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173324519 928980992 46247 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 907208
[startup+12.7013 s]
/proc/loadavg: 2.15 2.05 2.01 3/106 23295
/proc/meminfo: memFree=1382080/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=910408 CPUtime=13.24
/proc/23283/stat : 23283 (java) R 23281 23283 21963 0 -1 0 82573 0 1 0 1286 38 0 0 25 0 12 0 173324509 932257792 78939 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 227602 78941 2472 14 0 214039 0
[pid=23283/tid=23285] ppid=23281 vsize=910408 CPUtime=1.89
/proc/23283/task/23285/stat : 23285 (java) R 23281 23283 21963 0 -1 64 31718 0 0 0 176 13 0 0 16 0 12 0 173324512 932257792 78943 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154958734 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23283/tid=23286] ppid=23281 vsize=910408 CPUtime=1.76
/proc/23283/task/23286/stat : 23286 (java) R 23281 23283 21963 0 -1 64 29651 0 0 0 164 12 0 0 16 0 12 0 173324512 932257792 78945 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154631190 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23287] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23287/stat : 23287 (java) S 23281 23283 21963 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 173324515 932257792 78947 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23288] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23288/stat : 23288 (java) S 23281 23283 21963 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 173324515 932257792 78950 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23289] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23289/stat : 23289 (java) S 23281 23283 21963 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 173324515 932257792 78952 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23290] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23290/stat : 23290 (java) S 23281 23283 21963 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 173324519 932257792 78954 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23291] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23291/stat : 23291 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173324519 932257792 78956 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23292] ppid=23281 vsize=910408 CPUtime=0.24
/proc/23283/task/23292/stat : 23292 (java) S 23281 23283 21963 0 -1 64 266 0 0 0 24 0 0 0 16 0 12 0 173324519 932257792 78958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23293] ppid=23281 vsize=910408 CPUtime=0.35
/proc/23283/task/23293/stat : 23293 (java) S 23281 23283 21963 0 -1 64 757 0 0 0 35 0 0 0 16 0 12 0 173324519 932257792 78961 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23294] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23294/stat : 23294 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 173324519 932257792 78962 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23295] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23295/stat : 23295 (java) S 23281 23283 21963 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173324519 932257792 78964 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.24
Current children cumulated vsize (KiB) 910408
[startup+25.5044 s]
/proc/loadavg: 2.27 2.08 2.01 3/106 23295
/proc/meminfo: memFree=1091072/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=910408 CPUtime=27.98
/proc/23283/stat : 23283 (java) R 23281 23283 21963 0 -1 0 168669 0 1 0 2723 75 0 0 23 0 12 0 173324509 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054019735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 227602 164023 2472 14 0 214039 0
[pid=23283/tid=23285] ppid=23281 vsize=910408 CPUtime=5.1
/proc/23283/task/23285/stat : 23285 (java) S 23281 23283 21963 0 -1 64 64103 0 0 0 484 26 0 0 17 0 12 0 173324512 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23286] ppid=23281 vsize=910408 CPUtime=5.02
/proc/23283/task/23286/stat : 23286 (java) S 23281 23283 21963 0 -1 64 64906 0 0 0 476 26 0 0 17 0 12 0 173324512 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23287] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23287/stat : 23287 (java) S 23281 23283 21963 0 -1 64 11 0 0 0 0 0 0 0 15 0 12 0 173324515 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23288] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23288/stat : 23288 (java) S 23281 23283 21963 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 173324515 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23289] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23289/stat : 23289 (java) S 23281 23283 21963 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 173324515 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23290] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23290/stat : 23290 (java) S 23281 23283 21963 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 173324519 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23291] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23291/stat : 23291 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173324519 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23292] ppid=23281 vsize=910408 CPUtime=0.24
/proc/23283/task/23292/stat : 23292 (java) S 23281 23283 21963 0 -1 64 266 0 0 0 24 0 0 0 16 0 12 0 173324519 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23293] ppid=23281 vsize=910408 CPUtime=0.35
/proc/23283/task/23293/stat : 23293 (java) S 23281 23283 21963 0 -1 64 757 0 0 0 35 0 0 0 16 0 12 0 173324519 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23294] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23294/stat : 23294 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 173324519 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23295] ppid=23281 vsize=910408 CPUtime=0
/proc/23283/task/23295/stat : 23295 (java) S 23281 23283 21963 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173324519 932257792 164023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 27.98
Current children cumulated vsize (KiB) 910408
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+37.0643 s]
/proc/loadavg: 2.31 2.09 2.02 3/106 23295
/proc/meminfo: memFree=958400/2055920 swapFree=4192812/4192956
[pid=23283] ppid=23281 vsize=926412 CPUtime=40.25
/proc/23283/stat : 23283 (java) S 23281 23283 21963 0 -1 0 190108 0 1 0 3940 85 0 0 21 0 12 0 173324509 948645888 181507 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23283/statm: 231603 181508 2473 14 0 218040 0
[pid=23283/tid=23285] ppid=23281 vsize=926412 CPUtime=6.46
/proc/23283/task/23285/stat : 23285 (java) S 23281 23283 21963 0 -1 64 69826 0 0 0 617 29 0 0 17 0 12 0 173324512 948645888 181509 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23283/tid=23286] ppid=23281 vsize=926412 CPUtime=6.54
/proc/23283/task/23286/stat : 23286 (java) S 23281 23283 21963 0 -1 64 74487 0 0 0 624 30 0 0 16 0 12 0 173324512 948645888 181510 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23283/tid=23287] ppid=23281 vsize=926412 CPUtime=5.12
/proc/23283/task/23287/stat : 23287 (java) R 23281 23283 21963 0 -1 64 6126 0 0 0 509 3 0 0 17 0 12 0 173324515 948645888 181511 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154454247 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23283/tid=23288] ppid=23281 vsize=926412 CPUtime=0
/proc/23283/task/23288/stat : 23288 (java) S 23281 23283 21963 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 173324515 948645888 181511 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23289] ppid=23281 vsize=926412 CPUtime=0
/proc/23283/task/23289/stat : 23289 (java) S 23281 23283 21963 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 173324515 948645888 181512 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23290] ppid=23281 vsize=926412 CPUtime=0
/proc/23283/task/23290/stat : 23290 (java) S 23281 23283 21963 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 173324519 948645888 181513 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23291] ppid=23281 vsize=926412 CPUtime=0
/proc/23283/task/23291/stat : 23291 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 173324519 948645888 181514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23292] ppid=23281 vsize=926412 CPUtime=0.24
/proc/23283/task/23292/stat : 23292 (java) S 23281 23283 21963 0 -1 64 266 0 0 0 24 0 0 0 16 0 12 0 173324519 948645888 181514 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23293] ppid=23281 vsize=926412 CPUtime=0.38
/proc/23283/task/23293/stat : 23293 (java) S 23281 23283 21963 0 -1 64 771 0 0 0 38 0 0 0 17 0 12 0 173324519 948645888 181515 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23294] ppid=23281 vsize=926412 CPUtime=0
/proc/23283/task/23294/stat : 23294 (java) S 23281 23283 21963 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 173324519 948645888 181516 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23283/tid=23295] ppid=23281 vsize=926412 CPUtime=0
/proc/23283/task/23295/stat : 23295 (java) S 23281 23283 21963 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 173324519 948645888 181516 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 40.25
Current children cumulated vsize (KiB) 926412
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): 39.2056
CPU time (s): 42.3886
CPU user time (s): 41.3797
CPU system time (s): 1.00885
CPU usage (%): 108.119
Max. virtual memory (cumulated for all children) (KiB): 942412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.3797
system time used= 1.00885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199435
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= 1627
involuntary context switches= 3162
runsolver used 0.036994 s user time and 0.149977 s system time
The end
Begin job on node3 on Mon Jan 8 09:41:29 UTC 2007
IDJOB= 217823
IDBENCH= 5173
FILE ID= node3/217823-1168249289
PBS_JOBID= 3481616
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-67-12-a3.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/217823-1168249289/sat4jCSP-bf3.jar /tmp/evaluation/217823-1168249289/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-217823-1168249289 -o ROOT/results/node3/solver-217823-1168249289 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/217823-1168249289/sat4jCSP-bf3.jar /tmp/evaluation/217823-1168249289/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 901737356712bb227c2d9ca62b34a56a
RANDOM SEED= 909262958
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: 1676216 kB
Buffers: 28884 kB
Cached: 106300 kB
SwapCached: 0 kB
Active: 258156 kB
Inactive: 59468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1676216 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2760 kB
Writeback: 0 kB
Mapped: 210412 kB
Slab: 46708 kB
Committed_AS: 5444076 kB
PageTables: 2396 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 node3 on Mon Jan 8 09:42:08 UTC 2007