0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=pfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/280928-1169308544/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.094 cpuTime=0.09 mem=6M910
0.38
0.38 relations being loaded...
0.43
0.43 constraints being loaded...
0.48 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.48 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1282 maxDegree=13
0.48 maxArity=2
0.48 => wckTime=0.198 cpuTime=0.14 mem=8M893
0.52
0.52 solver LocalSearchSolver being built...
0.57 => wckTime=0.281 cpuTime=0.19 mem=5M496
0.57
0.57 s SATISFIABLE
0.57 o 60
0.57 c 49
0.57 o 65
0.57 c 44
0.57 o 69
0.57 c 40
0.57 o 71
0.57 c 38
0.57 o 74
0.57 c 35
0.57 o 76
0.57 c 33
0.58 o 79
0.58 c 30
0.58 o 82
0.58 c 27
0.58 o 84
0.58 c 25
0.58 o 85
0.58 c 24
0.58 o 88
0.58 c 21
0.58 o 89
0.58 c 20
0.58 o 90
0.58 c 19
0.58 o 93
0.58 c 16
0.58 o 95
0.58 c 14
0.58 o 96
0.58 c 13
0.59 o 97
0.59 c 12
0.59 o 98
0.59 c 11
0.59 o 99
0.59 c 10
0.59 o 100
0.59 c 9
0.59 o 101
0.59 c 8
0.59 o 102
0.59 c 7
0.59 o 103
0.59 c 6
0.60 o 104
0.60 c 5
0.63 o 105
0.63 c 4
0.66 o 106
0.66 c 3
1.83
1.83 search
1.83 run=0 nbConstraintChecks=5786618 nbAssignments=10000
1.83 => wckTime=1.261 cpuTime=1.24 mem=5M496
2.37 o 107
2.37 c 2
2.96
2.96 search
2.96 run=1 nbConstraintChecks=11026561 nbAssignments=20000
2.96 => wckTime=2.398 cpuTime=2.36 mem=5M496
4.13
4.13 search
4.13 run=2 nbConstraintChecks=16623988 nbAssignments=30000
4.13 => wckTime=3.569 cpuTime=3.53 mem=5M496
5.37
5.37 search
5.37 run=3 nbConstraintChecks=22758013 nbAssignments=40000
5.37 => wckTime=4.803 cpuTime=4.75 mem=5M496
6.56
6.56 search
6.56 run=4 nbConstraintChecks=28523448 nbAssignments=50000
6.56 => wckTime=5.997 cpuTime=5.95 mem=5M496
7.74
7.74 search
7.74 run=5 nbConstraintChecks=34168652 nbAssignments=60000
7.74 => wckTime=7.177 cpuTime=7.12 mem=5M496
8.94
8.94 search
8.94 run=6 nbConstraintChecks=40008356 nbAssignments=70000
8.94 => wckTime=8.378 cpuTime=8.32 mem=5M496
10.14
10.14 search
10.14 run=7 nbConstraintChecks=45808089 nbAssignments=80000
10.14 => wckTime=9.577 cpuTime=9.51 mem=5M496
11.28
11.28 search
11.28 run=8 nbConstraintChecks=51131898 nbAssignments=90000
11.28 => wckTime=10.719 cpuTime=10.65 mem=5M496
12.48
12.48 search
12.48 run=9 nbConstraintChecks=56934531 nbAssignments=100000
12.48 => wckTime=11.917 cpuTime=11.84 mem=5M496
13.60
13.60 search
13.60 run=10 nbConstraintChecks=62148931 nbAssignments=110000
13.60 => wckTime=13.04 cpuTime=12.96 mem=5M496
14.76
14.76 search
14.76 run=11 nbConstraintChecks=67644956 nbAssignments=120000
14.76 => wckTime=14.196 cpuTime=14.11 mem=5M496
15.89
15.89 search
15.89 run=12 nbConstraintChecks=72957708 nbAssignments=130000
15.89 => wckTime=15.327 cpuTime=15.24 mem=5M496
17.12
17.12 search
17.12 run=13 nbConstraintChecks=79088535 nbAssignments=140000
17.12 => wckTime=16.556 cpuTime=16.47 mem=5M496
18.28
18.28 search
18.28 run=14 nbConstraintChecks=84607718 nbAssignments=150000
18.28 => wckTime=17.715 cpuTime=17.62 mem=5M496
19.47
19.47 search
19.47 run=15 nbConstraintChecks=90372589 nbAssignments=160000
19.47 => wckTime=18.902 cpuTime=18.8 mem=5M496
20.64
20.64 search
20.64 run=16 nbConstraintChecks=96066977 nbAssignments=170000
20.65 => wckTime=20.08 cpuTime=19.97 mem=5M496
21.71
21.71 search
21.71 run=17 nbConstraintChecks=100747273 nbAssignments=180000
21.71 => wckTime=21.142 cpuTime=21.03 mem=5M496
22.86
22.86 search
22.86 run=18 nbConstraintChecks=106177171 nbAssignments=190000
22.86 => wckTime=22.291 cpuTime=22.17 mem=5M496
24.09
24.09 search
24.09 run=19 nbConstraintChecks=112243875 nbAssignments=200000
24.09 => wckTime=23.52 cpuTime=23.4 mem=5M496
25.25
25.25 search
25.25 run=20 nbConstraintChecks=117723606 nbAssignments=210000
25.25 => wckTime=24.685 cpuTime=24.56 mem=5M496
26.46
26.46 search
26.46 run=21 nbConstraintChecks=123616779 nbAssignments=220000
26.46 => wckTime=25.898 cpuTime=25.76 mem=5M496
27.62
27.62 search
27.62 run=22 nbConstraintChecks=129050681 nbAssignments=230000
27.62 => wckTime=27.059 cpuTime=26.92 mem=5M496
28.73
28.73 search
28.73 run=23 nbConstraintChecks=134121167 nbAssignments=240000
28.73 => wckTime=28.169 cpuTime=28.03 mem=5M496
29.88
29.88 search
29.88 run=24 nbConstraintChecks=139454133 nbAssignments=250000
29.88 => wckTime=29.318 cpuTime=29.17 mem=5M496
31.01
31.01 search
31.01 run=25 nbConstraintChecks=144659793 nbAssignments=260000
31.01 => wckTime=30.448 cpuTime=30.29 mem=5M496
32.12
32.12 search
32.12 run=26 nbConstraintChecks=149670982 nbAssignments=270000
32.12 => wckTime=31.549 cpuTime=31.4 mem=5M496
32.50
32.50 search
32.50 run=27 nbConstraintChecks=151551801 nbAssignments=273233
32.51 => wckTime=31.94 cpuTime=31.79 mem=5M496
32.51
32.51 global
32.51 nbConstraintChecks=151551801 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.51 solvingWckTime=31.939 solvingCpuTime=31.78 expiredTime=no totalExploration=no nbFoundSolutions=0
32.51 globalCpuTime=32.02
32.51 => wckTime=32.222 cpuTime=31.98 mem=5M496
32.51
32.51 solver IterativeSystematicSolver being built...
32.63 => wckTime=32.347 cpuTime=32.08 mem=16M518
32.64
32.64 preprocessing
32.64 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.64 detectedInconsistency=no
32.64 => wckTime=0.0030 cpuTime=0.0 mem=16M518
32.72
32.72 search
32.72 run=0 nbConstraintChecks=112390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76
32.72 nbFailedAssignments=61 nbBacktracks=10 nbVisitedNodes=146 nbRestartNogoods=0
32.72 => wckTime=0.088 cpuTime=0.06 mem=16M518
32.79
32.79 search
32.79 run=1 nbConstraintChecks=284128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=196
32.79 nbFailedAssignments=157 nbBacktracks=25 nbVisitedNodes=376 nbRestartNogoods=14
32.79 => wckTime=0.159 cpuTime=0.12 mem=16M518
32.85
32.85 search
32.85 run=2 nbConstraintChecks=472990 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=314
32.85 nbFailedAssignments=246 nbBacktracks=48 nbVisitedNodes=606 nbRestartNogoods=35
32.85 => wckTime=0.214 cpuTime=0.17 mem=16M518
32.96
32.96 search
32.96 run=3 nbConstraintChecks=828576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=544
32.96 nbFailedAssignments=441 nbBacktracks=81 nbVisitedNodes=1062 nbRestartNogoods=52
32.96 => wckTime=0.328 cpuTime=0.28 mem=16M518
33.09
33.09 search
33.09 run=4 nbConstraintChecks=1320957 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=858
33.09 nbFailedAssignments=700 nbBacktracks=131 nbVisitedNodes=1682 nbRestartNogoods=55
33.09 => wckTime=0.453 cpuTime=0.4 mem=16M518
33.25
33.25 search
33.25 run=5 nbConstraintChecks=1972133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1268
33.25 nbFailedAssignments=1028 nbBacktracks=206 nbVisitedNodes=2493 nbRestartNogoods=65
33.25 => wckTime=0.615 cpuTime=0.56 mem=16M518
33.61
33.61 search
33.61 run=6 nbConstraintChecks=3122726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2000
33.61 nbFailedAssignments=1643 nbBacktracks=320 nbVisitedNodes=3947 nbRestartNogoods=83
33.61 => wckTime=0.976 cpuTime=0.91 mem=16M518
33.93
33.93 search
33.93 run=7 nbConstraintChecks=4525560 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2876
33.93 nbFailedAssignments=2342 nbBacktracks=490 nbVisitedNodes=5684 nbRestartNogoods=90
33.93 => wckTime=1.3 cpuTime=1.23 mem=16M518
34.44
34.44 search
34.44 run=8 nbConstraintChecks=6532466 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4044
34.44 nbFailedAssignments=3248 nbBacktracks=746 nbVisitedNodes=8013 nbRestartNogoods=118
34.44 => wckTime=1.805 cpuTime=1.73 mem=16M518
34.97
34.97 search
34.97 run=9 nbConstraintChecks=9085342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5648
34.97 nbFailedAssignments=4460 nbBacktracks=1130 nbVisitedNodes=11202 nbRestartNogoods=132
34.97 => wckTime=2.341 cpuTime=2.26 mem=16M518
35.87
35.87 search
35.87 run=10 nbConstraintChecks=12457546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7576
35.87 nbFailedAssignments=5806 nbBacktracks=1706 nbVisitedNodes=15007 nbRestartNogoods=160
35.87 => wckTime=3.242 cpuTime=3.15 mem=16M518
37.37
37.37 search
37.37 run=11 nbConstraintChecks=18286901 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11325
37.37 nbFailedAssignments=8681 nbBacktracks=2571 nbVisitedNodes=22485 nbRestartNogoods=184
37.37 => wckTime=4.741 cpuTime=4.65 mem=16M518
39.32
39.32 search
39.32 run=12 nbConstraintChecks=26411337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16293
39.32 nbFailedAssignments=12342 nbBacktracks=3868 nbVisitedNodes=32306 nbRestartNogoods=201
39.32 => wckTime=6.689 cpuTime=6.59 mem=16M518
42.05
42.05 search
42.05 run=13 nbConstraintChecks=36573907 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23235
42.05 nbFailedAssignments=17331 nbBacktracks=5814 nbVisitedNodes=46103 nbRestartNogoods=223
42.05 => wckTime=9.418 cpuTime=9.3 mem=16M518
45.90
45.90 search
45.90 run=14 nbConstraintChecks=48620614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32319
45.90 nbFailedAssignments=23484 nbBacktracks=8733 nbVisitedNodes=63983 nbRestartNogoods=245
45.90 => wckTime=13.27 cpuTime=13.12 mem=16M518
49.63
49.63 search
49.63 run=15 nbConstraintChecks=59492176 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40387
49.63 nbFailedAssignments=28443 nbBacktracks=11843 nbVisitedNodes=79724 nbRestartNogoods=273
49.63 => wckTime=16.995 cpuTime=16.82 mem=16M518
49.63
49.63 global
49.63 nbConstraintChecks=59492176 nbRestartNogoods=273 solvingWckTime=16.996 solvingCpuTime=16.82 expiredTime=no
49.63 totalExploration=yes nbFoundSolutions=0 globalCpuTime=48.94
49.63 => wckTime=49.343 cpuTime=48.9 mem=16M518
49.63
49.63 s OPTIMUM FOUND
49.63 v 4 5 6 9 3 8 6 4 1 1 7 1 5 5 6 8 7 1 4 2 6 3 7 7 2 7 2 5 3 8
49.63
49.63 totalWckTime=49.417 totalCpuTime=48.94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-280928-1169308544 -o ROOT/results/node44/solver-280928-1169308544 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280928-1169308544/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.74 1.23 1.08 4/74 21644
/proc/meminfo: memFree=1211520/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=1784 CPUtime=0
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 279253428 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11281188 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/21643/statm: 446 163 128 14 0 91 0
[startup+0.10818 s]
/proc/loadavg: 1.74 1.23 1.08 4/74 21644
/proc/meminfo: memFree=1211520/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=914988 CPUtime=0.09
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 3142 0 1 0 8 1 0 0 23 0 8 0 279253428 936947712 2888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228747 2888 1477 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518221 s]
/proc/loadavg: 1.74 1.23 1.08 4/74 21644
/proc/meminfo: memFree=1211520/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=915332 CPUtime=0.5
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 6776 0 1 0 46 4 0 0 25 0 8 0 279253428 937299968 6514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917045 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228833 6514 2166 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.3473 s]
/proc/loadavg: 1.76 1.25 1.08 3/81 21651
/proc/meminfo: memFree=1193608/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=915444 CPUtime=1.32
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 7130 0 1 0 108 24 0 0 25 0 8 0 279253428 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228861 6868 2476 14 0 215331 0
[pid=21643/tid=21645] ppid=21641 vsize=915444 CPUtime=0.02
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 21251 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279253431 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 21251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279253431 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 21251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279253431 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 21251 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279253434 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915444 CPUtime=0.11
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 21251 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 279253434 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279253434 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915448 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279253434 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.98647 s]
/proc/loadavg: 1.76 1.25 1.08 3/81 21651
/proc/meminfo: memFree=1193544/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=915444 CPUtime=2.95
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 7133 0 1 0 221 74 0 0 25 0 8 0 279253428 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228861 6870 2476 14 0 215331 0
[pid=21643/tid=21645] ppid=21641 vsize=915444 CPUtime=0.02
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 21251 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 21251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 21251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 21251 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915444 CPUtime=0.11
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 21251 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.26681 s]
/proc/loadavg: 1.76 1.25 1.08 3/81 21651
/proc/meminfo: memFree=1193544/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=915448 CPUtime=6.21
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 7133 0 1 0 447 174 0 0 25 0 8 0 279253428 937418752 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228861 6870 2476 14 0 215331 0
[pid=21643/tid=21645] ppid=21641 vsize=915444 CPUtime=0.02
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 21251 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915448 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 21251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279253431 937418752 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 21251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 21251 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915444 CPUtime=0.11
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 21251 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915448
[startup+12.7605 s]
/proc/loadavg: 1.88 1.29 1.10 3/81 21651
/proc/meminfo: memFree=1193544/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=915444 CPUtime=12.68
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 7133 0 1 0 896 372 0 0 25 0 8 0 279253428 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228861 6870 2476 14 0 215331 0
[pid=21643/tid=21645] ppid=21641 vsize=915444 CPUtime=0.02
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 21251 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 21251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 21251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279253431 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 21251 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915444 CPUtime=0.11
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 21251 0 -1 64 333 0 0 0 11 0 0 0 17 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279253434 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915444
[startup+25.6248 s]
/proc/loadavg: 1.90 1.31 1.11 3/81 21651
/proc/meminfo: memFree=1193480/2055920 swapFree=4191892/4192956
[pid=21643] ppid=21641 vsize=915448 CPUtime=25.49
/proc/21643/stat : 21643 (java) R 21641 21643 21251 0 -1 0 7134 0 1 0 1764 785 0 0 25 0 8 0 279253428 937418752 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21643/statm: 228861 6871 2476 14 0 215331 0
[pid=21643/tid=21645] ppid=21641 vsize=915444 CPUtime=0.02
/proc/21643/task/21645/stat : 21645 (java) S 21641 21643 21251 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279253431 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21646] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21646/stat : 21646 (java) S 21641 21643 21251 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279253431 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21647] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21647/stat : 21647 (java) S 21641 21643 21251 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279253431 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21648] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21648/stat : 21648 (java) S 21641 21643 21251 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279253434 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21649] ppid=21641 vsize=915448 CPUtime=0.11
/proc/21643/task/21649/stat : 21649 (java) S 21641 21643 21251 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 279253434 937418752 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21650] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21650/stat : 21650 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279253434 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21643/tid=21651] ppid=21641 vsize=915444 CPUtime=0
/proc/21643/task/21651/stat : 21651 (java) S 21641 21643 21251 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279253434 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 49.6506
CPU time (s): 49.3995
CPU user time (s): 39.254
CPU system time (s): 10.1455
CPU usage (%): 99.4942
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.254
system time used= 10.1455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9127
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= 2100
involuntary context switches= 3284
runsolver used 0.072988 s user time and 0.158975 s system time
The end
Begin job on node44 on Sat Jan 20 15:55:44 UTC 2007
IDJOB= 280928
IDBENCH= 11996
IDSOLVER= 69
FILE ID= node44/280928-1169308544
PBS_JOBID= 3610206
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280928-1169308544/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-280928-1169308544 -o ROOT/results/node44/solver-280928-1169308544 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280928-1169308544/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 762505429262f3b32e492c9cb52f4358
RANDOM SEED= 867385567
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.213
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.213
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: 1211936 kB
Buffers: 56644 kB
Cached: 623632 kB
SwapCached: 268 kB
Active: 263612 kB
Inactive: 500936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1211936 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 94388 kB
Slab: 64768 kB
Committed_AS: 5337956 kB
PageTables: 1884 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 node44 on Sat Jan 20 15:56:33 UTC 2007