0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=epfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/275338-1169220155/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.44 => wckTime=0.093 cpuTime=0.08 mem=6M887
0.44
0.44 relations being loaded...
0.51
0.51 constraints being loaded...
0.60 nbConstraints=302 nbRelationTypes=302 nbExtensionStructures=302 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=302 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5457 maxDegree=26
0.60 maxArity=2
0.60 => wckTime=0.256 cpuTime=0.17 mem=9M829
0.64
0.64 solver LocalSearchSolver being built...
0.68 => wckTime=0.336 cpuTime=0.22 mem=5M684
0.69
0.69 s SATISFIABLE
0.69 o 260
0.69 c 42
0.69 o 265
0.69 c 37
0.69 o 270
0.69 c 32
0.69 o 274
0.69 c 28
0.69 o 277
0.69 c 25
0.69 o 280
0.69 c 22
0.69 o 282
0.69 c 20
0.69 o 284
0.69 c 18
0.69 o 286
0.69 c 16
0.69 o 287
0.69 c 15
0.69 o 289
0.69 c 13
0.70 o 291
0.70 c 11
0.70 o 292
0.70 c 10
0.70 o 294
0.70 c 8
0.70 o 295
0.70 c 7
0.70 o 296
0.70 c 6
0.70 o 297
0.70 c 5
0.70 o 298
0.70 c 4
0.70 o 299
0.70 c 3
3.10
3.10 search
3.10 run=0 nbConstraintChecks=17690872 nbAssignments=10000
3.10 => wckTime=2.415 cpuTime=2.4 mem=5M684
5.54
5.54 search
5.54 run=1 nbConstraintChecks=36451522 nbAssignments=20000
5.54 => wckTime=4.862 cpuTime=4.84 mem=5M684
7.92
7.92 search
7.92 run=2 nbConstraintChecks=54458154 nbAssignments=30000
7.92 => wckTime=7.234 cpuTime=7.21 mem=5M684
10.51
10.51 search
10.51 run=3 nbConstraintChecks=74526177 nbAssignments=40000
10.51 => wckTime=9.828 cpuTime=9.8 mem=5M684
12.91
12.91 search
12.91 run=4 nbConstraintChecks=92643488 nbAssignments=50000
12.91 => wckTime=12.232 cpuTime=12.2 mem=5M684
15.42
15.42 search
15.42 run=5 nbConstraintChecks=111847380 nbAssignments=60000
15.42 => wckTime=14.742 cpuTime=14.72 mem=5M684
17.73
17.73 search
17.73 run=6 nbConstraintChecks=129129689 nbAssignments=70000
17.73 => wckTime=17.053 cpuTime=17.02 mem=5M684
20.22
20.22 search
20.22 run=7 nbConstraintChecks=148279571 nbAssignments=80000
20.22 => wckTime=19.54 cpuTime=19.51 mem=5M684
22.60
22.60 search
22.60 run=8 nbConstraintChecks=166370279 nbAssignments=90000
22.60 => wckTime=21.921 cpuTime=21.89 mem=5M684
25.11
25.11 search
25.11 run=9 nbConstraintChecks=185732263 nbAssignments=100000
25.11 => wckTime=24.431 cpuTime=24.4 mem=5M684
27.46
27.46 search
27.46 run=10 nbConstraintChecks=203498549 nbAssignments=110000
27.46 => wckTime=26.778 cpuTime=26.75 mem=5M684
29.97
29.97 search
29.97 run=11 nbConstraintChecks=222744787 nbAssignments=120000
29.97 => wckTime=29.293 cpuTime=29.26 mem=5M684
30.74
30.74 search
30.74 run=12 nbConstraintChecks=228414531 nbAssignments=123371
30.74 => wckTime=30.059 cpuTime=30.03 mem=5M684
30.74
30.74 global
30.74 nbConstraintChecks=228414531 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.74 solvingWckTime=30.058 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.74 globalCpuTime=30.3
30.74 => wckTime=30.396 cpuTime=30.25 mem=5M684
30.74
30.74 solver IterativeSystematicSolver being built...
30.87 => wckTime=30.522 cpuTime=30.35 mem=16M673
30.92
30.92 preprocessing
30.92 nbConstraintChecks=36785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.92 detectedInconsistency=no
30.92 => wckTime=0.053 cpuTime=0.03 mem=16M673
30.97
30.97 search
30.97 run=0 nbConstraintChecks=115748 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
30.97 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=89 nbRestartNogoods=0
30.97 => wckTime=0.098 cpuTime=0.07 mem=16M673
31.00
31.00 search
31.00 run=1 nbConstraintChecks=180031 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90
31.00 nbFailedAssignments=41 nbBacktracks=25 nbVisitedNodes=157 nbRestartNogoods=1
31.00 => wckTime=0.13 cpuTime=0.09 mem=16M673
31.07
31.07 search
31.07 run=2 nbConstraintChecks=423952 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=192
31.07 nbFailedAssignments=105 nbBacktracks=48 nbVisitedNodes=346 nbRestartNogoods=4
31.07 => wckTime=0.205 cpuTime=0.17 mem=16M673
31.12
31.12 search
31.12 run=3 nbConstraintChecks=603129 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=274
31.12 nbFailedAssignments=139 nbBacktracks=81 nbVisitedNodes=495 nbRestartNogoods=16
31.12 => wckTime=0.252 cpuTime=0.21 mem=16M673
31.22
31.22 search
31.22 run=4 nbConstraintChecks=975105 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=448
31.22 nbFailedAssignments=246 nbBacktracks=133 nbVisitedNodes=825 nbRestartNogoods=19
31.22 => wckTime=0.355 cpuTime=0.32 mem=16M673
31.32
31.32 search
31.32 run=5 nbConstraintChecks=1390296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=621
31.32 nbFailedAssignments=323 nbBacktracks=208 nbVisitedNodes=1150 nbRestartNogoods=29
31.32 => wckTime=0.455 cpuTime=0.41 mem=16M673
31.50
31.50 search
31.50 run=6 nbConstraintChecks=2022418 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=881
31.50 nbFailedAssignments=448 nbBacktracks=321 nbVisitedNodes=1646 nbRestartNogoods=37
31.50 => wckTime=0.627 cpuTime=0.59 mem=16M673
31.86
31.86 search
31.86 run=7 nbConstraintChecks=3248730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1351
31.86 nbFailedAssignments=730 nbBacktracks=491 nbVisitedNodes=2568 nbRestartNogoods=41
31.86 => wckTime=0.992 cpuTime=0.95 mem=16M673
32.11
32.11 search
32.11 run=8 nbConstraintChecks=4203687 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1803
32.11 nbFailedAssignments=908 nbBacktracks=749 nbVisitedNodes=3454 nbRestartNogoods=52
32.11 => wckTime=1.243 cpuTime=1.18 mem=16M673
32.65
32.65 search
32.65 run=9 nbConstraintChecks=6413871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2673
32.65 nbFailedAssignments=1378 nbBacktracks=1134 nbVisitedNodes=5176 nbRestartNogoods=61
32.65 => wckTime=1.782 cpuTime=1.72 mem=16M673
33.48
33.48 search
33.48 run=10 nbConstraintChecks=9769685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3863
33.48 nbFailedAssignments=1978 nbBacktracks=1710 nbVisitedNodes=7542 nbRestartNogoods=65
33.48 => wckTime=2.606 cpuTime=2.53 mem=16M673
34.62
34.62 search
34.62 run=11 nbConstraintChecks=14035906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5740
34.62 nbFailedAssignments=2975 nbBacktracks=2576 nbVisitedNodes=11257 nbRestartNogoods=71
34.62 => wckTime=3.753 cpuTime=3.68 mem=16M673
36.88
36.88 search
36.88 run=12 nbConstraintChecks=20820536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8808
36.88 nbFailedAssignments=4730 nbBacktracks=3873 nbVisitedNodes=17361 nbRestartNogoods=82
36.88 => wckTime=6.008 cpuTime=5.91 mem=16M673
38.61
38.61 search
38.61 run=13 nbConstraintChecks=26216445 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11076
38.61 nbFailedAssignments=6013 nbBacktracks=4859 nbVisitedNodes=21887 nbRestartNogoods=95
38.61 => wckTime=7.742 cpuTime=7.59 mem=16M673
38.61
38.61 global
38.61 nbConstraintChecks=26253230 nbRestartNogoods=95 solvingWckTime=7.743 solvingCpuTime=7.59 expiredTime=no
38.61 totalExploration=yes nbFoundSolutions=0 globalCpuTime=37.99
38.61 => wckTime=38.266 cpuTime=37.94 mem=16M673
38.61
38.61 s OPTIMUM FOUND
38.62 v 1 1 4 7 5 3 1 1 9 8 7 7 8 8 6 4 8 5 1 2 9 8 4 2 4 8 5 4 2 8 3 2 8
38.62
38.62 totalWckTime=38.341 totalCpuTime=37.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-275338-1169220155 -o ROOT/results/node75/solver-275338-1169220155 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275338-1169220155/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.92 1.98 1.95 6/80 30411
/proc/meminfo: memFree=1101640/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=0 CPUtime=0
/proc/30410/stat : 30410 (runsolver) R 30408 30410 29662 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270415011 0 0 18446744073709551615 0 0 0 18446744073709551615 231882681639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/30410/statm: 0 0 0 0 0 0 0
[startup+0.107145 s]
/proc/loadavg: 1.92 1.98 1.95 6/80 30411
/proc/meminfo: memFree=1101640/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=907676 CPUtime=0.04
/proc/30410/stat : 30410 (java) R 30408 30410 29662 0 -1 0 2317 0 1 0 3 1 0 0 16 0 4 0 270415011 929460224 2064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 226919 2065 1160 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.515194 s]
/proc/loadavg: 1.92 1.98 1.95 6/80 30411
/proc/meminfo: memFree=1101640/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=915332 CPUtime=0.44
/proc/30410/stat : 30410 (java) R 30408 30410 29662 0 -1 0 6301 0 1 0 39 5 0 0 18 0 8 0 270415011 937299968 6040 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 228833 6040 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332
[startup+1.3373 s]
/proc/loadavg: 1.92 1.98 1.95 3/87 30418
/proc/meminfo: memFree=1082576/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=915464 CPUtime=1.26
/proc/30410/stat : 30410 (java) R 30408 30410 29662 0 -1 0 7423 0 1 0 110 16 0 0 25 0 8 0 270415011 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 228866 7161 2479 14 0 215336 0
[pid=30410/tid=30412] ppid=30408 vsize=915464 CPUtime=0.02
/proc/30410/task/30412/stat : 30412 (java) S 30408 30410 29662 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 270415020 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30413/stat : 30413 (java) S 30408 30410 29662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270415021 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30414] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30414/stat : 30414 (java) S 30408 30410 29662 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270415021 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30415] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30415/stat : 30415 (java) S 30408 30410 29662 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270415024 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30416] ppid=30408 vsize=915464 CPUtime=0.14
/proc/30410/task/30416/stat : 30416 (java) S 30408 30410 29662 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 270415024 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30417] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30417/stat : 30417 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270415024 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30418] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30418/stat : 30418 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270415024 937435136 7161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464
[startup+2.98049 s]
/proc/loadavg: 1.92 1.98 1.95 3/87 30418
/proc/meminfo: memFree=1082512/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=915464 CPUtime=2.9
/proc/30410/stat : 30410 (java) R 30408 30410 29662 0 -1 0 7425 0 1 0 251 39 0 0 25 0 8 0 270415011 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 228867 7162 2479 14 0 215337 0
[pid=30410/tid=30412] ppid=30408 vsize=915464 CPUtime=0.02
/proc/30410/task/30412/stat : 30412 (java) S 30408 30410 29662 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 270415020 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30413/stat : 30413 (java) S 30408 30410 29662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270415021 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30414] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30414/stat : 30414 (java) S 30408 30410 29662 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270415021 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30415] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30415/stat : 30415 (java) S 30408 30410 29662 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270415024 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30416] ppid=30408 vsize=915464 CPUtime=0.14
/proc/30410/task/30416/stat : 30416 (java) S 30408 30410 29662 0 -1 64 348 0 0 0 13 1 0 0 16 0 8 0 270415024 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30417] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30417/stat : 30417 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270415024 937435136 7162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30418] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30418/stat : 30418 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270415024 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.25987 s]
/proc/loadavg: 1.93 1.98 1.95 3/87 30418
/proc/meminfo: memFree=1082512/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=915464 CPUtime=6.18
/proc/30410/stat : 30410 (java) R 30408 30410 29662 0 -1 0 7427 0 1 0 525 93 0 0 25 0 8 0 270415011 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 228867 7164 2479 14 0 215337 0
[pid=30410/tid=30412] ppid=30408 vsize=915464 CPUtime=0.02
/proc/30410/task/30412/stat : 30412 (java) S 30408 30410 29662 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 270415020 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30413/stat : 30413 (java) S 30408 30410 29662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270415021 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30414] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30414/stat : 30414 (java) S 30408 30410 29662 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270415021 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30415] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30415/stat : 30415 (java) S 30408 30410 29662 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30416] ppid=30408 vsize=915464 CPUtime=0.14
/proc/30410/task/30416/stat : 30416 (java) S 30408 30410 29662 0 -1 64 350 0 0 0 13 1 0 0 16 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30417] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30417/stat : 30417 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30418] ppid=30408 vsize=915468 CPUtime=0
/proc/30410/task/30418/stat : 30418 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270415024 937439232 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.18
Current children cumulated vsize (KiB) 915464
[startup+12.7476 s]
/proc/loadavg: 1.93 1.98 1.95 3/87 30418
/proc/meminfo: memFree=1082528/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=915464 CPUtime=12.66
/proc/30410/stat : 30410 (java) R 30408 30410 29662 0 -1 0 7427 0 1 0 1079 187 0 0 25 0 8 0 270415011 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 228866 7164 2479 14 0 215336 0
[pid=30410/tid=30412] ppid=30408 vsize=915464 CPUtime=0.02
/proc/30410/task/30412/stat : 30412 (java) S 30408 30410 29662 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 270415020 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30413/stat : 30413 (java) S 30408 30410 29662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270415021 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30414] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30414/stat : 30414 (java) S 30408 30410 29662 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270415021 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30415] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30415/stat : 30415 (java) S 30408 30410 29662 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30416] ppid=30408 vsize=915464 CPUtime=0.14
/proc/30410/task/30416/stat : 30416 (java) S 30408 30410 29662 0 -1 64 350 0 0 0 13 1 0 0 16 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30417] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30417/stat : 30417 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30418] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30418/stat : 30418 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270415024 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.66
Current children cumulated vsize (KiB) 915464
[startup+25.5932 s]
/proc/loadavg: 1.95 1.98 1.95 3/87 30418
/proc/meminfo: memFree=1082528/2055920 swapFree=4184548/4192956
[pid=30410] ppid=30408 vsize=915464 CPUtime=25.51
/proc/30410/stat : 30410 (java) R 30408 30410 29662 0 -1 0 7427 0 1 0 2172 379 0 0 25 0 8 0 270415011 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 228866 7164 2479 14 0 215336 0
[pid=30410/tid=30412] ppid=30408 vsize=915468 CPUtime=0.02
/proc/30410/task/30412/stat : 30412 (java) S 30408 30410 29662 0 -1 64 201 0 0 0 2 0 0 0 16 0 8 0 270415020 937439232 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30413/stat : 30413 (java) S 30408 30410 29662 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270415021 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30414] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30414/stat : 30414 (java) S 30408 30410 29662 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270415021 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30415] ppid=30408 vsize=915468 CPUtime=0
/proc/30410/task/30415/stat : 30415 (java) S 30408 30410 29662 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270415024 937439232 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30416] ppid=30408 vsize=915464 CPUtime=0.14
/proc/30410/task/30416/stat : 30416 (java) S 30408 30410 29662 0 -1 64 350 0 0 0 13 1 0 0 16 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30417] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30417/stat : 30417 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270415024 937435136 7164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30410/tid=30418] ppid=30408 vsize=915464 CPUtime=0
/proc/30410/task/30418/stat : 30418 (java) S 30408 30410 29662 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270415024 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.51
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 38.6388
CPU time (s): 38.4622
CPU user time (s): 33.8169
CPU system time (s): 4.64529
CPU usage (%): 99.5428
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.8169
system time used= 4.64529
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= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1958
involuntary context switches= 2398
runsolver used 0.038994 s user time and 0.111982 s system time
The end
Begin job on node75 on Fri Jan 19 15:22:36 UTC 2007
IDJOB= 275338
IDBENCH= 3799
IDSOLVER= 68
FILE ID= node75/275338-1169220155
PBS_JOBID= 3589124
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-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275338-1169220155/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-275338-1169220155 -o ROOT/results/node75/solver-275338-1169220155 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275338-1169220155/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 83c7b25af1f95bba2d05432f9ef312fa
RANDOM SEED= 725394576
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1102120 kB
Buffers: 48212 kB
Cached: 776080 kB
SwapCached: 2452 kB
Active: 429304 kB
Inactive: 451900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1102120 kB
SwapTotal: 4192956 kB
SwapFree: 4184548 kB
Dirty: 1728 kB
Writeback: 0 kB
Mapped: 73504 kB
Slab: 57824 kB
Committed_AS: 6028692 kB
PageTables: 1936 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= 66560 MiB
End job on node75 on Fri Jan 19 15:23:15 UTC 2007