0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229311-1168305707/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.40 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1324 maxDegree=18
0.57 maxArity=2
0.57 => wckTime=0.27 cpuTime=0.2 mem=11M827
0.61
0.61 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.465 cpuTime=0.33 mem=14M826
0.82
0.82 preprocessing
0.82 nbConstraintChecks=54747 nbPropagations=841 nbRevisions=6118 nbUselessRevisions=4962 nbSingletonTests=53
0.82 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.82 => wckTime=0.046 cpuTime=0.02 mem=14M826
0.83
0.83 search
0.83 run=0 nbConstraintChecks=22558 nbPropagations=1263 nbRevisions=10054 nbUselessRevisions=8009 nbAssignments=24
0.83 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.065 cpuTime=0.03 mem=14M826
0.85
0.85 search
0.85 run=1 nbConstraintChecks=57212 nbPropagations=3155 nbRevisions=26329 nbUselessRevisions=20850 nbAssignments=57
0.85 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=92 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.084 cpuTime=0.05 mem=14M826
0.87
0.87 search
0.87 run=2 nbConstraintChecks=107720 nbPropagations=5957 nbRevisions=52004 nbUselessRevisions=40887
0.87 nbAssignments=104 nbFailedAssignments=36 nbBacktracks=52 nbVisitedNodes=172 nbRestartNogoods=3 mapSize=45
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.099 cpuTime=0.06 mem=14M826
0.88
0.88 search
0.88 run=3 nbConstraintChecks=180113 nbPropagations=9952 nbRevisions=90604 nbUselessRevisions=70875
0.88 nbAssignments=170 nbFailedAssignments=63 nbBacktracks=86 nbVisitedNodes=285 nbRestartNogoods=4 mapSize=75
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.115 cpuTime=0.07 mem=14M826
0.91
0.91 search
0.91 run=4 nbConstraintChecks=278253 nbPropagations=15591 nbRevisions=146337 nbUselessRevisions=113801
0.91 nbAssignments=259 nbFailedAssignments=97 nbBacktracks=136 nbVisitedNodes=437 nbRestartNogoods=8 mapSize=117
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.136 cpuTime=0.09 mem=14M826
0.94
0.94 search
0.94 run=5 nbConstraintChecks=468240 nbPropagations=24245 nbRevisions=234989 nbUselessRevisions=181582
0.94 nbAssignments=398 nbFailedAssignments=156 nbBacktracks=211 nbVisitedNodes=690 nbRestartNogoods=14 mapSize=186
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.176 cpuTime=0.13 mem=14M826
0.99
0.99 search
0.99 run=6 nbConstraintChecks=673421 nbPropagations=36434 nbRevisions=361237 nbUselessRevisions=277906
0.99 nbAssignments=591 nbFailedAssignments=230 nbBacktracks=325 nbVisitedNodes=1023 nbRestartNogoods=21 mapSize=278
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.217 cpuTime=0.17 mem=14M826
1.06
1.06 search
1.06 run=7 nbConstraintChecks=1041502 nbPropagations=54726 nbRevisions=556064 nbUselessRevisions=426775
1.06 nbAssignments=899 nbFailedAssignments=361 nbBacktracks=497 nbVisitedNodes=1575 nbRestartNogoods=26 mapSize=427
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.286 cpuTime=0.24 mem=14M826
1.16
1.16 search
1.16 run=8 nbConstraintChecks=1584209 nbPropagations=82253 nbRevisions=853116 nbUselessRevisions=653601
1.16 nbAssignments=1364 nbFailedAssignments=564 nbBacktracks=754 nbVisitedNodes=2406 nbRestartNogoods=32
1.16 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.393 cpuTime=0.34 mem=14M826
1.31
1.31 search
1.31 run=9 nbConstraintChecks=2415960 nbPropagations=123576 nbRevisions=1305389 nbUselessRevisions=1000383
1.31 nbAssignments=2054 nbFailedAssignments=866 nbBacktracks=1138 nbVisitedNodes=3653 nbRestartNogoods=37
1.31 mapSize=1004 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.544 cpuTime=0.48 mem=14M826
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=14M826)
1.50
1.50 search
1.50 run=10 nbConstraintChecks=3586159 nbPropagations=184514 nbRevisions=1972502 nbUselessRevisions=1511587
1.50 nbAssignments=3052 nbFailedAssignments=1283 nbBacktracks=1716 nbVisitedNodes=5416 nbRestartNogoods=43
1.50 => wckTime=0.733 cpuTime=0.65 mem=14M826
1.75
1.75 search
1.75 run=11 nbConstraintChecks=5232480 nbPropagations=273268 nbRevisions=2946698 nbUselessRevisions=2259230
1.75 nbAssignments=4524 nbFailedAssignments=1886 nbBacktracks=2580 nbVisitedNodes=8007 nbRestartNogoods=50
1.75 => wckTime=0.981 cpuTime=0.9 mem=14M826
2.10
2.10 search
2.10 run=12 nbConstraintChecks=7511413 nbPropagations=401895 nbRevisions=4354056 nbUselessRevisions=3338855
2.10 nbAssignments=6657 nbFailedAssignments=2716 nbBacktracks=3878 nbVisitedNodes=11723 nbRestartNogoods=55
2.10 => wckTime=1.327 cpuTime=1.25 mem=14M826
2.69
2.69 search
2.69 run=13 nbConstraintChecks=11306486 nbPropagations=593388 nbRevisions=6465376 nbUselessRevisions=4957967
2.69 nbAssignments=9994 nbFailedAssignments=4099 nbBacktracks=5825 nbVisitedNodes=17572 nbRestartNogoods=63
2.69 => wckTime=1.924 cpuTime=1.84 mem=14M826
3.59
3.59 search
3.59 run=14 nbConstraintChecks=16970787 nbPropagations=878879 nbRevisions=9607767 nbUselessRevisions=7365444
3.59 nbAssignments=14912 nbFailedAssignments=6066 nbBacktracks=8744 nbVisitedNodes=26120 nbRestartNogoods=73
3.59 => wckTime=2.823 cpuTime=2.74 mem=14M826
4.94
4.94 search
4.94 run=15 nbConstraintChecks=25512289 nbPropagations=1306708 nbRevisions=14292642 nbUselessRevisions=10948356
4.94 nbAssignments=22319 nbFailedAssignments=9063 nbBacktracks=13123 nbVisitedNodes=39062 nbRestartNogoods=84
4.94 => wckTime=4.174 cpuTime=4.09 mem=14M826
7.01
7.01 search
7.01 run=16 nbConstraintChecks=38618930 nbPropagations=1949889 nbRevisions=21361491 nbUselessRevisions=16353623
7.01 nbAssignments=33536 nbFailedAssignments=13697 nbBacktracks=19693 nbVisitedNodes=58822 nbRestartNogoods=93
7.01 => wckTime=6.239 cpuTime=6.15 mem=14M826
10.25
10.25 search
10.25 run=17 nbConstraintChecks=59629438 nbPropagations=2926249 nbRevisions=32150564 nbUselessRevisions=24594505
10.25 nbAssignments=50657 nbFailedAssignments=20963 nbBacktracks=29546 nbVisitedNodes=89071 nbRestartNogoods=98
10.25 => wckTime=9.478 cpuTime=9.39 mem=14M826
12.27
12.27 search
12.27 run=18 nbConstraintChecks=73002205 nbPropagations=4111459 nbRevisions=45275136 nbUselessRevisions=34616340
12.27 nbAssignments=61235 nbFailedAssignments=25398 nbBacktracks=35690 nbVisitedNodes=107768 nbRestartNogoods=101
12.27 => wckTime=11.505 cpuTime=11.41 mem=14M826
12.28
12.28 global
12.28 nbConstraintChecks=73056952 nbPropagations=4112300 nbRevisions=45281254 nbUselessRevisions=34621302
12.28 nbRestartNogoods=101 solvingWckTime=11.506 solvingCpuTime=11.41 expiredTime=no totalExploration=yes
12.28 nbFoundSolutions=0 globalCpuTime=11.8
12.28 => wckTime=11.974 cpuTime=11.75 mem=14M826
12.28
12.28 s UNSATISFIABLE
12.28 d NODES 61235
12.28 d CHECKS 73056952
12.28
12.28 totalWckTime=12.05 totalCpuTime=11.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-229311-1168305707 -o ROOT/results/node13/solver-229311-1168305707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229311-1168305707/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.00 1.04 1.25 3/78 25565
/proc/meminfo: memFree=1416168/2055920 swapFree=4192812/4192956
[pid=25564] ppid=25562 vsize=1784 CPUtime=0
/proc/25564/stat : 25564 (java) D 25562 25564 23869 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 178965728 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/25564/statm: 446 136 102 14 0 91 0
[startup+0.10766 s]
/proc/loadavg: 1.00 1.04 1.25 3/78 25565
/proc/meminfo: memFree=1416168/2055920 swapFree=4192812/4192956
[pid=25564] ppid=25562 vsize=914988 CPUtime=0.08
/proc/25564/stat : 25564 (java) R 25562 25564 23869 0 -1 0 3058 0 1 0 7 1 0 0 16 0 8 0 178965728 936947712 2804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25564/statm: 228747 2804 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515713 s]
/proc/loadavg: 1.00 1.04 1.25 3/78 25565
/proc/meminfo: memFree=1416168/2055920 swapFree=4192812/4192956
[pid=25564] ppid=25562 vsize=915328 CPUtime=0.5
/proc/25564/stat : 25564 (java) S 25562 25564 23869 0 -1 0 6822 0 1 0 45 5 0 0 16 0 8 0 178965728 937295872 6561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25564/statm: 228832 6561 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33682 s]
/proc/loadavg: 1.00 1.04 1.25 2/85 25572
/proc/meminfo: memFree=1392368/2055920 swapFree=4192812/4192956
[pid=25564] ppid=25562 vsize=915452 CPUtime=1.31
/proc/25564/stat : 25564 (java) R 25562 25564 23869 0 -1 0 8692 0 1 0 125 6 0 0 17 0 8 0 178965728 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25564/statm: 228863 8430 2524 14 0 215333 0
[pid=25564/tid=25566] ppid=25562 vsize=915452 CPUtime=0.03
/proc/25564/task/25566/stat : 25566 (java) S 25562 25564 23869 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178965732 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25564/tid=25567] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25567/stat : 25567 (java) S 25562 25564 23869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178965733 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25568] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25568/stat : 25568 (java) S 25562 25564 23869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178965733 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25569] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25569/stat : 25569 (java) S 25562 25564 23869 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178965736 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25570] ppid=25562 vsize=915452 CPUtime=0.19
/proc/25564/task/25570/stat : 25570 (java) S 25562 25564 23869 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 178965736 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25564/tid=25571] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25571/stat : 25571 (java) S 25562 25564 23869 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178965736 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25572] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25572/stat : 25572 (java) S 25562 25564 23869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178965736 937422848 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98804 s]
/proc/loadavg: 1.00 1.04 1.25 2/85 25572
/proc/meminfo: memFree=1392112/2055920 swapFree=4192812/4192956
[pid=25564] ppid=25562 vsize=915452 CPUtime=2.96
/proc/25564/stat : 25564 (java) R 25562 25564 23869 0 -1 0 8708 0 1 0 290 6 0 0 18 0 8 0 178965728 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25564/statm: 228863 8445 2524 14 0 215333 0
[pid=25564/tid=25566] ppid=25562 vsize=915452 CPUtime=0.03
/proc/25564/task/25566/stat : 25566 (java) S 25562 25564 23869 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178965732 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25564/tid=25567] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25567/stat : 25567 (java) S 25562 25564 23869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178965733 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25568] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25568/stat : 25568 (java) S 25562 25564 23869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178965733 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25569] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25569/stat : 25569 (java) S 25562 25564 23869 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178965736 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25570] ppid=25562 vsize=915452 CPUtime=0.2
/proc/25564/task/25570/stat : 25570 (java) S 25562 25564 23869 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 178965736 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25564/tid=25571] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25571/stat : 25571 (java) S 25562 25564 23869 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178965736 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25572] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25572/stat : 25572 (java) S 25562 25564 23869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178965736 937422848 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.28148 s]
/proc/loadavg: 1.00 1.04 1.25 2/85 25572
/proc/meminfo: memFree=1392048/2055920 swapFree=4192812/4192956
[pid=25564] ppid=25562 vsize=915452 CPUtime=6.25
/proc/25564/stat : 25564 (java) R 25562 25564 23869 0 -1 0 8714 0 1 0 619 6 0 0 25 0 8 0 178965728 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25564/statm: 228863 8450 2524 14 0 215333 0
[pid=25564/tid=25566] ppid=25562 vsize=915452 CPUtime=0.03
/proc/25564/task/25566/stat : 25566 (java) S 25562 25564 23869 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178965732 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25564/tid=25567] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25567/stat : 25567 (java) S 25562 25564 23869 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178965733 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25568] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25568/stat : 25568 (java) S 25562 25564 23869 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178965733 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25569] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25569/stat : 25569 (java) S 25562 25564 23869 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178965736 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25570] ppid=25562 vsize=915452 CPUtime=0.2
/proc/25564/task/25570/stat : 25570 (java) S 25562 25564 23869 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 178965736 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25564/tid=25571] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25571/stat : 25571 (java) S 25562 25564 23869 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178965736 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25564/tid=25572] ppid=25562 vsize=915452 CPUtime=0
/proc/25564/task/25572/stat : 25572 (java) S 25562 25564 23869 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178965736 937422848 8450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 12.3157
CPU time (s): 12.2661
CPU user time (s): 12.1911
CPU system time (s): 0.074988
CPU usage (%): 99.5974
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1911
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8814
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= 1089
involuntary context switches= 301
runsolver used 0.016997 s user time and 0.034994 s system time
The end
Begin job on node13 on Tue Jan 9 01:21:47 UTC 2007
IDJOB= 229311
IDBENCH= 6292
FILE ID= node13/229311-1168305707
PBS_JOBID= 3502264
Free space on /tmp= 66327 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229311-1168305707/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-229311-1168305707 -o ROOT/results/node13/solver-229311-1168305707 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229311-1168305707/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4435b4c97eb385afb53b1b633cff6f92
RANDOM SEED= 268356521
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.247
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.247
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: 1416584 kB
Buffers: 88828 kB
Cached: 443952 kB
SwapCached: 0 kB
Active: 311724 kB
Inactive: 265924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1416584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 63892 kB
Slab: 47012 kB
Committed_AS: 4831544 kB
PageTables: 2000 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= 66327 MiB
End job on node13 on Tue Jan 9 01:22:00 UTC 2007