0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/275356-1169220328/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.46 => wckTime=0.124 cpuTime=0.1 mem=6M887
0.46
0.46 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=302 nbRelationTypes=302 nbExtensionStructures=302 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=302 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5477 maxDegree=24
0.63 maxArity=2
0.63 => wckTime=0.301 cpuTime=0.19 mem=9M829
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.386 cpuTime=0.24 mem=5M683
0.72
0.72 s SATISFIABLE
0.72 o 260
0.72 c 42
0.72 o 265
0.72 c 37
0.73 o 270
0.73 c 32
0.73 o 274
0.73 c 28
0.73 o 277
0.73 c 25
0.73 o 280
0.73 c 22
0.73 o 282
0.73 c 20
0.73 o 284
0.73 c 18
0.73 o 286
0.73 c 16
0.73 o 288
0.73 c 14
0.73 o 290
0.73 c 12
0.73 o 291
0.73 c 11
0.73 o 292
0.73 c 10
0.73 o 293
0.73 c 9
0.74 o 294
0.74 c 8
0.74 o 295
0.74 c 7
0.74 o 296
0.74 c 6
0.75 o 297
0.75 c 5
0.75 o 298
0.75 c 4
0.77 o 299
0.77 c 3
0.77 o 300
0.77 c 2
3.33
3.33 search
3.33 run=0 nbConstraintChecks=17771627 nbAssignments=10000
3.33 => wckTime=2.613 cpuTime=2.56 mem=5M683
5.99
5.99 search
5.99 run=1 nbConstraintChecks=36703533 nbAssignments=20000
5.99 => wckTime=5.272 cpuTime=5.2 mem=5M683
8.46
8.46 search
8.46 run=2 nbConstraintChecks=53924330 nbAssignments=30000
8.46 => wckTime=7.742 cpuTime=7.65 mem=5M683
11.12
11.12 search
11.12 run=3 nbConstraintChecks=72931109 nbAssignments=40000
11.12 => wckTime=10.405 cpuTime=10.29 mem=5M683
13.65
13.65 search
13.65 run=4 nbConstraintChecks=90424277 nbAssignments=50000
13.65 => wckTime=12.93 cpuTime=12.79 mem=5M683
16.27
16.27 search
16.27 run=5 nbConstraintChecks=108807096 nbAssignments=60000
16.27 => wckTime=15.554 cpuTime=15.39 mem=5M683
18.81
18.81 search
18.81 run=6 nbConstraintChecks=126462439 nbAssignments=70000
18.81 => wckTime=18.088 cpuTime=17.91 mem=5M683
21.50
21.50 search
21.50 run=7 nbConstraintChecks=145485188 nbAssignments=80000
21.50 => wckTime=20.778 cpuTime=20.57 mem=5M683
24.02
24.02 search
24.02 run=8 nbConstraintChecks=163236193 nbAssignments=90000
24.02 => wckTime=23.302 cpuTime=23.08 mem=5M683
26.66
26.66 search
26.66 run=9 nbConstraintChecks=181977001 nbAssignments=100000
26.66 => wckTime=25.938 cpuTime=25.69 mem=5M683
29.18
29.18 search
29.18 run=10 nbConstraintChecks=199673938 nbAssignments=110000
29.18 => wckTime=28.457 cpuTime=28.19 mem=5M683
31.04
31.04 search
31.04 run=11 nbConstraintChecks=212972045 nbAssignments=116939
31.04 => wckTime=30.324 cpuTime=30.04 mem=5M683
31.04
31.04 global
31.04 nbConstraintChecks=212972045 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.04 solvingWckTime=30.323 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
31.04 globalCpuTime=30.33
31.04 => wckTime=30.711 cpuTime=30.28 mem=5M683
31.04
31.05 solver IterativeSystematicSolver being built...
31.18 => wckTime=30.845 cpuTime=30.39 mem=16M673
31.24
31.24 preprocessing
31.24 nbConstraintChecks=33641 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=1
31.24 detectedInconsistency=no
31.24 => wckTime=0.06 cpuTime=0.04 mem=16M673
31.30
31.30 search
31.30 run=0 nbConstraintChecks=134198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
31.30 nbFailedAssignments=40 nbBacktracks=12 nbVisitedNodes=110 nbRestartNogoods=0
31.30 => wckTime=0.121 cpuTime=0.11 mem=16M673
31.37
31.37 search
31.37 run=1 nbConstraintChecks=244685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121
31.37 nbFailedAssignments=77 nbBacktracks=27 nbVisitedNodes=226 nbRestartNogoods=1
31.37 => wckTime=0.188 cpuTime=0.16 mem=16M673
31.48
31.48 search
31.48 run=2 nbConstraintChecks=571873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=264
31.48 nbFailedAssignments=191 nbBacktracks=49 nbVisitedNodes=505 nbRestartNogoods=11
31.48 => wckTime=0.303 cpuTime=0.27 mem=16M673
31.61
31.61 search
31.61 run=3 nbConstraintChecks=927245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=426
31.61 nbFailedAssignments=313 nbBacktracks=82 nbVisitedNodes=822 nbRestartNogoods=18
31.61 => wckTime=0.431 cpuTime=0.4 mem=16M673
31.75
31.75 search
31.75 run=4 nbConstraintChecks=1330427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=605
31.75 nbFailedAssignments=433 nbBacktracks=132 nbVisitedNodes=1171 nbRestartNogoods=25
31.75 => wckTime=0.575 cpuTime=0.54 mem=16M673
31.88
31.88 search
31.88 run=5 nbConstraintChecks=1702084 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=783
31.88 nbFailedAssignments=522 nbBacktracks=209 nbVisitedNodes=1515 nbRestartNogoods=43
31.88 => wckTime=0.7 cpuTime=0.66 mem=16M673
32.10
32.10 search
32.10 run=6 nbConstraintChecks=2194265 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1022
32.10 nbFailedAssignments=639 nbBacktracks=322 nbVisitedNodes=1984 nbRestartNogoods=55
32.10 => wckTime=0.921 cpuTime=0.87 mem=16M673
32.71
32.71 search
32.71 run=7 nbConstraintChecks=4250089 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1768
32.71 nbFailedAssignments=1206 nbBacktracks=492 nbVisitedNodes=3467 nbRestartNogoods=66
32.71 => wckTime=1.53 cpuTime=1.46 mem=16M673
33.10
33.10 search
33.10 run=8 nbConstraintChecks=5548711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2344
33.11 nbFailedAssignments=1509 nbBacktracks=748 nbVisitedNodes=4602 nbRestartNogoods=76
33.11 => wckTime=1.926 cpuTime=1.85 mem=16M673
33.75
33.75 search
33.75 run=9 nbConstraintChecks=7561750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3226
33.75 nbFailedAssignments=1990 nbBacktracks=1133 nbVisitedNodes=6349 nbRestartNogoods=89
33.75 => wckTime=2.574 cpuTime=2.49 mem=16M673
34.52
34.52 search
34.52 run=10 nbConstraintChecks=10059711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4325
34.52 nbFailedAssignments=2498 nbBacktracks=1711 nbVisitedNodes=8531 nbRestartNogoods=113
34.52 => wckTime=3.344 cpuTime=3.25 mem=16M673
35.79
35.79 search
35.79 run=11 nbConstraintChecks=15229935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6374
35.79 nbFailedAssignments=3667 nbBacktracks=2577 nbVisitedNodes=12611 nbRestartNogoods=132
35.79 => wckTime=4.612 cpuTime=4.51 mem=16M673
37.61
37.61 search
37.61 run=12 nbConstraintChecks=21352411 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9065
37.61 nbFailedAssignments=5041 nbBacktracks=3874 nbVisitedNodes=17958 nbRestartNogoods=141
37.61 => wckTime=6.432 cpuTime=6.32 mem=16M673
40.55
40.55 search
40.55 run=13 nbConstraintChecks=31100099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13086
40.55 nbFailedAssignments=7092 nbBacktracks=5826 nbVisitedNodes=25971 nbRestartNogoods=148
40.55 => wckTime=9.375 cpuTime=9.23 mem=16M673
44.45
44.45 search
44.45 run=14 nbConstraintChecks=43508809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18534
44.45 nbFailedAssignments=9604 nbBacktracks=8746 nbVisitedNodes=36822 nbRestartNogoods=172
44.45 => wckTime=13.268 cpuTime=13.09 mem=16M673
49.39
49.39 search
49.39 run=15 nbConstraintChecks=60948243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26287
49.39 nbFailedAssignments=12966 nbBacktracks=13124 nbVisitedNodes=52274 nbRestartNogoods=201
49.39 => wckTime=18.208 cpuTime=17.98 mem=16M673
51.20
51.20 search
51.20 run=16 nbConstraintChecks=66095143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28463
51.20 nbFailedAssignments=14085 nbBacktracks=14182 nbVisitedNodes=56625 nbRestartNogoods=221
51.20 => wckTime=20.024 cpuTime=19.78 mem=16M673
51.20
51.20 global
51.20 nbConstraintChecks=66128784 nbRestartNogoods=221 solvingWckTime=20.025 solvingCpuTime=19.78 expiredTime=no
51.20 totalExploration=yes nbFoundSolutions=0 globalCpuTime=50.22
51.20 => wckTime=50.871 cpuTime=50.17 mem=16M673
51.21
51.21 s OPTIMUM FOUND
51.21 v 0 7 6 5 2 6 2 2 8 1 2 0 5 5 9 6 4 1 0 4 5 1 4 9 4 8 2 2 2 6 9 8 9
51.21
51.21 totalWckTime=50.953 totalCpuTime=50.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-275356-1169220328 -o ROOT/results/node26/solver-275356-1169220328 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275356-1169220328/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.99 2.06 2.01 4/86 26351
/proc/meminfo: memFree=1522304/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=11820 CPUtime=0
/proc/26350/stat : 26350 (java) D 26348 26350 25759 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 270427080 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12591908 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/26350/statm: 2955 510 421 14 0 1602 0
[startup+0.103257 s]
/proc/loadavg: 1.99 2.06 2.01 4/86 26351
/proc/meminfo: memFree=1522304/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=914988 CPUtime=0.08
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 2991 0 1 0 7 1 0 0 17 0 8 0 270427080 936947712 2737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155598431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228747 2737 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511294 s]
/proc/loadavg: 1.99 2.06 2.01 4/86 26351
/proc/meminfo: memFree=1522304/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=915332 CPUtime=0.45
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 6202 0 13 0 42 3 0 0 18 0 8 0 270427080 937299968 5953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073568127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228833 5953 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.33537 s]
/proc/loadavg: 1.99 2.06 2.01 3/93 26358
/proc/meminfo: memFree=1499784/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=915464 CPUtime=1.27
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 7412 0 13 0 114 13 0 0 24 0 8 0 270427080 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228866 7162 2479 14 0 215336 0
[pid=26350/tid=26352] ppid=26348 vsize=915464 CPUtime=0.03
/proc/26350/task/26352/stat : 26352 (java) S 26348 26350 25759 0 -1 64 201 0 0 0 3 0 0 0 16 0 8 0 270427084 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26353] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26353/stat : 26353 (java) S 26348 26350 25759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270427084 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26354] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26354/stat : 26354 (java) S 26348 26350 25759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270427084 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26355] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26355/stat : 26355 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26356] ppid=26348 vsize=915464 CPUtime=0.14
/proc/26350/task/26356/stat : 26356 (java) S 26348 26350 25759 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26357] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26357/stat : 26357 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26358] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26358/stat : 26358 (java) S 26348 26350 25759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464
[startup+2.98253 s]
/proc/loadavg: 1.99 2.06 2.01 3/93 26358
/proc/meminfo: memFree=1499784/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=915464 CPUtime=2.9
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 7413 0 13 0 253 37 0 0 25 0 8 0 270427080 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228866 7162 2479 14 0 215336 0
[pid=26350/tid=26352] ppid=26348 vsize=915464 CPUtime=0.03
/proc/26350/task/26352/stat : 26352 (java) S 26348 26350 25759 0 -1 64 201 0 0 0 3 0 0 0 16 0 8 0 270427084 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26353] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26353/stat : 26353 (java) S 26348 26350 25759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270427084 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26354] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26354/stat : 26354 (java) S 26348 26350 25759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270427084 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26355] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26355/stat : 26355 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26356] ppid=26348 vsize=915464 CPUtime=0.14
/proc/26350/task/26356/stat : 26356 (java) S 26348 26350 25759 0 -1 64 348 0 0 0 14 0 0 0 15 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26357] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26357/stat : 26357 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26358] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26358/stat : 26358 (java) S 26348 26350 25759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270427088 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464
[startup+6.26183 s]
/proc/loadavg: 1.99 2.06 2.01 3/93 26358
/proc/meminfo: memFree=1499784/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=915464 CPUtime=6.15
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 7415 0 13 0 527 88 0 0 25 0 8 0 270427080 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228866 7164 2479 14 0 215336 0
[pid=26350/tid=26352] ppid=26348 vsize=915464 CPUtime=0.03
/proc/26350/task/26352/stat : 26352 (java) S 26348 26350 25759 0 -1 64 201 0 0 0 3 0 0 0 16 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26353] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26353/stat : 26353 (java) S 26348 26350 25759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26354] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26354/stat : 26354 (java) S 26348 26350 25759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26355] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26355/stat : 26355 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26356] ppid=26348 vsize=915464 CPUtime=0.15
/proc/26350/task/26356/stat : 26356 (java) S 26348 26350 25759 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26357] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26357/stat : 26357 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26358] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26358/stat : 26358 (java) S 26348 26350 25759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915464
[startup+12.7494 s]
/proc/loadavg: 1.99 2.06 2.01 3/93 26358
/proc/meminfo: memFree=1499784/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=915464 CPUtime=12.59
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 7415 0 13 0 1070 189 0 0 25 0 8 0 270427080 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228866 7164 2479 14 0 215336 0
[pid=26350/tid=26352] ppid=26348 vsize=915464 CPUtime=0.03
/proc/26350/task/26352/stat : 26352 (java) S 26348 26350 25759 0 -1 64 201 0 0 0 3 0 0 0 16 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26353] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26353/stat : 26353 (java) S 26348 26350 25759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26354] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26354/stat : 26354 (java) S 26348 26350 25759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26355] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26355/stat : 26355 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26356] ppid=26348 vsize=915464 CPUtime=0.15
/proc/26350/task/26356/stat : 26356 (java) S 26348 26350 25759 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26357] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26357/stat : 26357 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26358] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26358/stat : 26358 (java) S 26348 26350 25759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.5906 s]
/proc/loadavg: 1.99 2.05 2.01 3/93 26358
/proc/meminfo: memFree=1500040/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=915464 CPUtime=25.32
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 7415 0 13 0 2149 383 0 0 25 0 8 0 270427080 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073738872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228866 7164 2479 14 0 215336 0
[pid=26350/tid=26352] ppid=26348 vsize=915464 CPUtime=0.03
/proc/26350/task/26352/stat : 26352 (java) S 26348 26350 25759 0 -1 64 201 0 0 0 3 0 0 0 16 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26353] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26353/stat : 26353 (java) S 26348 26350 25759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26354] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26354/stat : 26354 (java) S 26348 26350 25759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270427084 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26355] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26355/stat : 26355 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26356] ppid=26348 vsize=915464 CPUtime=0.15
/proc/26350/task/26356/stat : 26356 (java) S 26348 26350 25759 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26357] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26357/stat : 26357 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26358] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26358/stat : 26358 (java) S 26348 26350 25759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270427088 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915464
[startup+51.1971 s]
/proc/loadavg: 1.99 2.05 2.00 5/93 26358
/proc/meminfo: memFree=1493704/2055920 swapFree=4191880/4192956
[pid=26350] ppid=26348 vsize=915464 CPUtime=50.71
/proc/26350/stat : 26350 (java) R 26348 26350 25759 0 -1 0 9093 0 13 0 4602 469 0 0 25 0 8 0 270427080 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26350/statm: 228866 8835 2532 14 0 215336 0
[pid=26350/tid=26352] ppid=26348 vsize=915464 CPUtime=0.03
/proc/26350/task/26352/stat : 26352 (java) S 26348 26350 25759 0 -1 64 202 0 0 0 3 0 0 0 16 0 8 0 270427084 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26353] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26353/stat : 26353 (java) S 26348 26350 25759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270427084 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26354] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26354/stat : 26354 (java) S 26348 26350 25759 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270427084 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26355] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26355/stat : 26355 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270427088 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26356] ppid=26348 vsize=915464 CPUtime=0.25
/proc/26350/task/26356/stat : 26356 (java) S 26348 26350 25759 0 -1 64 407 0 0 0 24 1 0 0 15 0 8 0 270427088 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26357] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26357/stat : 26357 (java) S 26348 26350 25759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270427088 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26350/tid=26358] ppid=26348 vsize=915464 CPUtime=0
/proc/26350/task/26358/stat : 26358 (java) R 26348 26350 25759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270427088 937435136 8835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 51.2628
CPU time (s): 50.7303
CPU user time (s): 46.028
CPU system time (s): 4.70229
CPU usage (%): 98.9613
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.028
system time used= 4.70228
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9190
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2312
involuntary context switches= 4293
runsolver used 0.056991 s user time and 0.189971 s system time
The end
Begin job on node26 on Fri Jan 19 15:25:28 UTC 2007
IDJOB= 275356
IDBENCH= 3801
IDSOLVER= 68
FILE ID= node26/275356-1169220328
PBS_JOBID= 3589135
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-80/composed-25-1-80-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275356-1169220328/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-275356-1169220328 -o ROOT/results/node26/solver-275356-1169220328 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275356-1169220328/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 43f8c52ab4dc6387806c6596451fed65
RANDOM SEED= 296747922
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.236
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.236
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: 1522784 kB
Buffers: 40596 kB
Cached: 355236 kB
SwapCached: 268 kB
Active: 233232 kB
Inactive: 231616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1522784 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4136 kB
Writeback: 0 kB
Mapped: 88144 kB
Slab: 53168 kB
Committed_AS: 4561088 kB
PageTables: 2224 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 node26 on Fri Jan 19 15:26:19 UTC 2007