0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275872-1169228522/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=33 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=262 nbRelationTypes=262 nbExtensionStructures=262 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=262 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4649 maxDegree=23
0.59 maxArity=2
0.59 => wckTime=0.269 cpuTime=0.18 mem=10M10
0.63
0.63 solver LocalSearchSolver being built...
0.68 => wckTime=0.356 cpuTime=0.22 mem=5M644
0.68
0.68 s SATISFIABLE
0.68 o 224
0.68 c 38
0.68 o 228
0.68 c 34
0.68 o 231
0.68 c 31
0.68 o 234
0.68 c 28
0.68 o 238
0.68 c 24
0.68 o 241
0.68 c 21
0.69 o 244
0.69 c 18
0.69 o 246
0.69 c 16
0.69 o 247
0.69 c 15
0.69 o 249
0.69 c 13
0.69 o 251
0.69 c 11
0.69 o 253
0.69 c 9
0.69 o 254
0.69 c 8
0.69 o 255
0.69 c 7
0.69 o 256
0.69 c 6
0.69 o 257
0.69 c 5
0.69 o 258
0.69 c 4
0.69 o 259
0.69 c 3
0.72 o 260
0.72 c 2
3.12
3.12 search
3.12 run=0 nbConstraintChecks=15766063 nbAssignments=10000
3.12 => wckTime=2.445 cpuTime=2.4 mem=5M644
5.24
5.24 search
5.24 run=1 nbConstraintChecks=29586788 nbAssignments=20000
5.24 => wckTime=4.562 cpuTime=4.49 mem=5M644
7.59
7.59 search
7.59 run=2 nbConstraintChecks=45484403 nbAssignments=30000
7.59 => wckTime=6.919 cpuTime=6.83 mem=5M644
10.02
10.02 search
10.02 run=3 nbConstraintChecks=61986709 nbAssignments=40000
10.02 => wckTime=9.342 cpuTime=9.23 mem=5M644
12.45
12.45 search
12.45 run=4 nbConstraintChecks=78539794 nbAssignments=50000
12.45 => wckTime=11.776 cpuTime=11.64 mem=5M644
14.97
14.97 search
14.97 run=5 nbConstraintChecks=95754244 nbAssignments=60000
14.97 => wckTime=14.299 cpuTime=14.14 mem=5M644
17.34
17.34 search
17.34 run=6 nbConstraintChecks=111555632 nbAssignments=70000
17.34 => wckTime=16.663 cpuTime=16.48 mem=5M644
19.78
19.78 search
19.78 run=7 nbConstraintChecks=128099162 nbAssignments=80000
19.78 => wckTime=19.11 cpuTime=18.91 mem=5M644
22.25
22.25 search
22.25 run=8 nbConstraintChecks=144796259 nbAssignments=90000
22.25 => wckTime=21.577 cpuTime=21.35 mem=5M644
24.76
24.76 search
24.76 run=9 nbConstraintChecks=161961364 nbAssignments=100000
24.76 => wckTime=24.083 cpuTime=23.84 mem=5M644
26.95
26.95 search
26.95 run=10 nbConstraintChecks=176425305 nbAssignments=110000
26.95 => wckTime=26.277 cpuTime=26.01 mem=5M644
29.16
29.16 search
29.16 run=11 nbConstraintChecks=191050430 nbAssignments=120000
29.16 => wckTime=28.487 cpuTime=28.2 mem=5M644
31.02
31.02 search
31.02 run=12 nbConstraintChecks=203658388 nbAssignments=127694
31.02 => wckTime=30.344 cpuTime=30.04 mem=5M644
31.02
31.02 global
31.02 nbConstraintChecks=203658388 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.02 solvingWckTime=30.342 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
31.02 globalCpuTime=30.31
31.02 => wckTime=30.7 cpuTime=30.26 mem=5M644
31.02
31.02 solver IterativeSystematicSolver being built...
31.15 => wckTime=30.834 cpuTime=30.37 mem=16M634
31.21
31.21 preprocessing
31.21 nbConstraintChecks=30961 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=1
31.21 detectedInconsistency=no
31.21 => wckTime=0.054 cpuTime=0.04 mem=16M634
31.25
31.25 search
31.25 run=0 nbConstraintChecks=90770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47
31.25 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=81 nbRestartNogoods=0
31.25 => wckTime=0.092 cpuTime=0.07 mem=16M634
31.31
31.31 search
31.31 run=1 nbConstraintChecks=245628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113
31.31 nbFailedAssignments=68 nbBacktracks=25 nbVisitedNodes=207 nbRestartNogoods=2
31.31 => wckTime=0.158 cpuTime=0.12 mem=16M634
31.44
31.44 search
31.44 run=2 nbConstraintChecks=554961 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=274
31.44 nbFailedAssignments=189 nbBacktracks=50 nbVisitedNodes=514 nbRestartNogoods=3
31.44 => wckTime=0.28 cpuTime=0.24 mem=16M634
31.55
31.55 search
31.55 run=3 nbConstraintChecks=891386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=459
31.55 nbFailedAssignments=332 nbBacktracks=83 nbVisitedNodes=875 nbRestartNogoods=13
31.55 => wckTime=0.396 cpuTime=0.35 mem=16M634
31.69
31.69 search
31.69 run=4 nbConstraintChecks=1322492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=683
31.69 nbFailedAssignments=491 nbBacktracks=133 nbVisitedNodes=1305 nbRestartNogoods=14
31.69 => wckTime=0.536 cpuTime=0.48 mem=16M634
31.86
31.86 search
31.86 run=5 nbConstraintChecks=1856720 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=995
31.86 nbFailedAssignments=707 nbBacktracks=208 nbVisitedNodes=1897 nbRestartNogoods=20
31.86 => wckTime=0.703 cpuTime=0.65 mem=16M634
32.02
32.02 search
32.02 run=6 nbConstraintChecks=2415817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1266
32.02 nbFailedAssignments=855 nbBacktracks=321 nbVisitedNodes=2420 nbRestartNogoods=25
32.02 => wckTime=0.867 cpuTime=0.81 mem=16M634
32.25
32.25 search
32.25 run=7 nbConstraintChecks=3135022 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1601
32.25 nbFailedAssignments=1012 nbBacktracks=491 nbVisitedNodes=3028 nbRestartNogoods=30
32.25 => wckTime=1.09 cpuTime=1.02 mem=16M634
32.54
32.54 search
32.54 run=8 nbConstraintChecks=4302630 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2238
32.54 nbFailedAssignments=1374 nbBacktracks=747 nbVisitedNodes=4221 nbRestartNogoods=31
32.54 => wckTime=1.385 cpuTime=1.3 mem=16M634
32.93
32.93 search
32.94 run=9 nbConstraintChecks=5933906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3043
32.94 nbFailedAssignments=1774 nbBacktracks=1132 nbVisitedNodes=5810 nbRestartNogoods=37
32.94 => wckTime=1.78 cpuTime=1.69 mem=16M634
33.23
33.23 search
33.23 run=10 nbConstraintChecks=6746318 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3550
33.23 nbFailedAssignments=2025 nbBacktracks=1389 nbVisitedNodes=6824 nbRestartNogoods=46
33.23 => wckTime=2.078 cpuTime=1.98 mem=16M634
33.23
33.23 global
33.23 nbConstraintChecks=6777279 nbRestartNogoods=46 solvingWckTime=2.079 solvingCpuTime=1.99 expiredTime=no
33.23 totalExploration=yes nbFoundSolutions=0 globalCpuTime=32.41
33.23 => wckTime=32.914 cpuTime=32.36 mem=16M634
33.24
33.24 s OPTIMUM FOUND
33.24 v 8 6 0 3 6 0 3 3 3 0 6 1 3 2 5 3 1 3 7 0 7 4 1 6 8 2 5 2 2 6 9 7 5
33.24
33.24 totalWckTime=32.996 totalCpuTime=32.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-275872-1169228522 -o ROOT/results/node4/solver-275872-1169228522 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275872-1169228522/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.85 1.97 1.99 2/93 25297
/proc/meminfo: memFree=1341168/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=18540 CPUtime=0
/proc/25296/stat : 25296 (runsolver) R 25294 25296 24681 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271247792 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25296/statm: 4635 279 244 17 0 2626 0
[startup+0.101957 s]
/proc/loadavg: 1.85 1.97 1.99 2/93 25297
/proc/meminfo: memFree=1341168/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=913228 CPUtime=0.07
/proc/25296/stat : 25296 (java) S 25294 25296 24681 0 -1 0 2903 0 1 0 6 1 0 0 18 0 8 0 271247792 935145472 2649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25296/statm: 228307 2649 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.509998 s]
/proc/loadavg: 1.85 1.97 1.99 2/93 25297
/proc/meminfo: memFree=1341168/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=915332 CPUtime=0.47
/proc/25296/stat : 25296 (java) R 25294 25296 24681 0 -1 0 6308 0 1 0 44 3 0 0 18 0 8 0 271247792 937299968 6047 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25296/statm: 228833 6047 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33111 s]
/proc/loadavg: 1.85 1.97 1.99 3/100 25304
/proc/meminfo: memFree=1322424/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=915464 CPUtime=1.29
/proc/25296/stat : 25296 (java) R 25294 25296 24681 0 -1 0 7357 0 1 0 114 15 0 0 25 0 8 0 271247792 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25296/statm: 228866 7095 2479 14 0 215336 0
[pid=25296/tid=25298] ppid=25294 vsize=915464 CPUtime=0.02
/proc/25296/task/25298/stat : 25298 (java) S 25294 25296 24681 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 271247797 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25299] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25299/stat : 25299 (java) S 25294 25296 24681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271247797 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25300] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25300/stat : 25300 (java) S 25294 25296 24681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271247797 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25301] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25301/stat : 25301 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25302] ppid=25294 vsize=915464 CPUtime=0.16
/proc/25296/task/25302/stat : 25302 (java) S 25294 25296 24681 0 -1 64 346 0 0 0 15 1 0 0 16 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25303] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25303/stat : 25303 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25304] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25304/stat : 25304 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97523 s]
/proc/loadavg: 1.85 1.97 1.99 3/100 25304
/proc/meminfo: memFree=1322424/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=915464 CPUtime=2.93
/proc/25296/stat : 25296 (java) R 25294 25296 24681 0 -1 0 7358 0 1 0 250 43 0 0 25 0 8 0 271247792 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25296/statm: 228866 7095 2479 14 0 215336 0
[pid=25296/tid=25298] ppid=25294 vsize=915464 CPUtime=0.02
/proc/25296/task/25298/stat : 25298 (java) S 25294 25296 24681 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 271247797 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25299] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25299/stat : 25299 (java) S 25294 25296 24681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271247797 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25300] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25300/stat : 25300 (java) S 25294 25296 24681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271247797 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25301] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25301/stat : 25301 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25302] ppid=25294 vsize=915464 CPUtime=0.16
/proc/25296/task/25302/stat : 25302 (java) S 25294 25296 24681 0 -1 64 346 0 0 0 15 1 0 0 16 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25303] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25303/stat : 25303 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25304] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25304/stat : 25304 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271247801 937435136 7095 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+6.17754 s]
/proc/loadavg: 1.86 1.97 1.99 3/100 25304
/proc/meminfo: memFree=1322296/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=915464 CPUtime=6.09
/proc/25296/stat : 25296 (java) R 25294 25296 24681 0 -1 0 7361 0 1 0 508 101 0 0 25 0 8 0 271247792 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25296/statm: 228866 7098 2479 14 0 215336 0
[pid=25296/tid=25298] ppid=25294 vsize=915464 CPUtime=0.02
/proc/25296/task/25298/stat : 25298 (java) S 25294 25296 24681 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25299] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25299/stat : 25299 (java) S 25294 25296 24681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25300] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25300/stat : 25300 (java) S 25294 25296 24681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25301] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25301/stat : 25301 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25302] ppid=25294 vsize=915464 CPUtime=0.16
/proc/25296/task/25302/stat : 25302 (java) S 25294 25296 24681 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25303] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25303/stat : 25303 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25304] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25304/stat : 25304 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915464
[startup+12.6512 s]
/proc/loadavg: 1.87 1.97 1.99 3/100 25304
/proc/meminfo: memFree=1322360/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=915464 CPUtime=12.51
/proc/25296/stat : 25296 (java) R 25294 25296 24681 0 -1 0 7361 0 1 0 1041 210 0 0 25 0 8 0 271247792 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25296/statm: 228866 7098 2479 14 0 215336 0
[pid=25296/tid=25298] ppid=25294 vsize=915464 CPUtime=0.02
/proc/25296/task/25298/stat : 25298 (java) R 25294 25296 24681 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25299] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25299/stat : 25299 (java) S 25294 25296 24681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25300] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25300/stat : 25300 (java) S 25294 25296 24681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25301] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25301/stat : 25301 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25302] ppid=25294 vsize=915464 CPUtime=0.16
/proc/25296/task/25302/stat : 25302 (java) S 25294 25296 24681 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25303] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25303/stat : 25303 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25304] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25304/stat : 25304 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915464
[startup+25.5024 s]
/proc/loadavg: 1.90 1.97 1.99 3/100 25304
/proc/meminfo: memFree=1322488/2055920 swapFree=4182144/4192956
[pid=25296] ppid=25294 vsize=915464 CPUtime=25.24
/proc/25296/stat : 25296 (java) R 25294 25296 24681 0 -1 0 7361 0 1 0 2106 418 0 0 25 0 8 0 271247792 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25296/statm: 228866 7098 2479 14 0 215336 0
[pid=25296/tid=25298] ppid=25294 vsize=915464 CPUtime=0.02
/proc/25296/task/25298/stat : 25298 (java) S 25294 25296 24681 0 -1 64 190 0 0 0 2 0 0 0 16 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25299] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25299/stat : 25299 (java) S 25294 25296 24681 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25300] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25300/stat : 25300 (java) S 25294 25296 24681 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271247797 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25301] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25301/stat : 25301 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25302] ppid=25294 vsize=915464 CPUtime=0.16
/proc/25296/task/25302/stat : 25302 (java) S 25294 25296 24681 0 -1 64 349 0 0 0 15 1 0 0 16 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25303] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25303/stat : 25303 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25296/tid=25304] ppid=25294 vsize=915464 CPUtime=0
/proc/25296/task/25304/stat : 25304 (java) S 25294 25296 24681 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271247801 937435136 7098 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 33.2525
CPU time (s): 32.919
CPU user time (s): 27.7318
CPU system time (s): 5.18721
CPU usage (%): 98.9969
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7318
system time used= 5.18721
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9164
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= 1819
involuntary context switches= 4069
runsolver used 0.043993 s user time and 0.120981 s system time
The end
Begin job on node4 on Fri Jan 19 17:42:02 UTC 2007
IDJOB= 275872
IDBENCH= 5111
IDSOLVER= 68
FILE ID= node4/275872-1169228522
PBS_JOBID= 3588958
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-1-40/composed-25-1-40-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275872-1169228522/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-275872-1169228522 -o ROOT/results/node4/solver-275872-1169228522 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275872-1169228522/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 172d3def47834355ee40443d411f6b5d
RANDOM SEED= 99216052
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.223
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.223
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: 1341648 kB
Buffers: 63260 kB
Cached: 497428 kB
SwapCached: 2148 kB
Active: 201744 kB
Inactive: 429908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1341648 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 90880 kB
Slab: 67156 kB
Committed_AS: 8157256 kB
PageTables: 2512 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 node4 on Fri Jan 19 17:42:36 UTC 2007