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/277786-1169270623/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.48 nbConstraints=196 nbRelationTypes=7 nbExtensionStructures=7 nbSharedExtensionStructures=189
0.48 nbConflictsStructures=7 nbSharedConflictsStructures=189 nbSharedBinaryRepresentations=24 maxDegree=10
0.48 maxArity=2
0.48 => wckTime=0.172 cpuTime=0.13 mem=7M863
0.52
0.52 solver LocalSearchSolver being built...
0.57 => wckTime=0.256 cpuTime=0.17 mem=5M475
0.57
0.57 s SATISFIABLE
0.57 o 153
0.57 c 43
0.57 o 156
0.57 c 40
0.57 o 158
0.57 c 38
0.57 o 160
0.57 c 36
0.57 o 161
0.57 c 35
0.58 o 162
0.58 c 34
0.58 o 164
0.58 c 32
0.58 o 165
0.58 c 31
0.58 o 167
0.58 c 29
0.58 o 169
0.58 c 27
0.58 o 171
0.58 c 25
0.58 o 172
0.58 c 24
0.58 o 173
0.58 c 23
0.58 o 174
0.58 c 22
0.59 o 175
0.59 c 21
0.59 o 177
0.59 c 19
0.59 o 178
0.59 c 18
0.59 o 179
0.59 c 17
0.59 o 180
0.59 c 16
0.59 o 181
0.59 c 15
0.59 o 182
0.59 c 14
0.60 o 183
0.60 c 13
0.60 o 186
0.60 c 10
0.63 o 187
0.63 c 9
0.63 o 188
0.63 c 8
1.50
1.50 search
1.50 run=0 nbConstraintChecks=1568137 nbAssignments=10000
1.50 => wckTime=0.935 cpuTime=0.91 mem=5M475
2.42
2.42 search
2.42 run=1 nbConstraintChecks=3383168 nbAssignments=20000
2.42 => wckTime=1.854 cpuTime=1.82 mem=5M475
3.29
3.29 search
3.29 run=2 nbConstraintChecks=4970452 nbAssignments=30000
3.29 => wckTime=2.721 cpuTime=2.68 mem=5M475
3.62 o 189
3.62 c 7
4.19
4.19 search
4.19 run=3 nbConstraintChecks=6738659 nbAssignments=40000
4.19 => wckTime=3.627 cpuTime=3.58 mem=5M475
5.06
5.06 search
5.06 run=4 nbConstraintChecks=8329485 nbAssignments=50000
5.06 => wckTime=4.496 cpuTime=4.44 mem=5M475
5.98
5.98 search
5.98 run=5 nbConstraintChecks=10156647 nbAssignments=60000
5.98 => wckTime=5.416 cpuTime=5.35 mem=5M475
6.86
6.86 search
6.86 run=6 nbConstraintChecks=11756160 nbAssignments=70000
6.86 => wckTime=6.294 cpuTime=6.22 mem=5M475
7.75
7.75 search
7.75 run=7 nbConstraintChecks=13487755 nbAssignments=80000
7.75 => wckTime=7.184 cpuTime=7.1 mem=5M475
8.61
8.61 search
8.61 run=8 nbConstraintChecks=15026935 nbAssignments=90000
8.61 => wckTime=8.044 cpuTime=7.95 mem=5M475
9.49
9.49 search
9.49 run=9 nbConstraintChecks=16699164 nbAssignments=100000
9.49 => wckTime=8.922 cpuTime=8.82 mem=5M475
10.35
10.35 search
10.35 run=10 nbConstraintChecks=18245277 nbAssignments=110000
10.35 => wckTime=9.782 cpuTime=9.67 mem=5M475
11.24
11.24 search
11.24 run=11 nbConstraintChecks=19957354 nbAssignments=120000
11.24 => wckTime=10.668 cpuTime=10.56 mem=5M475
12.09
12.09 search
12.09 run=12 nbConstraintChecks=21456768 nbAssignments=130000
12.09 => wckTime=11.52 cpuTime=11.4 mem=5M475
12.98
12.98 search
12.98 run=13 nbConstraintChecks=23220344 nbAssignments=140000
12.98 => wckTime=12.414 cpuTime=12.29 mem=5M475
13.84
13.84 search
13.84 run=14 nbConstraintChecks=24778696 nbAssignments=150000
13.84 => wckTime=13.276 cpuTime=13.14 mem=5M475
14.75
14.75 search
14.75 run=15 nbConstraintChecks=26557421 nbAssignments=160000
14.75 => wckTime=14.179 cpuTime=14.03 mem=5M475
15.60
15.60 search
15.60 run=16 nbConstraintChecks=28110725 nbAssignments=170000
15.60 => wckTime=15.034 cpuTime=14.88 mem=5M475
16.50
16.50 search
16.50 run=17 nbConstraintChecks=29883233 nbAssignments=180000
16.50 => wckTime=15.934 cpuTime=15.76 mem=5M475
17.37
17.37 search
17.37 run=18 nbConstraintChecks=31474786 nbAssignments=190000
17.37 => wckTime=16.803 cpuTime=16.63 mem=5M475
18.27
18.27 search
18.27 run=19 nbConstraintChecks=33143433 nbAssignments=200000
18.27 => wckTime=17.699 cpuTime=17.51 mem=5M475
19.13
19.13 search
19.13 run=20 nbConstraintChecks=34686100 nbAssignments=210000
19.13 => wckTime=18.561 cpuTime=18.37 mem=5M475
20.03
20.03 search
20.03 run=21 nbConstraintChecks=36411164 nbAssignments=220000
20.03 => wckTime=19.463 cpuTime=19.26 mem=5M475
20.90
20.90 search
20.90 run=22 nbConstraintChecks=37982632 nbAssignments=230000
20.90 => wckTime=20.331 cpuTime=20.12 mem=5M475
21.79
21.79 search
21.79 run=23 nbConstraintChecks=39661339 nbAssignments=240000
21.79 => wckTime=21.224 cpuTime=21.0 mem=5M475
22.66
22.66 search
22.66 run=24 nbConstraintChecks=41224466 nbAssignments=250000
22.66 => wckTime=22.096 cpuTime=21.87 mem=5M475
23.57
23.57 search
23.57 run=25 nbConstraintChecks=42975220 nbAssignments=260000
23.57 => wckTime=22.998 cpuTime=22.76 mem=5M475
24.43
24.43 search
24.43 run=26 nbConstraintChecks=44491951 nbAssignments=270000
24.43 => wckTime=23.861 cpuTime=23.61 mem=5M475
25.35
25.35 search
25.35 run=27 nbConstraintChecks=46322626 nbAssignments=280000
25.35 => wckTime=24.78 cpuTime=24.52 mem=5M475
26.22
26.22 search
26.22 run=28 nbConstraintChecks=47914828 nbAssignments=290000
26.22 => wckTime=25.657 cpuTime=25.4 mem=5M475
27.10
27.10 search
27.10 run=29 nbConstraintChecks=49502553 nbAssignments=300000
27.10 => wckTime=26.528 cpuTime=26.26 mem=5M475
27.96
27.96 search
27.96 run=30 nbConstraintChecks=51061999 nbAssignments=310000
27.96 => wckTime=27.391 cpuTime=27.11 mem=5M475
28.85
28.85 search
28.85 run=31 nbConstraintChecks=52748812 nbAssignments=320000
28.85 => wckTime=28.279 cpuTime=27.99 mem=5M475
29.71
29.71 search
29.71 run=32 nbConstraintChecks=54327312 nbAssignments=330000
29.71 => wckTime=29.141 cpuTime=28.84 mem=5M475
30.60
30.60 search
30.60 run=33 nbConstraintChecks=56039565 nbAssignments=340000
30.60 => wckTime=30.034 cpuTime=29.73 mem=5M475
31.46
31.46 search
31.46 run=34 nbConstraintChecks=57570074 nbAssignments=350000
31.46 => wckTime=30.889 cpuTime=30.57 mem=5M475
32.36
32.36 search
32.36 run=35 nbConstraintChecks=59366480 nbAssignments=360000
32.36 => wckTime=31.797 cpuTime=31.47 mem=5M475
33.23
33.23 search
33.23 run=36 nbConstraintChecks=60934596 nbAssignments=370000
33.23 => wckTime=32.659 cpuTime=32.33 mem=5M475
33.91
33.91 search
33.91 run=37 nbConstraintChecks=62305187 nbAssignments=377550
33.91 => wckTime=33.347 cpuTime=33.02 mem=5M475
33.92
33.92 global
33.92 nbConstraintChecks=62305187 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.92 solvingWckTime=33.345 solvingCpuTime=33.02 expiredTime=no totalExploration=no nbFoundSolutions=0
33.92 globalCpuTime=33.25
33.92 => wckTime=33.603 cpuTime=33.19 mem=5M475
33.92
33.92 solver IterativeSystematicSolver being built...
34.07 => wckTime=33.759 cpuTime=33.3 mem=16M416
34.12
34.12 preprocessing
34.13 nbConstraintChecks=9063 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
34.13 detectedInconsistency=no
34.13 => wckTime=0.049 cpuTime=0.03 mem=16M416
34.15
34.15 search
34.16 run=0 nbConstraintChecks=13195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44
34.16 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=59 nbRestartNogoods=0
34.16 => wckTime=0.08 cpuTime=0.05 mem=17M456
34.18
34.18 search
34.18 run=1 nbConstraintChecks=29181 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98
34.18 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=132 nbRestartNogoods=6
34.18 => wckTime=0.107 cpuTime=0.07 mem=17M456
34.20
34.20 search
34.20 run=2 nbConstraintChecks=48274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=155
34.20 nbFailedAssignments=26 nbBacktracks=48 nbVisitedNodes=217 nbRestartNogoods=10
34.20 => wckTime=0.128 cpuTime=0.09 mem=17M456
34.23
34.23 search
34.23 run=3 nbConstraintChecks=68709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216
34.23 nbFailedAssignments=43 nbBacktracks=86 nbVisitedNodes=321 nbRestartNogoods=16
34.23 => wckTime=0.16 cpuTime=0.12 mem=17M456
34.27
34.27 search
34.27 run=4 nbConstraintChecks=104091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=312
34.28 nbFailedAssignments=75 nbBacktracks=136 nbVisitedNodes=485 nbRestartNogoods=17
34.28 => wckTime=0.2 cpuTime=0.16 mem=17M456
34.33
34.33 search
34.33 run=5 nbConstraintChecks=165790 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=449
34.33 nbFailedAssignments=98 nbBacktracks=215 nbVisitedNodes=713 nbRestartNogoods=21
34.33 => wckTime=0.253 cpuTime=0.21 mem=17M456
34.40
34.40 search
34.40 run=6 nbConstraintChecks=236973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=650
34.40 nbFailedAssignments=169 nbBacktracks=330 nbVisitedNodes=1039 nbRestartNogoods=29
34.40 => wckTime=0.326 cpuTime=0.28 mem=17M456
34.51
34.51 search
34.51 run=7 nbConstraintChecks=333800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=927
34.51 nbFailedAssignments=260 nbBacktracks=505 nbVisitedNodes=1507 nbRestartNogoods=32
34.51 => wckTime=0.44 cpuTime=0.39 mem=17M456
34.66
34.66 search
34.66 run=8 nbConstraintChecks=514347 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1329
34.66 nbFailedAssignments=378 nbBacktracks=762 nbVisitedNodes=2228 nbRestartNogoods=37
34.66 => wckTime=0.583 cpuTime=0.53 mem=17M456
34.90
34.90 search
34.90 run=9 nbConstraintChecks=803248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1981
34.90 nbFailedAssignments=613 nbBacktracks=1147 nbVisitedNodes=3359 nbRestartNogoods=42
34.90 => wckTime=0.828 cpuTime=0.75 mem=17M456
35.23
35.23 search
35.23 run=10 nbConstraintChecks=1198582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2939
35.23 nbFailedAssignments=968 nbBacktracks=1724 nbVisitedNodes=4939 nbRestartNogoods=48
35.23 => wckTime=1.159 cpuTime=1.08 mem=17M456
35.59
35.59 search
35.59 run=11 nbConstraintChecks=1672226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4137
35.59 nbFailedAssignments=1271 nbBacktracks=2589 nbVisitedNodes=6960 nbRestartNogoods=56
35.59 => wckTime=1.513 cpuTime=1.43 mem=17M456
36.31
36.31 search
36.31 run=12 nbConstraintChecks=2340408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6170
36.31 nbFailedAssignments=1990 nbBacktracks=3887 nbVisitedNodes=10432 nbRestartNogoods=62
36.31 => wckTime=2.232 cpuTime=2.13 mem=17M456
37.55
37.55 search
37.55 run=13 nbConstraintChecks=3612713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9217
37.55 nbFailedAssignments=3067 nbBacktracks=5833 nbVisitedNodes=15669 nbRestartNogoods=72
37.55 => wckTime=3.477 cpuTime=3.37 mem=17M456
39.13
39.13 search
39.13 run=14 nbConstraintChecks=5423457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13398
39.13 nbFailedAssignments=4301 nbBacktracks=8752 nbVisitedNodes=22958 nbRestartNogoods=79
39.13 => wckTime=5.055 cpuTime=4.93 mem=17M456
41.13
41.14 search
41.14 run=15 nbConstraintChecks=8214550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19481
41.14 nbFailedAssignments=5964 nbBacktracks=13131 nbVisitedNodes=33661 nbRestartNogoods=91
41.14 => wckTime=7.061 cpuTime=6.92 mem=17M456
44.43
44.43 search
44.43 run=16 nbConstraintChecks=11984880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28976
44.43 nbFailedAssignments=8867 nbBacktracks=19704 nbVisitedNodes=50370 nbRestartNogoods=103
44.43 => wckTime=10.359 cpuTime=10.18 mem=17M456
49.87
49.87 search
49.87 run=17 nbConstraintChecks=18319487 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43128
49.87 nbFailedAssignments=13140 nbBacktracks=29558 nbVisitedNodes=74935 nbRestartNogoods=111
49.87 => wckTime=15.798 cpuTime=15.57 mem=17M456
56.76
56.76 search
56.76 run=18 nbConstraintChecks=27748614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63724
56.76 nbFailedAssignments=18920 nbBacktracks=44345 nbVisitedNodes=111363 nbRestartNogoods=119
56.76 => wckTime=22.685 cpuTime=22.39 mem=17M456
67.59
67.59 search
67.59 run=19 nbConstraintChecks=42578936 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95440
67.59 nbFailedAssignments=28457 nbBacktracks=66514 nbVisitedNodes=166804 nbRestartNogoods=133
67.59 => wckTime=33.518 cpuTime=33.12 mem=17M456
84.61
84.61 search
84.61 run=20 nbConstraintChecks=61335123 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143402
84.61 nbFailedAssignments=43153 nbBacktracks=99766 nbVisitedNodes=249700 nbRestartNogoods=138
84.61 => wckTime=50.54 cpuTime=49.99 mem=17M456
92.68
92.68 search
92.68 run=21 nbConstraintChecks=69012069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165468
92.68 nbFailedAssignments=49927 nbBacktracks=115059 nbVisitedNodes=287056 nbRestartNogoods=145
92.68 => wckTime=58.606 cpuTime=57.98 mem=17M456
92.68
92.68 global
92.68 nbConstraintChecks=69021132 nbRestartNogoods=145 solvingWckTime=58.608 solvingCpuTime=57.98 expiredTime=no
92.68 totalExploration=yes nbFoundSolutions=0 globalCpuTime=91.34
92.68 => wckTime=92.368 cpuTime=91.28 mem=17M456
92.69
92.69 s OPTIMUM FOUND
92.69 v 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0
92.69
92.69 totalWckTime=92.451 totalCpuTime=91.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-277786-1169270623 -o ROOT/results/node2/solver-277786-1169270623 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277786-1169270623/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.75 1.92 1.93 4/93 19710
/proc/meminfo: memFree=1215968/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=18540 CPUtime=0
/proc/19709/stat : 19709 (runsolver) R 19707 19709 19641 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275457960 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19709/statm: 4635 279 244 17 0 2626 0
[startup+0.109467 s]
/proc/loadavg: 1.75 1.92 1.93 4/93 19710
/proc/meminfo: memFree=1215968/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=914988 CPUtime=0.09
/proc/19709/stat : 19709 (java) R 19707 19709 19641 0 -1 0 3048 0 1 0 7 2 0 0 17 0 8 0 275457960 936947712 2794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155078374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228747 2794 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517545 s]
/proc/loadavg: 1.75 1.92 1.93 4/93 19710
/proc/meminfo: memFree=1215968/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=915332 CPUtime=0.5
/proc/19709/stat : 19709 (java) S 19707 19709 19641 0 -1 0 6503 0 1 0 46 4 0 0 18 0 8 0 275457960 937299968 6241 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228833 6241 2166 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34069 s]
/proc/loadavg: 1.75 1.92 1.93 3/100 19717
/proc/meminfo: memFree=1199080/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=915332 CPUtime=1.31
/proc/19709/stat : 19709 (java) R 19707 19709 19641 0 -1 0 6914 0 1 0 93 38 0 0 23 0 8 0 275457960 937299968 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228833 6652 2479 14 0 215303 0
[pid=19709/tid=19711] ppid=19707 vsize=915332 CPUtime=0.02
/proc/19709/task/19711/stat : 19711 (java) S 19707 19709 19641 0 -1 64 147 0 0 0 2 0 0 0 16 0 8 0 275457964 937299968 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19712] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19712/stat : 19712 (java) S 19707 19709 19641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275457964 937299968 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19713] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19713/stat : 19713 (java) S 19707 19709 19641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275457965 937299968 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19714] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19714/stat : 19714 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275457968 937299968 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19715] ppid=19707 vsize=915332 CPUtime=0.09
/proc/19709/task/19715/stat : 19715 (java) S 19707 19709 19641 0 -1 64 315 0 0 0 9 0 0 0 19 0 8 0 275457968 937299968 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19716] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19716/stat : 19716 (java) S 19707 19709 19641 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275457968 937299968 6652 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19717] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19717/stat : 19717 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275457968 937299968 6652 18446744073709551615 134512640 134570532 4294956480 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) 915332
[startup+2.98599 s]
/proc/loadavg: 1.75 1.92 1.93 3/100 19717
/proc/meminfo: memFree=1199016/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=915332 CPUtime=2.93
/proc/19709/stat : 19709 (java) R 19707 19709 19641 0 -1 0 6917 0 1 0 183 110 0 0 25 0 8 0 275457960 937299968 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073597638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228833 6654 2479 14 0 215303 0
[pid=19709/tid=19711] ppid=19707 vsize=915332 CPUtime=0.02
/proc/19709/task/19711/stat : 19711 (java) S 19707 19709 19641 0 -1 64 147 0 0 0 2 0 0 0 16 0 8 0 275457964 937299968 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19712] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19712/stat : 19712 (java) S 19707 19709 19641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275457964 937299968 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19713] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19713/stat : 19713 (java) S 19707 19709 19641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275457965 937299968 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19714] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19714/stat : 19714 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275457968 937299968 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19715] ppid=19707 vsize=915332 CPUtime=0.09
/proc/19709/task/19715/stat : 19715 (java) S 19707 19709 19641 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 275457968 937299968 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19716] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19716/stat : 19716 (java) S 19707 19709 19641 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275457968 937299968 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19717] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19717/stat : 19717 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275457968 937299968 6654 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) 915332
[startup+6.2726 s]
/proc/loadavg: 1.77 1.92 1.93 3/100 19717
/proc/meminfo: memFree=1199016/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=915332 CPUtime=6.19
/proc/19709/stat : 19709 (java) R 19707 19709 19641 0 -1 0 6918 0 1 0 358 261 0 0 25 0 8 0 275457960 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228833 6655 2479 14 0 215303 0
[pid=19709/tid=19711] ppid=19707 vsize=915332 CPUtime=0.02
/proc/19709/task/19711/stat : 19711 (java) S 19707 19709 19641 0 -1 64 147 0 0 0 2 0 0 0 17 0 8 0 275457964 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19712] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19712/stat : 19712 (java) S 19707 19709 19641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275457964 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19713] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19713/stat : 19713 (java) S 19707 19709 19641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275457965 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19714] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19714/stat : 19714 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19715] ppid=19707 vsize=915332 CPUtime=0.09
/proc/19709/task/19715/stat : 19715 (java) S 19707 19709 19641 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19716] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19716/stat : 19716 (java) S 19707 19709 19641 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19717] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19717/stat : 19717 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915332
[startup+12.7578 s]
/proc/loadavg: 1.79 1.92 1.93 3/100 19717
/proc/meminfo: memFree=1199080/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=915332 CPUtime=12.62
/proc/19709/stat : 19709 (java) R 19707 19709 19641 0 -1 0 6918 0 1 0 712 550 0 0 25 0 8 0 275457960 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228833 6655 2479 14 0 215303 0
[pid=19709/tid=19711] ppid=19707 vsize=915332 CPUtime=0.02
/proc/19709/task/19711/stat : 19711 (java) S 19707 19709 19641 0 -1 64 147 0 0 0 2 0 0 0 16 0 8 0 275457964 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19712] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19712/stat : 19712 (java) S 19707 19709 19641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275457964 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19713] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19713/stat : 19713 (java) S 19707 19709 19641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275457965 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19714] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19714/stat : 19714 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19715] ppid=19707 vsize=915332 CPUtime=0.09
/proc/19709/task/19715/stat : 19715 (java) S 19707 19709 19641 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19716] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19716/stat : 19716 (java) S 19707 19709 19641 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19717] ppid=19707 vsize=915332 CPUtime=0
/proc/19709/task/19717/stat : 19717 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275457968 937299968 6655 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915332
[startup+25.5992 s]
/proc/loadavg: 1.83 1.93 1.93 3/100 19717
/proc/meminfo: memFree=1199144/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=915472 CPUtime=25.34
/proc/19709/stat : 19709 (java) R 19707 19709 19641 0 -1 0 6925 0 1 0 1402 1132 0 0 25 0 8 0 275457960 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228868 6662 2479 14 0 215338 0
[pid=19709/tid=19711] ppid=19707 vsize=915472 CPUtime=0.02
/proc/19709/task/19711/stat : 19711 (java) S 19707 19709 19641 0 -1 64 147 0 0 0 2 0 0 0 16 0 8 0 275457964 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19712] ppid=19707 vsize=915472 CPUtime=0
/proc/19709/task/19712/stat : 19712 (java) S 19707 19709 19641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275457964 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19713] ppid=19707 vsize=915472 CPUtime=0
/proc/19709/task/19713/stat : 19713 (java) S 19707 19709 19641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275457965 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19714] ppid=19707 vsize=915472 CPUtime=0
/proc/19709/task/19714/stat : 19714 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275457968 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19715] ppid=19707 vsize=915472 CPUtime=0.1
/proc/19709/task/19715/stat : 19715 (java) S 19707 19709 19641 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 275457968 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19716] ppid=19707 vsize=915472 CPUtime=0
/proc/19709/task/19716/stat : 19716 (java) S 19707 19709 19641 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275457968 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19717] ppid=19707 vsize=915472 CPUtime=0
/proc/19709/task/19717/stat : 19717 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275457968 937443328 6662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915472
[startup+51.2089 s]
/proc/loadavg: 1.89 1.93 1.93 3/100 19717
/proc/meminfo: memFree=1190440/2055920 swapFree=4180552/4192956
[pid=19709] ppid=19707 vsize=915436 CPUtime=50.7
/proc/19709/stat : 19709 (java) R 19707 19709 19641 0 -1 0 9185 0 1 0 3559 1511 0 0 25 0 8 0 275457960 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19709/statm: 228859 8919 2532 14 0 215329 0
[pid=19709/tid=19711] ppid=19707 vsize=915436 CPUtime=0.02
/proc/19709/task/19711/stat : 19711 (java) S 19707 19709 19641 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 275457964 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19712] ppid=19707 vsize=915436 CPUtime=0
/proc/19709/task/19712/stat : 19712 (java) S 19707 19709 19641 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275457964 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19713] ppid=19707 vsize=915436 CPUtime=0
/proc/19709/task/19713/stat : 19713 (java) S 19707 19709 19641 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275457965 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19714] ppid=19707 vsize=915436 CPUtime=0
/proc/19709/task/19714/stat : 19714 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275457968 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19715] ppid=19707 vsize=915436 CPUtime=0.22
/proc/19709/task/19715/stat : 19715 (java) S 19707 19709 19641 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 275457968 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19716] ppid=19707 vsize=915436 CPUtime=0
/proc/19709/task/19716/stat : 19716 (java) S 19707 19709 19641 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275457968 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19709/tid=19717] ppid=19707 vsize=915436 CPUtime=0
/proc/19709/task/19717/stat : 19717 (java) S 19707 19709 19641 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275457968 937406464 8919 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 92.7241
CPU time (s): 91.824
CPU user time (s): 76.6973
CPU system time (s): 15.1267
CPU usage (%): 99.0293
Max. virtual memory (cumulated for all children) (KiB): 915472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.6973
system time used= 15.1267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9293
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= 2862
involuntary context switches= 8913
runsolver used 0.116982 s user time and 0.308953 s system time
The end
Begin job on node2 on Sat Jan 20 05:23:43 UTC 2007
IDJOB= 277786
IDBENCH= 7669
IDSOLVER= 68
FILE ID= node2/277786-1169270623
PBS_JOBID= 3607442
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-100-1000/cnf-2-80-200-461241_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277786-1169270623/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-277786-1169270623 -o ROOT/results/node2/solver-277786-1169270623 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277786-1169270623/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5427dd1f7a236b3f3413b7e59a7c4ca0
RANDOM SEED= 638711853
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
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: 1216448 kB
Buffers: 46916 kB
Cached: 641352 kB
SwapCached: 572 kB
Active: 229988 kB
Inactive: 535708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1216448 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 2008 kB
Writeback: 0 kB
Mapped: 99080 kB
Slab: 58204 kB
Committed_AS: 8160964 kB
PageTables: 2496 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 node2 on Sat Jan 20 05:25:16 UTC 2007