0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/223414-1168265674/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.47 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.47 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.47
0.47 relations being loaded...
0.57
0.57 constraints being loaded...
0.66 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=13 maxArity=2
0.66 => wckTime=0.292 cpuTime=0.23 mem=13M810
0.70
0.70 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.485 cpuTime=0.36 mem=14M839
0.90
0.90 preprocessing
0.90 nbConstraintChecks=73185 nbPropagations=824 nbRevisions=5373 nbUselessRevisions=4136 nbSingletonTests=51
0.90 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.046 cpuTime=0.03 mem=14M839
0.92
0.92 search
0.92 run=0 nbConstraintChecks=36822 nbPropagations=1342 nbRevisions=9395 nbUselessRevisions=7044 nbAssignments=27
0.92 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.066 cpuTime=0.04 mem=14M839
0.94
0.94 search
0.94 run=1 nbConstraintChecks=85493 nbPropagations=3521 nbRevisions=25361 nbUselessRevisions=18758 nbAssignments=70
0.94 nbFailedAssignments=29 nbBacktracks=29 nbVisitedNodes=119 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.083 cpuTime=0.05 mem=14M839
0.96
0.96 search
0.96 run=2 nbConstraintChecks=156604 nbPropagations=6858 nbRevisions=50015 nbUselessRevisions=36587
0.96 nbAssignments=124 nbFailedAssignments=55 nbBacktracks=51 nbVisitedNodes=214 nbRestartNogoods=3 mapSize=46
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.101 cpuTime=0.06 mem=14M839
0.98
0.98 search
0.98 run=3 nbConstraintChecks=293494 nbPropagations=12104 nbRevisions=88983 nbUselessRevisions=64761
0.98 nbAssignments=222 nbFailedAssignments=86 nbBacktracks=86 nbVisitedNodes=337 nbRestartNogoods=9 mapSize=74
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.123 cpuTime=0.08 mem=14M839
1.01
1.01 search
1.01 run=4 nbConstraintChecks=466802 nbPropagations=19761 nbRevisions=147317 nbUselessRevisions=106328
1.01 nbAssignments=332 nbFailedAssignments=138 nbBacktracks=137 nbVisitedNodes=536 nbRestartNogoods=12 mapSize=121
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.152 cpuTime=0.11 mem=14M839
1.04
1.04 search
1.04 run=5 nbConstraintChecks=672398 nbPropagations=30663 nbRevisions=231216 nbUselessRevisions=165567
1.04 nbAssignments=483 nbFailedAssignments=207 nbBacktracks=212 nbVisitedNodes=799 nbRestartNogoods=15 mapSize=187
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.185 cpuTime=0.14 mem=14M839
1.10
1.10 search
1.10 run=6 nbConstraintChecks=1057088 nbPropagations=47155 nbRevisions=359438 nbUselessRevisions=256014
1.10 nbAssignments=748 nbFailedAssignments=316 nbBacktracks=326 nbVisitedNodes=1200 nbRestartNogoods=24 mapSize=281
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.242 cpuTime=0.19 mem=14M839
1.17
1.17 search
1.17 run=7 nbConstraintChecks=1487474 nbPropagations=70865 nbRevisions=545318 nbUselessRevisions=386860
1.17 nbAssignments=1078 nbFailedAssignments=470 nbBacktracks=498 nbVisitedNodes=1788 nbRestartNogoods=27
1.17 mapSize=427 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.312 cpuTime=0.26 mem=14M839
1.29
1.29 search
1.29 run=8 nbConstraintChecks=2150894 nbPropagations=105932 nbRevisions=820516 nbUselessRevisions=579897
1.29 nbAssignments=1597 nbFailedAssignments=728 nbBacktracks=754 nbVisitedNodes=2730 nbRestartNogoods=31
1.29 mapSize=653 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.429 cpuTime=0.37 mem=14M839
1.43
1.43 search
1.43 run=9 nbConstraintChecks=3024356 nbPropagations=156406 nbRevisions=1215466 nbUselessRevisions=855933
1.43 nbAssignments=2307 nbFailedAssignments=1046 nbBacktracks=1139 nbVisitedNodes=3991 nbRestartNogoods=34
1.43 mapSize=979 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.567 cpuTime=0.5 mem=14M839
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=14M839)
1.65
1.65 search
1.65 run=10 nbConstraintChecks=4593680 nbPropagations=232032 nbRevisions=1817094 nbUselessRevisions=1276541
1.65 nbAssignments=3469 nbFailedAssignments=1626 nbBacktracks=1715 nbVisitedNodes=6105 nbRestartNogoods=48
1.65 => wckTime=0.789 cpuTime=0.71 mem=14M839
1.95
1.95 search
1.95 run=11 nbConstraintChecks=6836653 nbPropagations=345309 nbRevisions=2718544 nbUselessRevisions=1904906
1.95 nbAssignments=5112 nbFailedAssignments=2400 nbBacktracks=2579 nbVisitedNodes=9102 nbRestartNogoods=55
1.95 => wckTime=1.092 cpuTime=1.01 mem=14M839
2.39
2.39 search
2.39 run=12 nbConstraintChecks=10143092 nbPropagations=513978 nbRevisions=4066072 nbUselessRevisions=2844477
2.39 nbAssignments=7612 nbFailedAssignments=3599 nbBacktracks=3876 nbVisitedNodes=13607 nbRestartNogoods=67
2.39 => wckTime=1.535 cpuTime=1.46 mem=14M839
3.04
3.04 search
3.04 run=13 nbConstraintChecks=15050852 nbPropagations=762234 nbRevisions=6044237 nbUselessRevisions=4220397
3.04 nbAssignments=11193 nbFailedAssignments=5221 nbBacktracks=5822 nbVisitedNodes=20001 nbRestartNogoods=77
3.04 => wckTime=2.178 cpuTime=2.1 mem=15M815
4.12
4.12 search
4.12 run=14 nbConstraintChecks=23428275 nbPropagations=1141152 nbRevisions=9094957 nbUselessRevisions=6343514
4.12 nbAssignments=17184 nbFailedAssignments=8288 nbBacktracks=8742 nbVisitedNodes=31027 nbRestartNogoods=83
4.12 => wckTime=3.264 cpuTime=3.18 mem=15M815
5.51
5.51 search
5.51 run=15 nbConstraintChecks=33741403 nbPropagations=1693235 nbRevisions=13521290 nbUselessRevisions=9420279
5.51 nbAssignments=25076 nbFailedAssignments=11797 nbBacktracks=13121 nbVisitedNodes=45026 nbRestartNogoods=92
5.51 => wckTime=4.65 cpuTime=4.57 mem=15M815
7.63
7.63 search
7.63 run=16 nbConstraintChecks=50047809 nbPropagations=2507850 nbRevisions=20065593 nbUselessRevisions=13973413
7.63 nbAssignments=37299 nbFailedAssignments=17448 nbBacktracks=19689 nbVisitedNodes=66941 nbRestartNogoods=102
7.63 => wckTime=6.768 cpuTime=6.69 mem=15M815
11.05
11.05 search
11.05 run=17 nbConstraintChecks=76722737 nbPropagations=3749243 nbRevisions=30110559 nbUselessRevisions=20979218
11.05 nbAssignments=56673 nbFailedAssignments=26956 nbBacktracks=29542 nbVisitedNodes=102100 nbRestartNogoods=115
11.05 => wckTime=10.191 cpuTime=10.11 mem=15M815
11.55
11.55 search
11.55 run=18 nbConstraintChecks=80629246 nbPropagations=5053247 nbRevisions=40649555 nbUselessRevisions=28326982
11.55 nbAssignments=59625 nbFailedAssignments=28218 nbBacktracks=31192 nbVisitedNodes=107269 nbRestartNogoods=120
11.55 => wckTime=10.696 cpuTime=10.61 mem=15M815
11.56
11.56 global
11.56 nbConstraintChecks=80702431 nbPropagations=5054071 nbRevisions=40654928 nbUselessRevisions=28331118
11.56 nbRestartNogoods=120 solvingWckTime=10.697 solvingCpuTime=10.61 expiredTime=no totalExploration=no
11.56 nbFoundSolutions=1 globalCpuTime=11.02
11.56 => wckTime=11.185 cpuTime=10.97 mem=15M815
11.56
11.56 s SATISFIABLE
11.56 v 8 2 12 4 23 6 0 15 1 1 18 21 16 1 1 8 6 19 12 0 3 14 5 19 3 21 15 1 5 3 11 17 7 12 6 5 19 8 16 9
11.56 d NODES 59625
11.56 d CHECKS 80702431
11.56
11.56 totalWckTime=11.26 totalCpuTime=11.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-223414-1168265674 -o ROOT/results/node45/solver-223414-1168265674 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223414-1168265674/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.06 0.09 0.25 3/68 20904
/proc/meminfo: memFree=1761656/2055920 swapFree=4184048/4192956
[pid=20903] ppid=20901 vsize=1452 CPUtime=0
/proc/20903/stat : 20903 (java) R 20901 20903 20463 0 -1 0 105 0 0 0 0 0 0 0 19 0 1 0 174967313 1486848 77 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20903/statm: 365 90 70 14 0 10 0
[startup+0.103313 s]
/proc/loadavg: 0.06 0.09 0.25 3/68 20904
/proc/meminfo: memFree=1761656/2055920 swapFree=4184048/4192956
[pid=20903] ppid=20901 vsize=906128 CPUtime=0.01
/proc/20903/stat : 20903 (java) R 20901 20903 20463 0 -1 0 1995 0 1 0 1 0 0 0 18 0 1 0 174967313 927875072 1744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153597625 0 4 0 7368 0 0 0 17 0 0 0
/proc/20903/statm: 226532 1744 998 14 0 214115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906128
[startup+0.511381 s]
/proc/loadavg: 0.06 0.09 0.25 3/68 20904
/proc/meminfo: memFree=1761656/2055920 swapFree=4184048/4192956
[pid=20903] ppid=20901 vsize=915328 CPUtime=0.42
/proc/20903/stat : 20903 (java) S 20901 20903 20463 0 -1 0 6404 0 1 0 38 4 0 0 16 0 8 0 174967313 937295872 6143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20903/statm: 228832 6143 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33253 s]
/proc/loadavg: 0.06 0.09 0.25 2/75 20911
/proc/meminfo: memFree=1737728/2055920 swapFree=4184048/4192956
[pid=20903] ppid=20901 vsize=915452 CPUtime=1.24
/proc/20903/stat : 20903 (java) R 20901 20903 20463 0 -1 0 8698 0 1 0 117 7 0 0 16 0 8 0 174967313 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20903/statm: 228863 8436 2524 14 0 215333 0
[pid=20903/tid=20905] ppid=20901 vsize=915452 CPUtime=0.03
/proc/20903/task/20905/stat : 20905 (java) S 20901 20903 20463 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174967323 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20903/tid=20906] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174967324 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 20463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174967324 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174967327 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=915452 CPUtime=0.19
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 20463 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 174967327 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174967327 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174967327 937422848 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915452
[startup+2.97282 s]
/proc/loadavg: 0.06 0.09 0.25 2/75 20911
/proc/meminfo: memFree=1737472/2055920 swapFree=4184048/4192956
[pid=20903] ppid=20901 vsize=915452 CPUtime=2.88
/proc/20903/stat : 20903 (java) R 20901 20903 20463 0 -1 0 8732 0 1 0 281 7 0 0 18 0 8 0 174967313 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796309 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20903/statm: 228863 8469 2524 14 0 215333 0
[pid=20903/tid=20905] ppid=20901 vsize=915452 CPUtime=0.03
/proc/20903/task/20905/stat : 20905 (java) S 20901 20903 20463 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174967323 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20903/tid=20906] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174967324 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 20463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174967324 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174967327 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=915452 CPUtime=0.2
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 20463 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 174967327 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174967327 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174967327 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915452
[startup+6.26342 s]
/proc/loadavg: 0.13 0.10 0.26 2/75 20914
/proc/meminfo: memFree=1737216/2055920 swapFree=4184048/4192956
[pid=20903] ppid=20901 vsize=915452 CPUtime=6.17
/proc/20903/stat : 20903 (java) R 20901 20903 20463 0 -1 0 8741 0 1 0 610 7 0 0 20 0 8 0 174967313 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20903/statm: 228863 8477 2524 14 0 215333 0
[pid=20903/tid=20905] ppid=20901 vsize=915452 CPUtime=0.03
/proc/20903/task/20905/stat : 20905 (java) S 20901 20903 20463 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174967323 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20903/tid=20906] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174967324 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 20463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174967324 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174967327 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=915452 CPUtime=0.2
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 20463 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 174967327 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174967327 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=915452 CPUtime=0
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174967327 937422848 8477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 11.6006
CPU time (s): 11.4753
CPU user time (s): 11.3923
CPU system time (s): 0.082987
CPU usage (%): 98.9199
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3923
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8835
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= 1044
involuntary context switches= 142
runsolver used 0.013997 s user time and 0.037994 s system time
The end
Begin job on node45 on Mon Jan 8 14:14:39 UTC 2007
IDJOB= 223414
IDBENCH= 5633
FILE ID= node45/223414-1168265674
PBS_JOBID= 3482778
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223414-1168265674/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-223414-1168265674 -o ROOT/results/node45/solver-223414-1168265674 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223414-1168265674/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= acd99723903bf6934448dd57d2aa94bb
RANDOM SEED= 90370481
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.259
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.259
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: 1762072 kB
Buffers: 51532 kB
Cached: 173848 kB
SwapCached: 3168 kB
Active: 109336 kB
Inactive: 130608 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762072 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 2016 kB
Writeback: 0 kB
Mapped: 20128 kB
Slab: 39748 kB
Committed_AS: 3587524 kB
PageTables: 1596 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= 66550 MiB
End job on node45 on Mon Jan 8 14:14:57 UTC 2007