0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229388-1168080962/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.095 cpuTime=0.09 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=1407 maxDegree=18
0.57 maxArity=2
0.57 => wckTime=0.269 cpuTime=0.19 mem=11M893
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.456 cpuTime=0.32 mem=13M735
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0030 cpuTime=0.01 mem=13M735
0.81
0.81 search
0.81 run=0 nbConstraintChecks=21769 nbPropagations=453 nbRevisions=3863 nbUselessRevisions=2955 nbAssignments=25
0.81 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.048 cpuTime=0.03 mem=14M710
0.83
0.83 search
0.83 run=1 nbConstraintChecks=57461 nbPropagations=1542 nbRevisions=13987 nbUselessRevisions=10711 nbAssignments=57
0.83 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=92 nbRestartNogoods=5 mapSize=19 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.067 cpuTime=0.04 mem=14M710
0.85
0.85 search
0.85 run=2 nbConstraintChecks=104987 nbPropagations=3408 nbRevisions=31936 nbUselessRevisions=24489
0.85 nbAssignments=101 nbFailedAssignments=33 nbBacktracks=49 nbVisitedNodes=163 nbRestartNogoods=7 mapSize=37
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.087 cpuTime=0.06 mem=14M710
0.86
0.86 search
0.86 run=3 nbConstraintChecks=166074 nbPropagations=6446 nbRevisions=61763 nbUselessRevisions=47486
0.86 nbAssignments=164 nbFailedAssignments=56 nbBacktracks=83 nbVisitedNodes=270 nbRestartNogoods=12 mapSize=65
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.101 cpuTime=0.07 mem=14M710
0.88
0.88 search
0.88 run=4 nbConstraintChecks=260489 nbPropagations=11096 nbRevisions=108757 nbUselessRevisions=83499
0.88 nbAssignments=253 nbFailedAssignments=89 nbBacktracks=133 nbVisitedNodes=421 nbRestartNogoods=16 mapSize=104
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.122 cpuTime=0.09 mem=14M710
0.91
0.91 search
0.91 run=5 nbConstraintChecks=398986 nbPropagations=18073 nbRevisions=179575 nbUselessRevisions=137328
0.91 nbAssignments=382 nbFailedAssignments=139 nbBacktracks=208 nbVisitedNodes=635 nbRestartNogoods=20 mapSize=164
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.152 cpuTime=0.12 mem=14M710
0.95
0.95 search
0.95 run=6 nbConstraintChecks=588515 nbPropagations=28661 nbRevisions=288308 nbUselessRevisions=220138
0.95 nbAssignments=588 nbFailedAssignments=225 nbBacktracks=323 nbVisitedNodes=999 nbRestartNogoods=24 mapSize=267
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.195 cpuTime=0.16 mem=14M710
1.01
1.01 search
1.01 run=7 nbConstraintChecks=855088 nbPropagations=44165 nbRevisions=448759 nbUselessRevisions=342627
1.01 nbAssignments=866 nbFailedAssignments=329 nbBacktracks=493 nbVisitedNodes=1474 nbRestartNogoods=28 mapSize=404
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.249 cpuTime=0.21 mem=14M710
1.11
1.11 search
1.11 run=8 nbConstraintChecks=1367446 nbPropagations=68621 nbRevisions=707804 nbUselessRevisions=540997
1.11 nbAssignments=1345 nbFailedAssignments=545 nbBacktracks=750 nbVisitedNodes=2336 nbRestartNogoods=32
1.11 mapSize=627 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.347 cpuTime=0.3 mem=14M710
1.23
1.23 search
1.23 run=9 nbConstraintChecks=1936580 nbPropagations=103793 nbRevisions=1077000 nbUselessRevisions=823262
1.23 nbAssignments=1951 nbFailedAssignments=760 nbBacktracks=1138 nbVisitedNodes=3344 nbRestartNogoods=40
1.23 mapSize=938 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.468 cpuTime=0.41 mem=14M710
1.27
1.27 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=14M710)
1.40
1.40 search
1.40 run=10 nbConstraintChecks=2961759 nbPropagations=156561 nbRevisions=1631197 nbUselessRevisions=1244888
1.40 nbAssignments=2884 nbFailedAssignments=1109 nbBacktracks=1716 nbVisitedNodes=4934 nbRestartNogoods=47
1.40 => wckTime=0.641 cpuTime=0.57 mem=14M710
1.67
1.67 search
1.67 run=11 nbConstraintChecks=4718924 nbPropagations=238439 nbRevisions=2498101 nbUselessRevisions=1903754
1.67 nbAssignments=4403 nbFailedAssignments=1760 nbBacktracks=2583 nbVisitedNodes=7631 nbRestartNogoods=54
1.67 => wckTime=0.905 cpuTime=0.83 mem=14M710
2.00
2.00 search
2.00 run=12 nbConstraintChecks=6849206 nbPropagations=359818 nbRevisions=3780064 nbUselessRevisions=2878835
2.00 nbAssignments=6540 nbFailedAssignments=2593 nbBacktracks=3881 nbVisitedNodes=11321 nbRestartNogoods=55
2.00 => wckTime=1.241 cpuTime=1.17 mem=14M710
2.54
2.54 search
2.54 run=13 nbConstraintChecks=10364207 nbPropagations=542348 nbRevisions=5723850 nbUselessRevisions=4360751
2.54 nbAssignments=9800 nbFailedAssignments=3902 nbBacktracks=5828 nbVisitedNodes=17044 nbRestartNogoods=66
2.54 => wckTime=1.783 cpuTime=1.71 mem=14M710
3.31
3.31 search
3.31 run=14 nbConstraintChecks=15327756 nbPropagations=813973 nbRevisions=8611630 nbUselessRevisions=6563156
3.31 nbAssignments=14588 nbFailedAssignments=5762 nbBacktracks=8747 nbVisitedNodes=25324 nbRestartNogoods=71
3.31 => wckTime=2.548 cpuTime=2.47 mem=14M710
4.53
4.53 search
4.53 run=15 nbConstraintChecks=23371570 nbPropagations=1225938 nbRevisions=13011798 nbUselessRevisions=9921897
4.53 nbAssignments=21963 nbFailedAssignments=8753 nbBacktracks=13125 nbVisitedNodes=38333 nbRestartNogoods=78
4.53 => wckTime=3.771 cpuTime=3.68 mem=14M710
6.26
6.26 search
6.26 run=16 nbConstraintChecks=33931507 nbPropagations=1826703 nbRevisions=19395440 nbUselessRevisions=14787794
6.26 nbAssignments=32476 nbFailedAssignments=12689 nbBacktracks=19693 nbVisitedNodes=56241 nbRestartNogoods=85
6.26 => wckTime=5.505 cpuTime=5.42 mem=14M710
9.22
9.22 search
9.22 run=17 nbConstraintChecks=52580198 nbPropagations=2741073 nbRevisions=29178915 nbUselessRevisions=22244958
9.22 nbAssignments=48908 nbFailedAssignments=19265 nbBacktracks=29545 nbVisitedNodes=85060 nbRestartNogoods=91
9.22 => wckTime=8.463 cpuTime=8.37 mem=14M710
10.05
10.05 search
10.05 run=18 nbConstraintChecks=57588062 nbPropagations=3744799 nbRevisions=39906562 nbUselessRevisions=30421518
10.05 nbAssignments=53774 nbFailedAssignments=21086 nbBacktracks=32550 nbVisitedNodes=93384 nbRestartNogoods=95
10.05 => wckTime=9.286 cpuTime=9.2 mem=14M710
10.05
10.05 global
10.05 nbConstraintChecks=57588062 nbPropagations=3744839 nbRevisions=39906562 nbUselessRevisions=30421518
10.05 nbRestartNogoods=95 solvingWckTime=9.287 solvingCpuTime=9.2 expiredTime=no totalExploration=no
10.05 nbFoundSolutions=1 globalCpuTime=9.56
10.05 => wckTime=9.746 cpuTime=9.52 mem=14M710
10.05
10.05 s SATISFIABLE
10.05 v 14 2 9 9 13 11 11 6 12 0 6 5 4 8 15 0 8 1 0 15 12 11 9 7 5 2 11 8 1 11 12 6 1 10 14 5 6 14 7 10
10.05 d NODES 53774
10.05 d CHECKS 57588062
10.05
10.05 totalWckTime=9.823 totalCpuTime=9.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-229388-1168080962 -o ROOT/results/node47/solver-229388-1168080962 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229388-1168080962/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: 0.22 0.74 0.90 6/73 3512
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=3511] ppid=3506 vsize=1784 CPUtime=0
/proc/3511/stat : 3511 (java) R 3506 3511 3402 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156497015 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/3511/statm: 446 136 102 14 0 91 0
[startup+0.107153 s]
/proc/loadavg: 0.22 0.74 0.90 6/73 3512
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=3511] ppid=3506 vsize=914988 CPUtime=0.09
/proc/3511/stat : 3511 (java) R 3506 3511 3402 0 -1 0 3006 0 1 0 7 2 0 0 23 0 8 0 156497015 936947712 2752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3511/statm: 228747 2752 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515197 s]
/proc/loadavg: 0.22 0.74 0.90 6/73 3512
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=3511] ppid=3506 vsize=915328 CPUtime=0.49
/proc/3511/stat : 3511 (java) R 3506 3511 3402 0 -1 0 6822 0 1 0 44 5 0 0 25 0 8 0 156497015 937295872 6561 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3511/statm: 228832 6561 2143 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33928 s]
/proc/loadavg: 0.22 0.74 0.90 3/87 3526
/proc/meminfo: memFree=1713328/2055920 swapFree=4192812/4192956
[pid=3511] ppid=3506 vsize=915452 CPUtime=1.31
/proc/3511/stat : 3511 (java) R 3506 3511 3402 0 -1 0 8596 0 1 0 125 6 0 0 25 0 8 0 156497015 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3511/statm: 228863 8334 2513 14 0 215333 0
[pid=3511/tid=3513] ppid=3506 vsize=915452 CPUtime=0.02
/proc/3511/task/3513/stat : 3513 (java) S 3506 3511 3402 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156497019 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3515] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3515/stat : 3515 (java) S 3506 3511 3402 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156497019 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3516] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3516/stat : 3516 (java) S 3506 3511 3402 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156497019 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3519] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3519/stat : 3519 (java) S 3506 3511 3402 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156497022 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3520] ppid=3506 vsize=915452 CPUtime=0.21
/proc/3511/task/3520/stat : 3520 (java) S 3506 3511 3402 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 156497022 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3521] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3521/stat : 3521 (java) S 3506 3511 3402 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156497023 937422848 8334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3522] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3522/stat : 3522 (java) S 3506 3511 3402 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156497023 937422848 8334 18446744073709551615 134512640 134570532 4294956480 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.97645 s]
/proc/loadavg: 0.22 0.74 0.90 3/87 3526
/proc/meminfo: memFree=1712944/2055920 swapFree=4192812/4192956
[pid=3511] ppid=3506 vsize=915452 CPUtime=2.94
/proc/3511/stat : 3511 (java) R 3506 3511 3402 0 -1 0 8610 0 1 0 288 6 0 0 25 0 8 0 156497015 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805347 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3511/statm: 228863 8347 2513 14 0 215333 0
[pid=3511/tid=3513] ppid=3506 vsize=915452 CPUtime=0.02
/proc/3511/task/3513/stat : 3513 (java) S 3506 3511 3402 0 -1 64 242 0 0 0 2 0 0 0 17 0 8 0 156497019 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3515] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3515/stat : 3515 (java) S 3506 3511 3402 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156497019 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3516] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3516/stat : 3516 (java) S 3506 3511 3402 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156497019 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3519] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3519/stat : 3519 (java) S 3506 3511 3402 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156497022 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3520] ppid=3506 vsize=915452 CPUtime=0.22
/proc/3511/task/3520/stat : 3520 (java) S 3506 3511 3402 0 -1 64 388 0 0 0 22 0 0 0 16 0 8 0 156497022 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3521] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3521/stat : 3521 (java) S 3506 3511 3402 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156497023 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3522] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3522/stat : 3522 (java) S 3506 3511 3402 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156497023 937422848 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.2628 s]
/proc/loadavg: 0.36 0.76 0.91 2/75 3526
/proc/meminfo: memFree=1737040/2055920 swapFree=4192812/4192956
[pid=3511] ppid=3506 vsize=915452 CPUtime=6.23
/proc/3511/stat : 3511 (java) R 3506 3511 3402 0 -1 0 8615 0 1 0 616 7 0 0 25 0 8 0 156497015 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3511/statm: 228863 8351 2513 14 0 215333 0
[pid=3511/tid=3513] ppid=3506 vsize=915452 CPUtime=0.02
/proc/3511/task/3513/stat : 3513 (java) S 3506 3511 3402 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156497019 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3515] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3515/stat : 3515 (java) S 3506 3511 3402 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156497019 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3516] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3516/stat : 3516 (java) S 3506 3511 3402 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156497019 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3519] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3519/stat : 3519 (java) S 3506 3511 3402 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156497022 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3520] ppid=3506 vsize=915452 CPUtime=0.22
/proc/3511/task/3520/stat : 3520 (java) S 3506 3511 3402 0 -1 64 388 0 0 0 22 0 0 0 16 0 8 0 156497022 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3521] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3521/stat : 3521 (java) S 3506 3511 3402 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156497023 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3511/tid=3522] ppid=3506 vsize=915452 CPUtime=0
/proc/3511/task/3522/stat : 3522 (java) S 3506 3511 3402 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156497023 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 10.0783
CPU time (s): 10.0315
CPU user time (s): 9.95049
CPU system time (s): 0.080987
CPU usage (%): 99.5351
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.95049
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8712
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= 1344
involuntary context switches= 1422
runsolver used 0.006998 s user time and 0.037994 s system time
The end
Begin job on node47 on Sat Jan 6 10:56:09 UTC 2007
IDJOB= 229388
IDBENCH= 6301
FILE ID= node47/229388-1168080962
PBS_JOBID= 3476187
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229388-1168080962/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-229388-1168080962 -o ROOT/results/node47/solver-229388-1168080962 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229388-1168080962/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5b85a247a5318ebac31e90a264820a9d
RANDOM SEED= 278119772
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.240
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.240
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: 1761448 kB
Buffers: 27872 kB
Cached: 175448 kB
SwapCached: 0 kB
Active: 70896 kB
Inactive: 152452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1761448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3772 kB
Writeback: 0 kB
Mapped: 30204 kB
Slab: 56844 kB
Committed_AS: 2793328 kB
PageTables: 1664 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= 66532 MiB
End job on node47 on Sat Jan 6 10:56:32 UTC 2007