0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/247174-1168391625/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.63
0.63 constraints being loaded...
0.73 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.73 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.73 => wckTime=0.422 cpuTime=0.37 mem=37M911
0.80
0.80 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.661 cpuTime=0.52 mem=20M568
0.99
0.99 preprocessing
0.99 nbConstraintChecks=1505 nbValidityChecks=1536 nbPropagations=57 nbRevisions=36 nbUselessRevisions=20
0.99 nbSingletonTests=25 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.019 cpuTime=0.01 mem=20M568
1.02
1.02 search
1.02 run=0 nbConstraintChecks=13209 nbValidityChecks=13696 nbPropagations=177 nbRevisions=201 nbUselessRevisions=69
1.02 nbAssignments=29 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=10
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.051 cpuTime=0.04 mem=20M568
1.25
1.25 search
1.25 run=1 nbConstraintChecks=168785 nbValidityChecks=174614 nbPropagations=653 nbRevisions=1028
1.25 nbUselessRevisions=138 nbAssignments=186 nbFailedAssignments=156 nbBacktracks=25 nbVisitedNodes=343
1.25 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.282 cpuTime=0.25 mem=20M568
1.54
1.54 search
1.54 run=2 nbConstraintChecks=393070 nbValidityChecks=407359 nbPropagations=1555 nbRevisions=2829
1.54 nbUselessRevisions=207 nbAssignments=410 nbFailedAssignments=356 nbBacktracks=47 nbVisitedNodes=767
1.54 nbRestartNogoods=7 mapSize=47 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.57 cpuTime=0.53 mem=20M568
1.95
1.95 search
1.95 run=3 nbConstraintChecks=725550 nbValidityChecks=751390 nbPropagations=3094 nbRevisions=5956
1.95 nbUselessRevisions=276 nbAssignments=745 nbFailedAssignments=656 nbBacktracks=80 nbVisitedNodes=1402
1.96 nbRestartNogoods=13 mapSize=80 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.982 cpuTime=0.93 mem=20M568
2.58
2.58 search
2.58 run=4 nbConstraintChecks=1234939 nbValidityChecks=1280027 nbPropagations=5587 nbRevisions=11291
2.58 nbUselessRevisions=345 nbAssignments=1247 nbFailedAssignments=1106 nbBacktracks=130 nbVisitedNodes=2354
2.58 nbRestartNogoods=20 mapSize=130 nbInferences=0 nbTooLargeKeys=0
2.58 => wckTime=1.608 cpuTime=1.54 mem=20M568
3.54
3.54 search
3.54 run=5 nbConstraintChecks=2025991 nbValidityChecks=2100184 nbPropagations=9518 nbRevisions=19970
3.54 nbUselessRevisions=414 nbAssignments=2004 nbFailedAssignments=1786 nbBacktracks=205 nbVisitedNodes=3791
3.54 nbRestartNogoods=29 mapSize=204 nbInferences=0 nbTooLargeKeys=0
3.54 => wckTime=2.566 cpuTime=2.46 mem=20M568
4.93
4.93 search
4.93 run=6 nbConstraintChecks=3191441 nbValidityChecks=3308424 nbPropagations=15606 nbRevisions=33545
4.93 nbUselessRevisions=483 nbAssignments=3139 nbFailedAssignments=2806 nbBacktracks=318 nbVisitedNodes=5946
4.93 nbRestartNogoods=43 mapSize=317 nbInferences=0 nbTooLargeKeys=0
4.93 => wckTime=3.957 cpuTime=3.84 mem=20M568
7.02
7.02 search
7.02 run=7 nbConstraintChecks=4950367 nbValidityChecks=5131408 nbPropagations=24908 nbRevisions=54436
7.02 nbUselessRevisions=552 nbAssignments=4831 nbFailedAssignments=4326 nbBacktracks=488 nbVisitedNodes=9158
7.02 nbRestartNogoods=59 mapSize=486 nbInferences=0 nbTooLargeKeys=0
7.02 => wckTime=6.044 cpuTime=5.9 mem=20M568
10.11
10.11 search
10.11 run=8 nbConstraintChecks=7572089 nbValidityChecks=7849966 nbPropagations=39090 nbRevisions=86319
10.11 nbUselessRevisions=621 nbAssignments=7399 nbFailedAssignments=6636 nbBacktracks=744 nbVisitedNodes=14036
10.11 nbRestartNogoods=63 mapSize=742 nbInferences=0 nbTooLargeKeys=0
10.11 => wckTime=9.141 cpuTime=8.97 mem=20M568
13.74
13.74 INFO : Stopping hyperNogood (mapSize=1047, nbTooLargekeys=0, mem=20M568)
14.52
14.52 search
14.52 run=9 nbConstraintChecks=11354280 nbValidityChecks=11763548 nbPropagations=60409 nbRevisions=134326
14.52 nbUselessRevisions=690 nbAssignments=11155 nbFailedAssignments=10016 nbBacktracks=1121 nbVisitedNodes=21171
14.52 nbRestartNogoods=71
14.52 => wckTime=13.548 cpuTime=13.34 mem=20M568
14.52
14.52 global
14.52 nbConstraintChecks=11355785 nbValidityChecks=11765084 nbPropagations=60466 nbRevisions=134362
14.52 nbUselessRevisions=710 nbRestartNogoods=71 solvingWckTime=13.55 solvingCpuTime=13.34 expiredTime=no
14.52 totalExploration=yes nbFoundSolutions=0 globalCpuTime=13.92
14.52 => wckTime=14.213 cpuTime=13.86 mem=20M568
14.53
14.53 s UNSATISFIABLE
14.53 d NODES 11155
14.53 d CHECKS 11355785
14.53
14.53 totalWckTime=14.289 totalCpuTime=13.92
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-247174-1168391625 -o ROOT/results/node17/solver-247174-1168391625 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247174-1168391625/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.92 0.98 1.05 5/82 14686
/proc/meminfo: memFree=1577408/2055920 swapFree=4192812/4192956
[pid=14685] ppid=14681 vsize=1784 CPUtime=0
/proc/14685/stat : 14685 (java) R 14681 14685 14577 0 -1 0 192 0 0 0 0 0 0 0 20 0 1 0 187557359 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/14685/statm: 446 158 123 14 0 91 0
[startup+0.111281 s]
/proc/loadavg: 0.92 0.98 1.05 5/82 14686
/proc/meminfo: memFree=1577408/2055920 swapFree=4192812/4192956
[pid=14685] ppid=14681 vsize=914988 CPUtime=0.07
/proc/14685/stat : 14685 (java) R 14681 14685 14577 0 -1 0 2971 0 1 0 6 1 0 0 22 0 8 0 187557359 936947712 2717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14685/statm: 228747 2719 1421 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.519323 s]
/proc/loadavg: 0.92 0.98 1.05 5/82 14686
/proc/meminfo: memFree=1577408/2055920 swapFree=4192812/4192956
[pid=14685] ppid=14681 vsize=915328 CPUtime=0.48
/proc/14685/stat : 14685 (java) R 14681 14685 14577 0 -1 0 8162 0 1 0 43 5 0 0 24 0 8 0 187557359 937295872 7901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072933158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14685/statm: 228832 7901 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3434 s]
/proc/loadavg: 0.92 0.98 1.05 3/101 14718
/proc/meminfo: memFree=1451048/2055920 swapFree=4192812/4192956
[pid=14685] ppid=14681 vsize=915460 CPUtime=1.29
/proc/14685/stat : 14685 (java) R 14681 14685 14577 0 -1 0 15778 0 1 0 120 9 0 0 25 0 8 0 187557359 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073597728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14685/statm: 228865 15516 2527 14 0 215335 0
[pid=14685/tid=14703] ppid=14681 vsize=915460 CPUtime=0.05
/proc/14685/task/14703/stat : 14703 (java) S 14681 14685 14577 0 -1 64 1534 0 0 0 5 0 0 0 16 0 8 0 187557363 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14706] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14706/stat : 14706 (java) S 14681 14685 14577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14707] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14707/stat : 14707 (java) S 14681 14685 14577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14711] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14711/stat : 14711 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187557368 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14712] ppid=14681 vsize=915460 CPUtime=0.13
/proc/14685/task/14712/stat : 14712 (java) S 14681 14685 14577 0 -1 64 345 0 0 0 13 0 0 0 15 0 8 0 187557368 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14713] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14713/stat : 14713 (java) S 14681 14685 14577 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 187557368 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14714] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14714/stat : 14714 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187557368 937431040 15516 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.99157 s]
/proc/loadavg: 1.01 1.00 1.06 3/101 14718
/proc/meminfo: memFree=1404520/2055920 swapFree=4192812/4192956
[pid=14685] ppid=14681 vsize=915460 CPUtime=2.92
/proc/14685/stat : 14685 (java) R 14681 14685 14577 0 -1 0 15799 0 1 0 283 9 0 0 25 0 8 0 187557359 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14685/statm: 228865 15535 2527 14 0 215335 0
[pid=14685/tid=14703] ppid=14681 vsize=915460 CPUtime=0.05
/proc/14685/task/14703/stat : 14703 (java) S 14681 14685 14577 0 -1 64 1534 0 0 0 5 0 0 0 17 0 8 0 187557363 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14706] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14706/stat : 14706 (java) S 14681 14685 14577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14707] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14707/stat : 14707 (java) S 14681 14685 14577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14711] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14711/stat : 14711 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187557368 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14712] ppid=14681 vsize=915460 CPUtime=0.17
/proc/14685/task/14712/stat : 14712 (java) S 14681 14685 14577 0 -1 64 365 0 0 0 17 0 0 0 16 0 8 0 187557368 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14713] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14713/stat : 14713 (java) S 14681 14685 14577 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 187557368 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14714] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14714/stat : 14714 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187557368 937431040 15535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.1939 s]
/proc/loadavg: 1.01 1.00 1.06 3/102 14719
/proc/meminfo: memFree=1315240/2055920 swapFree=4192812/4192956
[pid=14685] ppid=14681 vsize=915460 CPUtime=6.09
/proc/14685/stat : 14685 (java) R 14681 14685 14577 0 -1 0 15805 0 1 0 600 9 0 0 25 0 8 0 187557359 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073597756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14685/statm: 228865 15539 2527 14 0 215335 0
[pid=14685/tid=14703] ppid=14681 vsize=915460 CPUtime=0.05
/proc/14685/task/14703/stat : 14703 (java) S 14681 14685 14577 0 -1 64 1534 0 0 0 5 0 0 0 17 0 8 0 187557363 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14706] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14706/stat : 14706 (java) S 14681 14685 14577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14707] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14707/stat : 14707 (java) S 14681 14685 14577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14711] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14711/stat : 14711 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187557368 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14712] ppid=14681 vsize=915460 CPUtime=0.18
/proc/14685/task/14712/stat : 14712 (java) S 14681 14685 14577 0 -1 64 369 0 0 0 18 0 0 0 15 0 8 0 187557368 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14713] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14713/stat : 14713 (java) S 14681 14685 14577 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 187557368 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14714] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14714/stat : 14714 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187557368 937431040 15539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915460
[startup+12.6676 s]
/proc/loadavg: 1.16 1.03 1.07 3/102 14719
/proc/meminfo: memFree=1315240/2055920 swapFree=4192812/4192956
[pid=14685] ppid=14681 vsize=915460 CPUtime=12.5
/proc/14685/stat : 14685 (java) R 14681 14685 14577 0 -1 0 15807 0 1 0 1241 9 0 0 25 0 8 0 187557359 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14685/statm: 228865 15540 2527 14 0 215335 0
[pid=14685/tid=14703] ppid=14681 vsize=915460 CPUtime=0.05
/proc/14685/task/14703/stat : 14703 (java) S 14681 14685 14577 0 -1 64 1534 0 0 0 5 0 0 0 16 0 8 0 187557363 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14706] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14706/stat : 14706 (java) S 14681 14685 14577 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14707] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14707/stat : 14707 (java) S 14681 14685 14577 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187557364 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14711] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14711/stat : 14711 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 187557368 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14712] ppid=14681 vsize=915460 CPUtime=0.18
/proc/14685/task/14712/stat : 14712 (java) S 14681 14685 14577 0 -1 64 370 0 0 0 18 0 0 0 16 0 8 0 187557368 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14685/tid=14713] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14713/stat : 14713 (java) S 14681 14685 14577 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 187557368 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14685/tid=14714] ppid=14681 vsize=915460 CPUtime=0
/proc/14685/task/14714/stat : 14714 (java) S 14681 14685 14577 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187557368 937431040 15540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 14.5698
CPU time (s): 14.3758
CPU user time (s): 14.2628
CPU system time (s): 0.112982
CPU usage (%): 98.6684
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2628
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15816
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= 1299
involuntary context switches= 1713
runsolver used 0.029995 s user time and 0.046992 s system time
The end
Begin job on node17 on Wed Jan 10 01:13:46 UTC 2007
IDJOB= 247174
IDBENCH= 11088
FILE ID= node17/247174-1168391625
PBS_JOBID= 3522758
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247174-1168391625/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-247174-1168391625 -o ROOT/results/node17/solver-247174-1168391625 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247174-1168391625/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 522d1bb9bf2d247cbf6772653097fee9
RANDOM SEED= 895766600
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.236
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.236
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: 1577488 kB
Buffers: 74144 kB
Cached: 285100 kB
SwapCached: 0 kB
Active: 247424 kB
Inactive: 172168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1577488 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7228 kB
Writeback: 0 kB
Mapped: 76952 kB
Slab: 43764 kB
Committed_AS: 5938824 kB
PageTables: 2208 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= 66554 MiB
End job on node17 on Wed Jan 10 01:14:00 UTC 2007