0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/229264-1168305297/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.51
0.51 constraints being loaded...
0.62 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1337 maxDegree=21
0.63 maxArity=2
0.63 => wckTime=0.298 cpuTime=0.21 mem=11M893
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.508 cpuTime=0.35 mem=14M827
0.89
0.89 preprocessing
0.89 nbConstraintChecks=58071 nbPropagations=808 nbRevisions=5972 nbUselessRevisions=4847 nbSingletonTests=53
0.89 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.05 cpuTime=0.02 mem=14M827
0.91
0.91 search
0.91 run=0 nbConstraintChecks=37180 nbPropagations=1463 nbRevisions=12580 nbUselessRevisions=9893 nbAssignments=28
0.91 nbFailedAssignments=13 nbBacktracks=12 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.04 mem=14M827
0.93
0.93 search
0.93 run=1 nbConstraintChecks=74177 nbPropagations=3575 nbRevisions=31505 nbUselessRevisions=24774 nbAssignments=58
0.93 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=99 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.095 cpuTime=0.06 mem=14M827
0.95
0.95 search
0.95 run=2 nbConstraintChecks=124151 nbPropagations=6590 nbRevisions=59677 nbUselessRevisions=46817
0.95 nbAssignments=99 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=168 nbRestartNogoods=4 mapSize=42
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.111 cpuTime=0.07 mem=14M827
0.97
0.97 search
0.97 run=3 nbConstraintChecks=204558 nbPropagations=10921 nbRevisions=102115 nbUselessRevisions=79652
0.97 nbAssignments=166 nbFailedAssignments=65 nbBacktracks=82 nbVisitedNodes=282 nbRestartNogoods=7 mapSize=70
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.128 cpuTime=0.09 mem=14M827
0.99
0.99 search
0.99 run=4 nbConstraintChecks=291290 nbPropagations=16808 nbRevisions=160730 nbUselessRevisions=124994
0.99 nbAssignments=253 nbFailedAssignments=97 nbBacktracks=132 nbVisitedNodes=429 nbRestartNogoods=10 mapSize=111
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.15 cpuTime=0.11 mem=14M827
1.02
1.02 search
1.02 run=5 nbConstraintChecks=458573 nbPropagations=25345 nbRevisions=248080 nbUselessRevisions=192106
1.03 nbAssignments=388 nbFailedAssignments=152 nbBacktracks=209 nbVisitedNodes=667 nbRestartNogoods=13 mapSize=181
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.187 cpuTime=0.14 mem=14M827
1.07
1.07 search
1.07 run=6 nbConstraintChecks=653945 nbPropagations=37253 nbRevisions=370245 nbUselessRevisions=285461
1.07 nbAssignments=578 nbFailedAssignments=224 nbBacktracks=322 nbVisitedNodes=992 nbRestartNogoods=15 mapSize=273
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.228 cpuTime=0.18 mem=14M827
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1002405 nbPropagations=54948 nbRevisions=553567 nbUselessRevisions=425299
1.14 nbAssignments=880 nbFailedAssignments=351 nbBacktracks=492 nbVisitedNodes=1525 nbRestartNogoods=21 mapSize=415
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.302 cpuTime=0.25 mem=14M827
1.25
1.25 search
1.25 run=8 nbConstraintChecks=1553032 nbPropagations=81935 nbRevisions=840266 nbUselessRevisions=644499
1.25 nbAssignments=1347 nbFailedAssignments=558 nbBacktracks=748 nbVisitedNodes=2354 nbRestartNogoods=28
1.25 mapSize=641 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.413 cpuTime=0.35 mem=14M827
1.41
1.41 search
1.41 run=9 nbConstraintChecks=2326216 nbPropagations=122169 nbRevisions=1270701 nbUselessRevisions=973161
1.41 nbAssignments=2018 nbFailedAssignments=839 nbBacktracks=1133 nbVisitedNodes=3543 nbRestartNogoods=33
1.41 mapSize=978 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.571 cpuTime=0.49 mem=14M827
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=14M827)
1.62
1.62 search
1.62 run=10 nbConstraintChecks=3545977 nbPropagations=182581 nbRevisions=1920332 nbUselessRevisions=1469114
1.62 nbAssignments=3036 nbFailedAssignments=1275 nbBacktracks=1710 nbVisitedNodes=5358 nbRestartNogoods=39
1.62 => wckTime=0.785 cpuTime=0.7 mem=14M827
1.91
1.91 search
1.91 run=11 nbConstraintChecks=5252308 nbPropagations=271959 nbRevisions=2887768 nbUselessRevisions=2207948
1.91 nbAssignments=4532 nbFailedAssignments=1903 nbBacktracks=2575 nbVisitedNodes=7990 nbRestartNogoods=49
1.91 => wckTime=1.074 cpuTime=0.98 mem=14M827
2.36
2.36 search
2.36 run=12 nbConstraintChecks=8007687 nbPropagations=406863 nbRevisions=4358875 nbUselessRevisions=3330882
2.36 nbAssignments=6838 nbFailedAssignments=2906 nbBacktracks=3873 nbVisitedNodes=12078 nbRestartNogoods=56
2.36 => wckTime=1.526 cpuTime=1.42 mem=14M827
3.05
3.06 search
3.06 run=13 nbConstraintChecks=12248949 nbPropagations=611928 nbRevisions=6591955 nbUselessRevisions=5033316
3.06 nbAssignments=10265 nbFailedAssignments=4381 nbBacktracks=5820 nbVisitedNodes=18174 nbRestartNogoods=65
3.06 => wckTime=2.217 cpuTime=2.1 mem=14M827
4.00
4.00 search
4.00 run=14 nbConstraintChecks=18101329 nbPropagations=914413 nbRevisions=9886741 nbUselessRevisions=7545462
4.00 nbAssignments=15360 nbFailedAssignments=6552 nbBacktracks=8740 nbVisitedNodes=27140 nbRestartNogoods=73
4.00 => wckTime=3.167 cpuTime=3.05 mem=14M827
5.51
5.51 search
5.51 run=15 nbConstraintChecks=27317098 nbPropagations=1370142 nbRevisions=14866225 nbUselessRevisions=11344661
5.51 nbAssignments=23210 nbFailedAssignments=10020 nbBacktracks=13118 nbVisitedNodes=41046 nbRestartNogoods=87
5.51 => wckTime=4.671 cpuTime=4.54 mem=14M827
7.76
7.76 search
7.76 run=16 nbConstraintChecks=41150993 nbPropagations=2054310 nbRevisions=22376924 nbUselessRevisions=17078720
7.76 nbAssignments=34660 nbFailedAssignments=14897 nbBacktracks=19689 nbVisitedNodes=61258 nbRestartNogoods=95
7.76 => wckTime=6.919 cpuTime=6.76 mem=14M827
8.37
8.37 search
8.37 run=17 nbConstraintChecks=44885019 nbPropagations=2800625 nbRevisions=30579398 nbUselessRevisions=23342274
8.37 nbAssignments=37844 nbFailedAssignments=16238 nbBacktracks=21533 nbVisitedNodes=66866 nbRestartNogoods=99
8.37 => wckTime=7.53 cpuTime=7.37 mem=14M827
8.37
8.37 global
8.37 nbConstraintChecks=44943090 nbPropagations=2801433 nbRevisions=30585370 nbUselessRevisions=23347121
8.37 nbRestartNogoods=99 solvingWckTime=7.531 solvingCpuTime=7.37 expiredTime=no totalExploration=yes
8.37 nbFoundSolutions=0 globalCpuTime=7.77
8.37 => wckTime=8.043 cpuTime=7.73 mem=14M827
8.37
8.37 s UNSATISFIABLE
8.37 d NODES 37844
8.37 d CHECKS 44943090
8.37
8.37 totalWckTime=8.127 totalCpuTime=7.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-229264-1168305297 -o ROOT/results/node15/solver-229264-1168305297 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229264-1168305297/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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: 2.00 1.84 1.47 4/95 16615
/proc/meminfo: memFree=1505936/2055920 swapFree=4174172/4192956
[pid=16614] ppid=16612 vsize=18540 CPUtime=0
/proc/16614/stat : 16614 (runsolver) R 16612 16614 16230 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 178924540 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16614/statm: 4635 279 244 17 0 2626 0
[startup+0.107855 s]
/proc/loadavg: 2.00 1.84 1.47 4/95 16615
/proc/meminfo: memFree=1505936/2055920 swapFree=4174172/4192956
[pid=16614] ppid=16612 vsize=914988 CPUtime=0.08
/proc/16614/stat : 16614 (java) R 16612 16614 16230 0 -1 0 2961 0 1 0 7 1 0 0 17 0 8 0 178924540 936947712 2707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16614/statm: 228747 2707 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515922 s]
/proc/loadavg: 2.00 1.84 1.47 4/95 16615
/proc/meminfo: memFree=1505936/2055920 swapFree=4174172/4192956
[pid=16614] ppid=16612 vsize=915328 CPUtime=0.49
/proc/16614/stat : 16614 (java) R 16612 16614 16230 0 -1 0 6647 0 1 0 45 4 0 0 18 0 8 0 178924540 937295872 6386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926606 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16614/statm: 228832 6386 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34306 s]
/proc/loadavg: 2.00 1.84 1.47 3/102 16622
/proc/meminfo: memFree=1482136/2055920 swapFree=4174172/4192956
[pid=16614] ppid=16612 vsize=915452 CPUtime=1.3
/proc/16614/stat : 16614 (java) R 16612 16614 16230 0 -1 0 8683 0 1 0 124 6 0 0 24 0 8 0 178924540 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16614/statm: 228863 8421 2524 14 0 215333 0
[pid=16614/tid=16616] ppid=16612 vsize=915452 CPUtime=0.03
/proc/16614/task/16616/stat : 16616 (java) S 16612 16614 16230 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178924545 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16617] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16617/stat : 16617 (java) S 16612 16614 16230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178924545 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16618] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16618/stat : 16618 (java) S 16612 16614 16230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178924545 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16619] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16619/stat : 16619 (java) S 16612 16614 16230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178924548 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16620] ppid=16612 vsize=915452 CPUtime=0.22
/proc/16614/task/16620/stat : 16620 (java) S 16612 16614 16230 0 -1 64 383 0 0 0 22 0 0 0 16 0 8 0 178924548 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16621] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16621/stat : 16621 (java) S 16612 16614 16230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178924548 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16622] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16622/stat : 16622 (java) S 16612 16614 16230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178924549 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.9979 s]
/proc/loadavg: 2.00 1.84 1.47 3/102 16622
/proc/meminfo: memFree=1481944/2055920 swapFree=4174172/4192956
[pid=16614] ppid=16612 vsize=915452 CPUtime=2.94
/proc/16614/stat : 16614 (java) R 16612 16614 16230 0 -1 0 8711 0 1 0 288 6 0 0 25 0 8 0 178924540 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16614/statm: 228863 8448 2524 14 0 215333 0
[pid=16614/tid=16616] ppid=16612 vsize=915452 CPUtime=0.03
/proc/16614/task/16616/stat : 16616 (java) S 16612 16614 16230 0 -1 64 242 0 0 0 3 0 0 0 17 0 8 0 178924545 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16617] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16617/stat : 16617 (java) S 16612 16614 16230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178924545 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16618] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16618/stat : 16618 (java) S 16612 16614 16230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178924545 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16619] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16619/stat : 16619 (java) S 16612 16614 16230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178924548 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16620] ppid=16612 vsize=915452 CPUtime=0.24
/proc/16614/task/16620/stat : 16620 (java) S 16612 16614 16230 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 178924548 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16621] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16621/stat : 16621 (java) S 16612 16614 16230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178924548 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16622] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16622/stat : 16622 (java) S 16612 16614 16230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178924549 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.28328 s]
/proc/loadavg: 2.00 1.84 1.47 3/102 16622
/proc/meminfo: memFree=1481816/2055920 swapFree=4174172/4192956
[pid=16614] ppid=16612 vsize=915452 CPUtime=6.19
/proc/16614/stat : 16614 (java) R 16612 16614 16230 0 -1 0 8720 0 1 0 613 6 0 0 25 0 8 0 178924540 937422848 8456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16614/statm: 228863 8456 2524 14 0 215333 0
[pid=16614/tid=16616] ppid=16612 vsize=915452 CPUtime=0.03
/proc/16614/task/16616/stat : 16616 (java) S 16612 16614 16230 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178924545 937422848 8456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16617] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16617/stat : 16617 (java) S 16612 16614 16230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178924545 937422848 8456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16618] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16618/stat : 16618 (java) S 16612 16614 16230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178924545 937422848 8456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16619] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16619/stat : 16619 (java) S 16612 16614 16230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178924548 937422848 8456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16620] ppid=16612 vsize=915452 CPUtime=0.24
/proc/16614/task/16620/stat : 16620 (java) S 16612 16614 16230 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 178924548 937422848 8456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16621] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16621/stat : 16621 (java) S 16612 16614 16230 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178924548 937422848 8456 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16614/tid=16622] ppid=16612 vsize=915452 CPUtime=0
/proc/16614/task/16622/stat : 16622 (java) S 16612 16614 16230 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178924549 937422848 8456 18446744073709551615 134512640 134570532 4294956464 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) 915452
Child status: 0
Real time (s): 8.42403
CPU time (s): 8.28274
CPU user time (s): 8.21175
CPU system time (s): 0.070989
CPU usage (%): 98.3228
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.21175
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8815
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= 1267
involuntary context switches= 1912
runsolver used 0.013997 s user time and 0.041993 s system time
The end
Begin job on node15 on Tue Jan 9 01:14:57 UTC 2007
IDJOB= 229264
IDBENCH= 6290
FILE ID= node15/229264-1168305297
PBS_JOBID= 3502268
Free space on /tmp= 66330 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-61_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229264-1168305297/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-229264-1168305297 -o ROOT/results/node15/solver-229264-1168305297 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229264-1168305297/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f67e489be70d189637387992088e731a
RANDOM SEED= 477430959
TIME LIMIT= 1800 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.276
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.276
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: 1506416 kB
Buffers: 48760 kB
Cached: 332088 kB
SwapCached: 5800 kB
Active: 348460 kB
Inactive: 148120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1506416 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 134600 kB
Slab: 37100 kB
Committed_AS: 6196900 kB
PageTables: 2652 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= 66330 MiB
End job on node15 on Tue Jan 9 01:15:05 UTC 2007