0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280882-1169308351/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.093 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.52 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1277 maxDegree=12
0.52 maxArity=2
0.52 => wckTime=0.198 cpuTime=0.14 mem=8M854
0.55
0.55 solver LocalSearchSolver being built...
0.59 => wckTime=0.277 cpuTime=0.19 mem=5M497
0.60
0.60 s SATISFIABLE
0.60 o 59
0.60 c 50
0.60 o 63
0.60 c 46
0.60 o 68
0.60 c 41
0.60 o 71
0.60 c 38
0.60 o 74
0.60 c 35
0.60 o 76
0.60 c 33
0.60 o 79
0.60 c 30
0.60 o 82
0.60 c 27
0.60 o 85
0.60 c 24
0.60 o 87
0.60 c 22
0.60 o 88
0.60 c 21
0.61 o 89
0.61 c 20
0.61 o 90
0.61 c 19
0.61 o 92
0.61 c 17
0.61 o 93
0.61 c 16
0.61 o 94
0.61 c 15
0.61 o 95
0.61 c 14
0.61 o 96
0.61 c 13
0.61 o 97
0.61 c 12
0.62 o 98
0.62 c 11
0.62 o 99
0.62 c 10
0.62 o 100
0.62 c 9
0.62 o 102
0.62 c 7
0.62 o 103
0.62 c 6
0.62 o 104
0.62 c 5
0.63 o 105
0.63 c 4
0.65 o 106
0.65 c 3
0.65 o 107
0.65 c 2
1.84
1.84 search
1.84 run=0 nbConstraintChecks=5671683 nbAssignments=10000
1.84 => wckTime=1.248 cpuTime=1.22 mem=5M497
3.03
3.03 search
3.03 run=1 nbConstraintChecks=11231381 nbAssignments=20000
3.03 => wckTime=2.441 cpuTime=2.4 mem=5M497
4.27
4.27 search
4.27 run=2 nbConstraintChecks=17165585 nbAssignments=30000
4.27 => wckTime=3.673 cpuTime=3.62 mem=5M497
5.49
5.49 search
5.49 run=3 nbConstraintChecks=22982633 nbAssignments=40000
5.49 => wckTime=4.895 cpuTime=4.83 mem=5M497
6.70
6.70 search
6.70 run=4 nbConstraintChecks=28747987 nbAssignments=50000
6.70 => wckTime=6.111 cpuTime=6.04 mem=5M497
7.98
7.98 search
7.98 run=5 nbConstraintChecks=34791040 nbAssignments=60000
7.98 => wckTime=7.384 cpuTime=7.28 mem=5M497
9.20
9.20 search
9.20 run=6 nbConstraintChecks=40632384 nbAssignments=70000
9.20 => wckTime=8.612 cpuTime=8.5 mem=5M497
10.46
10.46 search
10.46 run=7 nbConstraintChecks=46769549 nbAssignments=80000
10.46 => wckTime=9.87 cpuTime=9.75 mem=5M497
11.66
11.66 search
11.66 run=8 nbConstraintChecks=52362338 nbAssignments=90000
11.66 => wckTime=11.066 cpuTime=10.94 mem=5M497
12.88
12.88 search
12.88 run=9 nbConstraintChecks=58232335 nbAssignments=100000
12.88 => wckTime=12.286 cpuTime=12.14 mem=5M497
14.06
14.06 search
14.06 run=10 nbConstraintChecks=63779485 nbAssignments=110000
14.06 => wckTime=13.465 cpuTime=13.32 mem=5M497
15.23
15.23 search
15.23 run=11 nbConstraintChecks=69253367 nbAssignments=120000
15.23 => wckTime=14.638 cpuTime=14.48 mem=5M497
16.44
16.44 search
16.44 run=12 nbConstraintChecks=75089259 nbAssignments=130000
16.44 => wckTime=15.851 cpuTime=15.68 mem=5M497
17.69
17.69 search
17.69 run=13 nbConstraintChecks=81230440 nbAssignments=140000
17.69 => wckTime=17.099 cpuTime=16.93 mem=5M497
18.89
18.89 search
18.89 run=14 nbConstraintChecks=86902024 nbAssignments=150000
18.89 => wckTime=18.299 cpuTime=18.12 mem=5M497
20.11
20.11 search
20.11 run=15 nbConstraintChecks=92773464 nbAssignments=160000
20.11 => wckTime=19.519 cpuTime=19.33 mem=5M497
21.29
21.29 search
21.29 run=16 nbConstraintChecks=98275006 nbAssignments=170000
21.29 => wckTime=20.695 cpuTime=20.49 mem=5M497
22.49
22.49 search
22.49 run=17 nbConstraintChecks=103921046 nbAssignments=180000
22.49 => wckTime=21.896 cpuTime=21.69 mem=5M497
23.67
23.67 search
23.67 run=18 nbConstraintChecks=109391685 nbAssignments=190000
23.67 => wckTime=23.079 cpuTime=22.86 mem=5M497
24.93
24.93 search
24.93 run=19 nbConstraintChecks=115484209 nbAssignments=200000
24.93 => wckTime=24.339 cpuTime=24.11 mem=5M497
26.16
26.16 search
26.16 run=20 nbConstraintChecks=121212460 nbAssignments=210000
26.16 => wckTime=25.566 cpuTime=25.32 mem=5M497
27.37
27.37 search
27.37 run=21 nbConstraintChecks=126907161 nbAssignments=220000
27.37 => wckTime=26.774 cpuTime=26.51 mem=5M497
28.55
28.55 search
28.55 run=22 nbConstraintChecks=132367280 nbAssignments=230000
28.55 => wckTime=27.954 cpuTime=27.69 mem=5M497
29.79
29.79 search
29.79 run=23 nbConstraintChecks=138314966 nbAssignments=240000
29.79 => wckTime=29.195 cpuTime=28.91 mem=5M497
30.92
30.92 search
30.92 run=24 nbConstraintChecks=143693100 nbAssignments=249302
30.92 => wckTime=30.328 cpuTime=30.05 mem=5M497
30.92
30.92 global
30.92 nbConstraintChecks=143693100 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.92 solvingWckTime=30.327 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.92 globalCpuTime=30.28
30.92 => wckTime=30.606 cpuTime=30.24 mem=5M497
30.92
30.92 solver IterativeSystematicSolver being built...
31.05 => wckTime=30.732 cpuTime=30.33 mem=16M519
31.09
31.09 preprocessing
31.09 nbConstraintChecks=18120 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.10 detectedInconsistency=no
31.10 => wckTime=0.044 cpuTime=0.02 mem=16M519
31.13
31.13 search
31.13 run=0 nbConstraintChecks=59586 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45
31.13 nbFailedAssignments=25 nbBacktracks=11 nbVisitedNodes=82 nbRestartNogoods=0
31.13 => wckTime=0.077 cpuTime=0.05 mem=16M519
31.18
31.18 search
31.18 run=1 nbConstraintChecks=175282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121
31.18 nbFailedAssignments=82 nbBacktracks=26 nbVisitedNodes=230 nbRestartNogoods=8
31.18 => wckTime=0.13 cpuTime=0.09 mem=16M519
31.24
31.24 search
31.24 run=2 nbConstraintChecks=359011 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=244
31.24 nbFailedAssignments=175 nbBacktracks=48 nbVisitedNodes=468 nbRestartNogoods=21
31.24 => wckTime=0.189 cpuTime=0.15 mem=16M519
31.32
31.32 search
31.32 run=3 nbConstraintChecks=653276 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=418
31.32 nbFailedAssignments=312 nbBacktracks=81 nbVisitedNodes=811 nbRestartNogoods=41
31.32 => wckTime=0.271 cpuTime=0.23 mem=16M519
31.48
31.48 search
31.48 run=4 nbConstraintChecks=1210179 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=747
31.48 nbFailedAssignments=587 nbBacktracks=131 nbVisitedNodes=1465 nbRestartNogoods=50
31.48 => wckTime=0.429 cpuTime=0.39 mem=16M519
31.63
31.63 search
31.63 run=5 nbConstraintChecks=1757059 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1077
31.63 nbFailedAssignments=836 nbBacktracks=206 nbVisitedNodes=2115 nbRestartNogoods=65
31.63 => wckTime=0.584 cpuTime=0.54 mem=16M519
31.89
31.89 search
31.89 run=6 nbConstraintChecks=2688356 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1683
31.89 nbFailedAssignments=1322 nbBacktracks=319 nbVisitedNodes=3320 nbRestartNogoods=70
31.89 => wckTime=0.841 cpuTime=0.77 mem=16M519
32.21
32.21 search
32.22 run=7 nbConstraintChecks=3974067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2487
32.22 nbFailedAssignments=1954 nbBacktracks=489 nbVisitedNodes=4925 nbRestartNogoods=87
32.22 => wckTime=1.165 cpuTime=1.09 mem=16M519
32.69
32.69 search
32.69 run=8 nbConstraintChecks=5830396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3676
32.69 nbFailedAssignments=2881 nbBacktracks=745 nbVisitedNodes=7294 nbRestartNogoods=88
32.69 => wckTime=1.641 cpuTime=1.56 mem=16M519
33.42
33.42 search
33.42 run=9 nbConstraintChecks=8284255 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5319
33.42 nbFailedAssignments=4134 nbBacktracks=1130 nbVisitedNodes=10541 nbRestartNogoods=102
33.42 => wckTime=2.367 cpuTime=2.28 mem=16M519
34.61
34.61 search
34.61 run=10 nbConstraintChecks=12710708 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8104
34.61 nbFailedAssignments=6338 nbBacktracks=1707 nbVisitedNodes=16084 nbRestartNogoods=123
34.61 => wckTime=3.556 cpuTime=3.46 mem=16M519
36.25
36.25 search
36.25 run=11 nbConstraintChecks=18541381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11892
36.25 nbFailedAssignments=9256 nbBacktracks=2571 nbVisitedNodes=23621 nbRestartNogoods=146
36.25 => wckTime=5.196 cpuTime=5.08 mem=16M519
38.29
38.29 search
38.29 run=12 nbConstraintChecks=25410377 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16354
38.29 nbFailedAssignments=12416 nbBacktracks=3868 nbVisitedNodes=32466 nbRestartNogoods=168
38.30 => wckTime=7.245 cpuTime=7.12 mem=16M519
41.25
41.25 search
41.25 run=13 nbConstraintChecks=35428256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22976
41.25 nbFailedAssignments=17084 nbBacktracks=5815 nbVisitedNodes=45615 nbRestartNogoods=185
41.25 => wckTime=10.2 cpuTime=10.05 mem=16M519
45.48
45.48 search
45.48 run=14 nbConstraintChecks=49197980 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31804
45.48 nbFailedAssignments=22990 nbBacktracks=8734 nbVisitedNodes=63037 nbRestartNogoods=203
45.48 => wckTime=14.428 cpuTime=14.24 mem=16M519
51.08
51.08 search
51.08 run=15 nbConstraintChecks=66346582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43558
51.08 nbFailedAssignments=30363 nbBacktracks=13113 nbVisitedNodes=86206 nbRestartNogoods=218
51.08 => wckTime=20.026 cpuTime=19.8 mem=16M519
53.08
53.08 search
53.08 run=16 nbConstraintChecks=72309517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47632
53.08 nbFailedAssignments=32775 nbBacktracks=14776 nbVisitedNodes=94114 nbRestartNogoods=229
53.08 => wckTime=22.034 cpuTime=21.77 mem=16M519
53.08
53.08 global
53.08 nbConstraintChecks=72327637 nbRestartNogoods=229 solvingWckTime=22.035 solvingCpuTime=21.78 expiredTime=no
53.09 totalExploration=yes nbFoundSolutions=0 globalCpuTime=52.15
53.09 => wckTime=52.768 cpuTime=52.11 mem=16M519
53.09
53.09 s OPTIMUM FOUND
53.09 v 1 7 5 2 9 4 8 9 0 4 5 2 9 4 9 6 9 8 6 5 1 3 9 9 5 4 3 4 3 8
53.09
53.09 totalWckTime=52.846 totalCpuTime=52.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-280882-1169308351 -o ROOT/results/node70/solver-280882-1169308351 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280882-1169308351/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 0.75 0.97 1.23 5/69 11481
/proc/meminfo: memFree=1423016/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=1784 CPUtime=0
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 78332208 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/11480/statm: 446 136 102 14 0 91 0
[startup+0.103686 s]
/proc/loadavg: 0.75 0.97 1.23 5/69 11481
/proc/meminfo: memFree=1423016/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=912588 CPUtime=0.07
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 2750 0 1 0 6 1 0 0 20 0 8 0 78332208 934490112 2496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11480/statm: 228147 2496 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588
[startup+0.515731 s]
/proc/loadavg: 0.75 0.97 1.23 5/69 11481
/proc/meminfo: memFree=1423016/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=916356 CPUtime=0.48
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 6610 0 1 0 44 4 0 0 20 0 8 0 78332208 938348544 6349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11480/statm: 229089 6349 2152 14 0 215559 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916356
[startup+1.3398 s]
/proc/loadavg: 0.75 0.97 1.23 3/87 11525
/proc/meminfo: memFree=1385240/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=916468 CPUtime=1.29
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 7139 0 1 0 104 25 0 0 25 0 8 0 78332208 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11480/statm: 229117 6877 2479 14 0 215587 0
[pid=11480/tid=11494] ppid=11477 vsize=916468 CPUtime=0.02
/proc/11480/task/11494/stat : 11494 (java) S 11477 11480 11192 0 -1 64 152 0 0 0 2 0 0 0 17 0 8 0 78332212 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11498] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11498/stat : 11498 (java) S 11477 11480 11192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11499] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11499/stat : 11499 (java) S 11477 11480 11192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11510] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11510/stat : 11510 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332216 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11511] ppid=11477 vsize=916468 CPUtime=0.1
/proc/11480/task/11511/stat : 11511 (java) S 11477 11480 11192 0 -1 64 331 0 0 0 10 0 0 0 16 0 8 0 78332216 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11512] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11512/stat : 11512 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78332216 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11513] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11513/stat : 11513 (java) S 11477 11480 11192 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 78332217 938463232 6877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916468
[startup+2.97697 s]
/proc/loadavg: 0.75 0.97 1.23 3/87 11525
/proc/meminfo: memFree=1385240/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=916468 CPUtime=2.92
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 7142 0 1 0 214 78 0 0 20 0 8 0 78332208 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11480/statm: 229117 6879 2479 14 0 215587 0
[pid=11480/tid=11494] ppid=11477 vsize=916468 CPUtime=0.02
/proc/11480/task/11494/stat : 11494 (java) S 11477 11480 11192 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 78332212 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11498] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11498/stat : 11498 (java) S 11477 11480 11192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11499] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11499/stat : 11499 (java) S 11477 11480 11192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11510] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11510/stat : 11510 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11511] ppid=11477 vsize=916468 CPUtime=0.11
/proc/11480/task/11511/stat : 11511 (java) S 11477 11480 11192 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11512] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11512/stat : 11512 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11513] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11513/stat : 11513 (java) S 11477 11480 11192 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 78332217 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 916468
[startup+6.2563 s]
/proc/loadavg: 0.85 0.99 1.23 3/87 11525
/proc/meminfo: memFree=1385176/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=916468 CPUtime=6.17
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 7142 0 1 0 439 178 0 0 25 0 8 0 78332208 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11480/statm: 229117 6879 2479 14 0 215587 0
[pid=11480/tid=11494] ppid=11477 vsize=916468 CPUtime=0.02
/proc/11480/task/11494/stat : 11494 (java) S 11477 11480 11192 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 78332212 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11498] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11498/stat : 11498 (java) S 11477 11480 11192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11499] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11499/stat : 11499 (java) S 11477 11480 11192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11510] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11510/stat : 11510 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11511] ppid=11477 vsize=916468 CPUtime=0.11
/proc/11480/task/11511/stat : 11511 (java) S 11477 11480 11192 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11512] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11512/stat : 11512 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11513] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11513/stat : 11513 (java) S 11477 11480 11192 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 78332217 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 916468
[startup+12.7389 s]
/proc/loadavg: 0.94 1.00 1.24 3/87 11525
/proc/meminfo: memFree=1385192/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=916468 CPUtime=12.58
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 7142 0 1 0 887 371 0 0 25 0 8 0 78332208 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073668739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11480/statm: 229117 6879 2479 14 0 215587 0
[pid=11480/tid=11494] ppid=11477 vsize=916468 CPUtime=0.02
/proc/11480/task/11494/stat : 11494 (java) S 11477 11480 11192 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 78332212 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11498] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11498/stat : 11498 (java) S 11477 11480 11192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11499] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11499/stat : 11499 (java) S 11477 11480 11192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11510] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11510/stat : 11510 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11511] ppid=11477 vsize=916468 CPUtime=0.11
/proc/11480/task/11511/stat : 11511 (java) S 11477 11480 11192 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11512] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11512/stat : 11512 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78332216 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11513] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11513/stat : 11513 (java) S 11477 11480 11192 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 78332217 938463232 6879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 916468
[startup+25.5892 s]
/proc/loadavg: 1.10 1.04 1.25 3/87 11525
/proc/meminfo: memFree=1385192/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=916468 CPUtime=25.34
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 7143 0 1 0 1767 767 0 0 25 0 8 0 78332208 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11480/statm: 229117 6880 2479 14 0 215587 0
[pid=11480/tid=11494] ppid=11477 vsize=916468 CPUtime=0.02
/proc/11480/task/11494/stat : 11494 (java) S 11477 11480 11192 0 -1 64 152 0 0 0 2 0 0 0 16 0 8 0 78332212 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11498] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11498/stat : 11498 (java) S 11477 11480 11192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11499] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11499/stat : 11499 (java) S 11477 11480 11192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11510] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11510/stat : 11510 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332216 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11511] ppid=11477 vsize=916468 CPUtime=0.11
/proc/11480/task/11511/stat : 11511 (java) S 11477 11480 11192 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 78332216 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11512] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11512/stat : 11512 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78332216 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11513] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11513/stat : 11513 (java) S 11477 11480 11192 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 78332217 938463232 6880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 916468
[startup+51.2828 s]
/proc/loadavg: 1.45 1.13 1.27 3/87 11525
/proc/meminfo: memFree=1370728/2055920 swapFree=4192812/4192956
[pid=11480] ppid=11477 vsize=916468 CPUtime=50.82
/proc/11480/stat : 11480 (java) R 11477 11480 11192 0 -1 0 9039 0 1 0 4152 930 0 0 25 0 8 0 78332208 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11480/statm: 229117 8771 2532 14 0 215587 0
[pid=11480/tid=11494] ppid=11477 vsize=916468 CPUtime=0.02
/proc/11480/task/11494/stat : 11494 (java) S 11477 11480 11192 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78332212 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11498] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11498/stat : 11498 (java) S 11477 11480 11192 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11499] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11499/stat : 11499 (java) S 11477 11480 11192 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 78332213 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11510] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11510/stat : 11510 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78332216 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11511] ppid=11477 vsize=916468 CPUtime=0.22
/proc/11480/task/11511/stat : 11511 (java) S 11477 11480 11192 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 78332216 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11480/tid=11512] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11512/stat : 11512 (java) S 11477 11480 11192 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78332216 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11480/tid=11513] ppid=11477 vsize=916468 CPUtime=0
/proc/11480/task/11513/stat : 11513 (java) S 11477 11480 11192 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 78332217 938463232 8771 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 916468
Child status: 0
Real time (s): 53.1425
CPU time (s): 52.617
CPU user time (s): 43.3004
CPU system time (s): 9.31658
CPU usage (%): 99.0111
Max. virtual memory (cumulated for all children) (KiB): 916472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.3004
system time used= 9.31658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9135
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= 2234
involuntary context switches= 3842
runsolver used 0.051992 s user time and 0.158975 s system time
The end
Begin job on node70 on Sat Jan 20 15:52:32 UTC 2007
IDJOB= 280882
IDBENCH= 11981
IDSOLVER= 68
FILE ID= node70/280882-1169308351
PBS_JOBID= 3610203
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280882-1169308351/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-280882-1169308351 -o ROOT/results/node70/solver-280882-1169308351 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280882-1169308351/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= da297902f0ed622e5da1ee117d882e4c
RANDOM SEED= 704419145
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1423696 kB
Buffers: 45684 kB
Cached: 495044 kB
SwapCached: 144 kB
Active: 139996 kB
Inactive: 421100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1423696 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2124 kB
Writeback: 0 kB
Mapped: 30412 kB
Slab: 56880 kB
Committed_AS: 1096716 kB
PageTables: 1596 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= 66561 MiB
End job on node70 on Sat Jan 20 15:53:26 UTC 2007