0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=epfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/282367-1169318959/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.43 => wckTime=0.09 cpuTime=0.1 mem=6M885
0.43
0.43 relations being loaded...
0.47
0.47 constraints being loaded...
0.52 nbConstraints=53 nbRelationTypes=53 nbExtensionStructures=53 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=53 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=634 maxDegree=9 maxArity=2
0.52 => wckTime=0.179 cpuTime=0.14 mem=7M870
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.258 cpuTime=0.19 mem=5M422
0.60
0.60 s SATISFIABLE
0.60 o 19
0.60 c 34
0.60 o 23
0.60 c 30
0.61 o 26
0.61 c 27
0.61 o 29
0.61 c 24
0.61 o 31
0.61 c 22
0.61 o 33
0.61 c 20
0.61 o 35
0.61 c 18
0.61 o 37
0.61 c 16
0.61 o 39
0.61 c 14
0.61 o 40
0.61 c 13
0.62 o 41
0.62 c 12
0.62 o 42
0.62 c 11
0.62 o 43
0.62 c 10
0.63 o 44
0.63 c 9
0.63 o 45
0.63 c 8
0.67 o 46
0.67 c 7
1.72
1.72 search
1.72 run=0 nbConstraintChecks=4222048 nbAssignments=10000
1.72 => wckTime=1.123 cpuTime=1.1 mem=5M422
2.76
2.76 search
2.76 run=1 nbConstraintChecks=8308334 nbAssignments=20000
2.77 => wckTime=2.166 cpuTime=2.14 mem=5M422
3.81
3.81 search
3.81 run=2 nbConstraintChecks=12501391 nbAssignments=30000
3.81 => wckTime=3.215 cpuTime=3.19 mem=5M422
4.85
4.85 search
4.85 run=3 nbConstraintChecks=16661637 nbAssignments=40000
4.85 => wckTime=4.255 cpuTime=4.23 mem=5M422
5.90
5.90 search
5.90 run=4 nbConstraintChecks=20887493 nbAssignments=50000
5.90 => wckTime=5.303 cpuTime=5.28 mem=5M422
6.95
6.95 search
6.95 run=5 nbConstraintChecks=25098194 nbAssignments=60000
6.95 => wckTime=6.349 cpuTime=6.32 mem=5M422
7.99
7.99 search
7.99 run=6 nbConstraintChecks=29270255 nbAssignments=70000
7.99 => wckTime=7.391 cpuTime=7.37 mem=5M422
9.04
9.04 search
9.04 run=7 nbConstraintChecks=33479428 nbAssignments=80000
9.04 => wckTime=8.438 cpuTime=8.41 mem=5M422
10.09
10.09 search
10.09 run=8 nbConstraintChecks=37736351 nbAssignments=90000
10.09 => wckTime=9.488 cpuTime=9.45 mem=5M422
11.14
11.14 search
11.14 run=9 nbConstraintChecks=41995772 nbAssignments=100000
11.14 => wckTime=10.541 cpuTime=10.51 mem=5M422
12.18
12.18 search
12.18 run=10 nbConstraintChecks=46154759 nbAssignments=110000
12.18 => wckTime=11.584 cpuTime=11.56 mem=5M422
13.23
13.23 search
13.23 run=11 nbConstraintChecks=50373059 nbAssignments=120000
13.23 => wckTime=12.629 cpuTime=12.59 mem=5M422
14.27
14.27 search
14.27 run=12 nbConstraintChecks=54531181 nbAssignments=130000
14.28 => wckTime=13.676 cpuTime=13.64 mem=5M422
15.33
15.33 search
15.33 run=13 nbConstraintChecks=58777808 nbAssignments=140000
15.33 => wckTime=14.734 cpuTime=14.7 mem=5M422
16.38
16.38 search
16.38 run=14 nbConstraintChecks=62870165 nbAssignments=150000
16.38 => wckTime=15.778 cpuTime=15.74 mem=5M422
17.44
17.44 search
17.44 run=15 nbConstraintChecks=67124616 nbAssignments=160000
17.44 => wckTime=16.839 cpuTime=16.8 mem=5M422
18.48
18.48 search
18.48 run=16 nbConstraintChecks=71257610 nbAssignments=170000
18.48 => wckTime=17.885 cpuTime=17.85 mem=5M422
19.54
19.54 search
19.54 run=17 nbConstraintChecks=75467977 nbAssignments=180000
19.54 => wckTime=18.943 cpuTime=18.9 mem=5M422
20.59
20.59 search
20.59 run=18 nbConstraintChecks=79611773 nbAssignments=190000
20.59 => wckTime=19.992 cpuTime=19.96 mem=5M422
21.65
21.65 search
21.65 run=19 nbConstraintChecks=83858766 nbAssignments=200000
21.65 => wckTime=21.054 cpuTime=21.01 mem=5M422
22.70
22.70 search
22.70 run=20 nbConstraintChecks=88010756 nbAssignments=210000
22.70 => wckTime=22.104 cpuTime=22.07 mem=5M422
23.76
23.76 search
23.76 run=21 nbConstraintChecks=92293755 nbAssignments=220000
23.76 => wckTime=23.165 cpuTime=23.12 mem=5M422
24.81
24.81 search
24.81 run=22 nbConstraintChecks=96433461 nbAssignments=230000
24.81 => wckTime=24.207 cpuTime=24.16 mem=5M422
25.85
25.85 search
25.85 run=23 nbConstraintChecks=100618552 nbAssignments=240000
25.85 => wckTime=25.25 cpuTime=25.21 mem=5M422
26.89
26.89 search
26.89 run=24 nbConstraintChecks=104718523 nbAssignments=250000
26.89 => wckTime=26.287 cpuTime=26.24 mem=5M422
27.96
27.96 search
27.96 run=25 nbConstraintChecks=109153495 nbAssignments=260000
27.96 => wckTime=27.365 cpuTime=27.31 mem=5M422
29.01
29.01 search
29.01 run=26 nbConstraintChecks=113376025 nbAssignments=270000
29.01 => wckTime=28.415 cpuTime=28.36 mem=5M422
30.06
30.06 search
30.06 run=27 nbConstraintChecks=117788323 nbAssignments=280000
30.06 => wckTime=29.463 cpuTime=29.41 mem=5M422
30.72
30.72 search
30.72 run=28 nbConstraintChecks=120545886 nbAssignments=286642
30.72 => wckTime=30.124 cpuTime=30.06 mem=5M422
30.72
30.73 global
30.73 nbConstraintChecks=120545886 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.73 solvingWckTime=30.123 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
30.73 globalCpuTime=30.29
30.73 => wckTime=30.382 cpuTime=30.25 mem=5M422
30.73
30.73 solver IterativeSystematicSolver being built...
30.86 => wckTime=30.512 cpuTime=30.35 mem=16M459
30.88
30.88 preprocessing
30.88 nbConstraintChecks=10085 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.88 detectedInconsistency=no
30.88 => wckTime=0.026 cpuTime=0.02 mem=16M459
30.92
30.92 search
30.92 run=0 nbConstraintChecks=42325 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49
30.92 nbFailedAssignments=36 nbBacktracks=10 nbVisitedNodes=96 nbRestartNogoods=0
30.92 => wckTime=0.061 cpuTime=0.05 mem=16M459
30.95
30.95 search
30.95 run=1 nbConstraintChecks=117940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=123
30.96 nbFailedAssignments=91 nbBacktracks=25 nbVisitedNodes=240 nbRestartNogoods=6
30.96 => wckTime=0.099 cpuTime=0.08 mem=16M459
30.98
30.98 search
30.98 run=2 nbConstraintChecks=197490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=208
30.98 nbFailedAssignments=151 nbBacktracks=47 nbVisitedNodes=407 nbRestartNogoods=17
30.98 => wckTime=0.128 cpuTime=0.1 mem=16M459
31.02
31.02 search
31.02 run=3 nbConstraintChecks=323737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=325
31.02 nbFailedAssignments=231 nbBacktracks=80 nbVisitedNodes=637 nbRestartNogoods=19
31.02 => wckTime=0.168 cpuTime=0.14 mem=16M459
31.10
31.10 search
31.10 run=4 nbConstraintChecks=553958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=559
31.10 nbFailedAssignments=413 nbBacktracks=130 nbVisitedNodes=1103 nbRestartNogoods=23
31.10 => wckTime=0.241 cpuTime=0.21 mem=16M459
31.19
31.19 search
31.19 run=5 nbConstraintChecks=867987 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=867
31.19 nbFailedAssignments=641 nbBacktracks=205 nbVisitedNodes=1713 nbRestartNogoods=32
31.19 => wckTime=0.332 cpuTime=0.3 mem=16M459
31.33
31.33 search
31.33 run=6 nbConstraintChecks=1362936 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1349
31.33 nbFailedAssignments=1003 nbBacktracks=318 nbVisitedNodes=2670 nbRestartNogoods=38
31.33 => wckTime=0.476 cpuTime=0.44 mem=16M459
31.54
31.54 search
31.54 run=7 nbConstraintChecks=2098066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2046
31.54 nbFailedAssignments=1525 nbBacktracks=488 nbVisitedNodes=4053 nbRestartNogoods=53
31.54 => wckTime=0.684 cpuTime=0.63 mem=16M459
31.81
31.81 search
31.81 run=8 nbConstraintChecks=2953934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2959
31.81 nbFailedAssignments=2177 nbBacktracks=744 nbVisitedNodes=5866 nbRestartNogoods=71
31.81 => wckTime=0.958 cpuTime=0.89 mem=16M459
32.22
32.22 search
32.22 run=9 nbConstraintChecks=4378366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4372
32.22 nbFailedAssignments=3201 nbBacktracks=1128 nbVisitedNodes=8680 nbRestartNogoods=84
32.22 => wckTime=1.367 cpuTime=1.3 mem=16M459
32.84
32.84 search
32.84 run=10 nbConstraintChecks=6713483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6498
32.84 nbFailedAssignments=4746 nbBacktracks=1704 nbVisitedNodes=12905 nbRestartNogoods=98
32.84 => wckTime=1.985 cpuTime=1.91 mem=16M459
33.74
33.74 search
33.74 run=11 nbConstraintChecks=10038540 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9614
33.74 nbFailedAssignments=6993 nbBacktracks=2568 nbVisitedNodes=19124 nbRestartNogoods=121
33.74 => wckTime=2.886 cpuTime=2.81 mem=16M459
35.15
35.15 search
35.15 run=12 nbConstraintChecks=15027837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14521
35.15 nbFailedAssignments=10600 nbBacktracks=3865 nbVisitedNodes=28879 nbRestartNogoods=145
35.15 => wckTime=4.298 cpuTime=4.22 mem=16M459
37.30
37.30 search
37.30 run=13 nbConstraintChecks=22652823 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21954
37.30 nbFailedAssignments=16084 nbBacktracks=5811 nbVisitedNodes=43693 nbRestartNogoods=165
37.30 => wckTime=6.443 cpuTime=6.37 mem=16M459
40.21
40.21 search
40.21 run=14 nbConstraintChecks=32768451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31950
40.21 nbFailedAssignments=23157 nbBacktracks=8730 nbVisitedNodes=63576 nbRestartNogoods=182
40.21 => wckTime=9.351 cpuTime=9.27 mem=16M459
40.52
40.52 search
40.52 run=15 nbConstraintChecks=33805565 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33013
40.52 nbFailedAssignments=23842 nbBacktracks=9109 nbVisitedNodes=65678 nbRestartNogoods=189
40.52 => wckTime=9.666 cpuTime=9.59 mem=16M459
40.52
40.52 global
40.52 nbConstraintChecks=33815650 nbRestartNogoods=189 solvingWckTime=9.667 solvingCpuTime=9.59 expiredTime=no
40.52 totalExploration=yes nbFoundSolutions=0 globalCpuTime=39.98
40.52 => wckTime=40.18 cpuTime=39.94 mem=16M459
40.52
40.52 s OPTIMUM FOUND
40.53 v 8 7 7 1 4 7 7 8 9 10 5 6 1 3 7 3 8 7 7 2
40.53
40.53 totalWckTime=40.261 totalCpuTime=39.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-282367-1169318959 -o ROOT/results/node23/solver-282367-1169318959 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282367-1169318959/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: 1.08 0.97 0.98 4/93 24529
/proc/meminfo: memFree=1267680/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=1784 CPUtime=0
/proc/24528/stat : 24528 (java) R 24526 24528 24112 0 -1 0 342 0 0 0 0 0 0 0 18 0 1 0 280290527 1826816 136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24528/statm: 446 140 106 14 0 91 0
[startup+0.102707 s]
/proc/loadavg: 1.08 0.97 0.98 4/93 24529
/proc/meminfo: memFree=1267680/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=913228 CPUtime=0.07
/proc/24528/stat : 24528 (java) D 24526 24528 24112 0 -1 0 2919 0 1 0 6 1 0 0 17 0 8 0 280290527 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24528/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.51078 s]
/proc/loadavg: 1.08 0.97 0.98 4/93 24529
/proc/meminfo: memFree=1267680/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=915332 CPUtime=0.45
/proc/24528/stat : 24528 (java) R 24526 24528 24112 0 -1 0 6325 0 1 0 42 3 0 0 20 0 8 0 280290527 937299968 6064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24528/statm: 228833 6064 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.33294 s]
/proc/loadavg: 1.08 0.97 0.98 3/100 24536
/proc/meminfo: memFree=1251048/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=915440 CPUtime=1.28
/proc/24528/stat : 24528 (java) R 24526 24528 24112 0 -1 0 6870 0 1 0 100 28 0 0 25 0 8 0 280290527 937410560 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24528/statm: 228859 6608 2479 14 0 215329 0
[pid=24528/tid=24530] ppid=24526 vsize=915440 CPUtime=0.02
/proc/24528/task/24530/stat : 24530 (java) S 24526 24528 24112 0 -1 64 133 0 0 0 2 0 0 0 16 0 8 0 280290530 937410560 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24531] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24531/stat : 24531 (java) S 24526 24528 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290531 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24532] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24532/stat : 24532 (java) S 24526 24528 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290531 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24533] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24533/stat : 24533 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280290534 937410560 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24534] ppid=24526 vsize=915436 CPUtime=0.1
/proc/24528/task/24534/stat : 24534 (java) S 24526 24528 24112 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 280290534 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24535] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24535/stat : 24535 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290534 937406464 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24536] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24536/stat : 24536 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290534 937410560 6608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915440
[startup+2.98526 s]
/proc/loadavg: 1.08 0.97 0.98 3/100 24536
/proc/meminfo: memFree=1250984/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=915436 CPUtime=2.93
/proc/24528/stat : 24528 (java) R 24526 24528 24112 0 -1 0 6873 0 1 0 201 92 0 0 25 0 8 0 280290527 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24528/statm: 228859 6610 2479 14 0 215329 0
[pid=24528/tid=24530] ppid=24526 vsize=915436 CPUtime=0.02
/proc/24528/task/24530/stat : 24530 (java) S 24526 24528 24112 0 -1 64 133 0 0 0 2 0 0 0 16 0 8 0 280290530 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24531] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24531/stat : 24531 (java) S 24526 24528 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290531 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24532] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24532/stat : 24532 (java) S 24526 24528 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290531 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24533] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24533/stat : 24533 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280290534 937410560 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24534] ppid=24526 vsize=915436 CPUtime=0.1
/proc/24528/task/24534/stat : 24534 (java) S 24526 24528 24112 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 280290534 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24535] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24535/stat : 24535 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290534 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24536] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24536/stat : 24536 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290534 937410560 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.26589 s]
/proc/loadavg: 1.15 0.99 0.99 3/100 24536
/proc/meminfo: memFree=1250856/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=915436 CPUtime=6.2
/proc/24528/stat : 24528 (java) R 24526 24528 24112 0 -1 0 6873 0 1 0 404 216 0 0 25 0 8 0 280290527 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24528/statm: 228859 6610 2479 14 0 215329 0
[pid=24528/tid=24530] ppid=24526 vsize=915440 CPUtime=0.02
/proc/24528/task/24530/stat : 24530 (java) S 24526 24528 24112 0 -1 64 133 0 0 0 2 0 0 0 16 0 8 0 280290530 937410560 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24531] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24531/stat : 24531 (java) S 24526 24528 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290531 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24532] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24532/stat : 24532 (java) S 24526 24528 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290531 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24533] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24533/stat : 24533 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280290534 937410560 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24534] ppid=24526 vsize=915436 CPUtime=0.1
/proc/24528/task/24534/stat : 24534 (java) S 24526 24528 24112 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 280290534 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24535] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24535/stat : 24535 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290534 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24536] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24536/stat : 24536 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290534 937410560 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915436
[startup+12.7511 s]
/proc/loadavg: 1.22 1.00 0.99 3/100 24536
/proc/meminfo: memFree=1250856/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=915436 CPUtime=12.69
/proc/24528/stat : 24528 (java) R 24526 24528 24112 0 -1 0 6873 0 1 0 807 462 0 0 25 0 8 0 280290527 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24528/statm: 228859 6610 2479 14 0 215329 0
[pid=24528/tid=24530] ppid=24526 vsize=915436 CPUtime=0.02
/proc/24528/task/24530/stat : 24530 (java) S 24526 24528 24112 0 -1 64 133 0 0 0 2 0 0 0 16 0 8 0 280290530 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24531] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24531/stat : 24531 (java) S 24526 24528 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290531 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24532] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24532/stat : 24532 (java) S 24526 24528 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290531 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24533] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24533/stat : 24533 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280290534 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24534] ppid=24526 vsize=915436 CPUtime=0.1
/proc/24528/task/24534/stat : 24534 (java) S 24526 24528 24112 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 280290534 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24535] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24535/stat : 24535 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290534 937406464 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24536] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24536/stat : 24536 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290534 937410560 6610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915436
[startup+25.5956 s]
/proc/loadavg: 1.31 1.04 1.00 2/88 24545
/proc/meminfo: memFree=1276872/2055920 swapFree=4156072/4192956
[pid=24528] ppid=24526 vsize=915436 CPUtime=25.52
/proc/24528/stat : 24528 (java) R 24526 24528 24112 0 -1 0 6874 0 1 0 1603 949 0 0 25 0 8 0 280290527 937406464 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24528/statm: 228859 6611 2479 14 0 215329 0
[pid=24528/tid=24530] ppid=24526 vsize=915436 CPUtime=0.02
/proc/24528/task/24530/stat : 24530 (java) S 24526 24528 24112 0 -1 64 133 0 0 0 2 0 0 0 16 0 8 0 280290530 937406464 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24531] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24531/stat : 24531 (java) S 24526 24528 24112 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290531 937406464 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24532] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24532/stat : 24532 (java) S 24526 24528 24112 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290531 937406464 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24533] ppid=24526 vsize=915440 CPUtime=0
/proc/24528/task/24533/stat : 24533 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280290534 937410560 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24534] ppid=24526 vsize=915436 CPUtime=0.1
/proc/24528/task/24534/stat : 24534 (java) S 24526 24528 24112 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 280290534 937406464 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24535] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24535/stat : 24535 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290534 937406464 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24528/tid=24536] ppid=24526 vsize=915436 CPUtime=0
/proc/24528/task/24536/stat : 24536 (java) S 24526 24528 24112 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290534 937406464 6611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 40.5538
CPU time (s): 40.4439
CPU user time (s): 29.0126
CPU system time (s): 11.4313
CPU usage (%): 99.729
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.0126
system time used= 11.4313
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9176
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= 1732
involuntary context switches= 2588
runsolver used 0.044993 s user time and 0.12798 s system time
The end
Begin job on node23 on Sat Jan 20 18:49:19 UTC 2007
IDJOB= 282367
IDBENCH= 12751
IDSOLVER= 68
FILE ID= node23/282367-1169318959
PBS_JOBID= 3610348
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-20-10-20-t70/pi-20-10-20-30-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282367-1169318959/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-282367-1169318959 -o ROOT/results/node23/solver-282367-1169318959 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282367-1169318959/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 705a738f3a66f316c4d26203f1a49093
RANDOM SEED= 619338822
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.265
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.265
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: 1276608 kB
Buffers: 40892 kB
Cached: 619180 kB
SwapCached: 12040 kB
Active: 181800 kB
Inactive: 531312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1276608 kB
SwapTotal: 4192956 kB
SwapFree: 4156072 kB
Dirty: 3552 kB
Writeback: 0 kB
Mapped: 76560 kB
Slab: 50672 kB
Committed_AS: 6113564 kB
PageTables: 2372 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 node23 on Sat Jan 20 18:50:02 UTC 2007