0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/224233-1168268128/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.58 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3 maxDegree=14 maxArity=2
0.58 => wckTime=0.29 cpuTime=0.22 mem=13M811
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.481 cpuTime=0.35 mem=14M839
0.82
0.82 preprocessing
0.82 nbConstraintChecks=73176 nbPropagations=768 nbRevisions=4863 nbUselessRevisions=3705 nbSingletonTests=49
0.82 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.82 => wckTime=0.047 cpuTime=0.03 mem=14M839
0.84
0.84 search
0.84 run=0 nbConstraintChecks=34252 nbPropagations=1246 nbRevisions=8629 nbUselessRevisions=6355 nbAssignments=26
0.85 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.068 cpuTime=0.04 mem=14M839
0.86
0.86 search
0.86 run=1 nbConstraintChecks=85707 nbPropagations=3204 nbRevisions=22585 nbUselessRevisions=16311 nbAssignments=59
0.86 nbFailedAssignments=25 nbBacktracks=26 nbVisitedNodes=100 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.086 cpuTime=0.05 mem=14M839
0.88
0.88 search
0.88 run=2 nbConstraintChecks=147189 nbPropagations=6215 nbRevisions=44598 nbUselessRevisions=31966
0.88 nbAssignments=109 nbFailedAssignments=48 nbBacktracks=48 nbVisitedNodes=189 nbRestartNogoods=4 mapSize=42
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.103 cpuTime=0.07 mem=14M839
0.90
0.90 search
0.90 run=3 nbConstraintChecks=232539 nbPropagations=10611 nbRevisions=77200 nbUselessRevisions=54935
0.90 nbAssignments=177 nbFailedAssignments=75 nbBacktracks=85 nbVisitedNodes=303 nbRestartNogoods=8 mapSize=68
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.12 cpuTime=0.08 mem=14M839
0.92
0.92 search
0.92 run=4 nbConstraintChecks=373135 nbPropagations=17250 nbRevisions=127037 nbUselessRevisions=89879
0.92 nbAssignments=286 nbFailedAssignments=129 nbBacktracks=135 nbVisitedNodes=495 nbRestartNogoods=12 mapSize=110
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.144 cpuTime=0.11 mem=14M839
0.96
0.96 search
0.96 run=5 nbConstraintChecks=624954 nbPropagations=27884 nbRevisions=208600 nbUselessRevisions=146180
0.96 nbAssignments=466 nbFailedAssignments=226 nbBacktracks=213 nbVisitedNodes=827 nbRestartNogoods=17 mapSize=180
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.185 cpuTime=0.14 mem=14M839
1.01
1.01 search
1.01 run=6 nbConstraintChecks=967789 nbPropagations=43801 nbRevisions=332424 nbUselessRevisions=232239
1.01 nbAssignments=709 nbFailedAssignments=332 nbBacktracks=326 nbVisitedNodes=1229 nbRestartNogoods=25 mapSize=278
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.235 cpuTime=0.19 mem=14M839
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1477997 nbPropagations=67653 nbRevisions=517835 nbUselessRevisions=360134
1.09 nbAssignments=1056 nbFailedAssignments=491 nbBacktracks=496 nbVisitedNodes=1837 nbRestartNogoods=31
1.09 mapSize=422 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.309 cpuTime=0.26 mem=14M839
1.18
1.18 search
1.18 run=8 nbConstraintChecks=2055166 nbPropagations=100990 nbRevisions=776762 nbUselessRevisions=538960
1.18 nbAssignments=1508 nbFailedAssignments=679 nbBacktracks=756 nbVisitedNodes=2621 nbRestartNogoods=39
1.18 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.403 cpuTime=0.35 mem=14M839
1.33
1.33 search
1.33 run=9 nbConstraintChecks=3017666 nbPropagations=151385 nbRevisions=1170700 nbUselessRevisions=811210
1.33 nbAssignments=2281 nbFailedAssignments=1060 nbBacktracks=1144 nbVisitedNodes=4023 nbRestartNogoods=45
1.33 mapSize=973 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.552 cpuTime=0.48 mem=14M839
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=14M839)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=4464190 nbPropagations=225388 nbRevisions=1748257 nbUselessRevisions=1208281
1.52 nbAssignments=3349 nbFailedAssignments=1545 nbBacktracks=1721 nbVisitedNodes=5919 nbRestartNogoods=51
1.52 => wckTime=0.747 cpuTime=0.67 mem=14M839
1.79
1.79 search
1.79 run=11 nbConstraintChecks=6632379 nbPropagations=335050 nbRevisions=2601121 nbUselessRevisions=1793673
1.79 nbAssignments=4911 nbFailedAssignments=2239 nbBacktracks=2587 nbVisitedNodes=8701 nbRestartNogoods=57
1.79 => wckTime=1.016 cpuTime=0.94 mem=14M839
2.17
2.17 search
2.17 run=12 nbConstraintChecks=9495972 nbPropagations=496865 nbRevisions=3859081 nbUselessRevisions=2660517
2.17 nbAssignments=7304 nbFailedAssignments=3331 nbBacktracks=3884 nbVisitedNodes=12953 nbRestartNogoods=59
2.17 => wckTime=1.393 cpuTime=1.31 mem=14M839
2.81
2.81 search
2.81 run=13 nbConstraintChecks=14698053 nbPropagations=742948 nbRevisions=5775622 nbUselessRevisions=3976386
2.81 nbAssignments=11011 nbFailedAssignments=5086 nbBacktracks=5832 nbVisitedNodes=19644 nbRestartNogoods=64
2.81 => wckTime=2.034 cpuTime=1.95 mem=15M815
3.76
3.76 search
3.76 run=14 nbConstraintChecks=22331523 nbPropagations=1115454 nbRevisions=8699380 nbUselessRevisions=5987611
3.76 nbAssignments=16690 nbFailedAssignments=7839 nbBacktracks=8754 nbVisitedNodes=29837 nbRestartNogoods=77
3.76 => wckTime=2.987 cpuTime=2.9 mem=15M815
5.11
5.11 search
5.11 run=15 nbConstraintChecks=33029007 nbPropagations=1662828 nbRevisions=12990232 nbUselessRevisions=8934496
5.11 nbAssignments=24654 nbFailedAssignments=11418 nbBacktracks=13135 nbVisitedNodes=43895 nbRestartNogoods=83
5.11 => wckTime=4.331 cpuTime=4.23 mem=15M815
7.24
7.24 search
7.24 run=16 nbConstraintChecks=50397227 nbPropagations=2493319 nbRevisions=19505233 nbUselessRevisions=13404578
7.24 nbAssignments=37046 nbFailedAssignments=17237 nbBacktracks=19703 nbVisitedNodes=66151 nbRestartNogoods=91
7.24 => wckTime=6.467 cpuTime=6.36 mem=15M815
10.50
10.50 search
10.50 run=17 nbConstraintChecks=76923618 nbPropagations=3750793 nbRevisions=29408189 nbUselessRevisions=20201418
10.50 nbAssignments=55802 nbFailedAssignments=26138 nbBacktracks=29555 nbVisitedNodes=99903 nbRestartNogoods=96
10.50 => wckTime=9.723 cpuTime=9.62 mem=15M815
15.38
15.38 search
15.38 run=18 nbConstraintChecks=116721322 nbPropagations=5644449 nbRevisions=44361501 nbUselessRevisions=30470889
15.38 nbAssignments=83526 nbFailedAssignments=39081 nbBacktracks=44333 nbVisitedNodes=149720 nbRestartNogoods=108
15.38 => wckTime=14.604 cpuTime=14.5 mem=15M815
22.86
22.86 search
22.86 run=19 nbConstraintChecks=177569881 nbPropagations=8519740 nbRevisions=67148254 nbUselessRevisions=46133764
22.86 nbAssignments=125848 nbFailedAssignments=59229 nbBacktracks=66502 nbVisitedNodes=226057 nbRestartNogoods=117
22.86 => wckTime=22.083 cpuTime=21.98 mem=15M815
23.80
23.80 search
23.81 run=20 nbConstraintChecks=185323118 nbPropagations=11518816 nbRevisions=90925826 nbUselessRevisions=62477903
23.81 nbAssignments=131173 nbFailedAssignments=61877 nbBacktracks=69180 nbVisitedNodes=235736 nbRestartNogoods=132
23.81 => wckTime=23.028 cpuTime=22.92 mem=15M815
23.81
23.81 global
23.81 nbConstraintChecks=185396294 nbPropagations=11519584 nbRevisions=90930689 nbUselessRevisions=62481608
23.81 nbRestartNogoods=132 solvingWckTime=23.029 solvingCpuTime=22.92 expiredTime=no totalExploration=yes
23.81 nbFoundSolutions=0 globalCpuTime=23.32
23.81 => wckTime=23.513 cpuTime=23.27 mem=15M815
23.81
23.81 s UNSATISFIABLE
23.81 d NODES 131173
23.81 d CHECKS 185396294
23.81
23.81 totalWckTime=23.59 totalCpuTime=23.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-224233-1168268128 -o ROOT/results/node1/solver-224233-1168268128 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224233-1168268128/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: 1.93 1.99 1.82 4/88 26710
/proc/meminfo: memFree=1431760/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=172 CPUtime=0
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 175208559 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 0 0 0
/proc/26709/statm: 43 24 18 14 0 3 0
[startup+0.108145 s]
/proc/loadavg: 1.93 1.99 1.82 4/88 26710
/proc/meminfo: memFree=1431760/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=914988 CPUtime=0.1
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 3078 0 1 0 8 2 0 0 23 0 8 0 175208559 936947712 2824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228747 2824 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.516197 s]
/proc/loadavg: 1.93 1.99 1.82 4/88 26710
/proc/meminfo: memFree=1431760/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915328 CPUtime=0.5
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 7372 0 1 0 44 6 0 0 25 0 8 0 175208559 937295872 7111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228832 7111 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34229 s]
/proc/loadavg: 1.93 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407896/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=1.33
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8717 0 1 0 125 8 0 0 25 0 8 0 175208559 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8455 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.2
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915452
[startup+2.98548 s]
/proc/loadavg: 1.93 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407640/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=2.97
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8735 0 1 0 289 8 0 0 25 0 8 0 175208559 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8472 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.21
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452
[startup+6.26486 s]
/proc/loadavg: 1.94 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407512/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=6.22
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8740 0 1 0 614 8 0 0 25 0 8 0 175208559 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8476 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.21
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452
[startup+12.7596 s]
/proc/loadavg: 1.94 1.99 1.82 3/95 26717
/proc/meminfo: memFree=1407512/2055920 swapFree=4165612/4192956
[pid=26709] ppid=26707 vsize=915452 CPUtime=12.71
/proc/26709/stat : 26709 (java) R 26707 26709 26089 0 -1 0 8745 0 1 0 1263 8 0 0 25 0 8 0 175208559 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26709/statm: 228863 8481 2524 14 0 215333 0
[pid=26709/tid=26711] ppid=26707 vsize=915452 CPUtime=0.02
/proc/26709/task/26711/stat : 26711 (java) S 26707 26709 26089 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175208563 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26712] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26712/stat : 26712 (java) S 26707 26709 26089 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175208564 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26713] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26713/stat : 26713 (java) S 26707 26709 26089 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175208564 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26714] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26714/stat : 26714 (java) S 26707 26709 26089 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26715] ppid=26707 vsize=915452 CPUtime=0.21
/proc/26709/task/26715/stat : 26715 (java) S 26707 26709 26089 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26716] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26716/stat : 26716 (java) S 26707 26709 26089 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26709/tid=26717] ppid=26707 vsize=915452 CPUtime=0
/proc/26709/task/26717/stat : 26717 (java) S 26707 26709 26089 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 175208567 937422848 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 23.8538
CPU time (s): 23.7804
CPU user time (s): 23.6844
CPU system time (s): 0.095985
CPU usage (%): 99.6921
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6844
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8841
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= 1611
involuntary context switches= 1959
runsolver used 0.031995 s user time and 0.084987 s system time
The end
Begin job on node1 on Mon Jan 8 14:55:28 UTC 2007
IDJOB= 224233
IDBENCH= 5728
FILE ID= node1/224233-1168268128
PBS_JOBID= 3482829
Free space on /tmp= 66311 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-67_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224233-1168268128/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-224233-1168268128 -o ROOT/results/node1/solver-224233-1168268128 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224233-1168268128/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1252c26db7b7136c0c9700c56b069a5
RANDOM SEED= 673527569
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.234
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.234
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: 1432240 kB
Buffers: 58372 kB
Cached: 464940 kB
SwapCached: 3620 kB
Active: 243828 kB
Inactive: 321796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1432240 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 53860 kB
Slab: 42820 kB
Committed_AS: 5340856 kB
PageTables: 2364 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= 66311 MiB
End job on node1 on Mon Jan 8 14:55:52 UTC 2007