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/242349-1168380376/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.44 nbVariables=435 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.44 => wckTime=0.139 cpuTime=0.11 mem=7M894
0.44
0.44 relations being loaded...
0.45
0.45 constraints being loaded...
0.59 nbConstraints=738 nbRelationTypes=19 nbSingletonDomainVariables=4 nbExtensionStructures=24
0.59 nbSharedExtensionStructures=714 nbConflictsStructures=24 nbSharedConflictsStructures=714
0.59 nbSharedBinaryRepresentations=26 maxDegree=26 maxArity=5
0.59 => wckTime=0.29 cpuTime=0.21 mem=10M819
0.63
0.63 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.534 cpuTime=0.37 mem=17M776
0.93
0.93 preprocessing
0.93 nbConstraintChecks=3548 nbValidityChecks=925 nbPropagations=1688 nbRevisions=3657 nbUselessRevisions=2925
0.93 nbSingletonTests=535 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=100 detectedInconsistency=no
0.93 => wckTime=0.092 cpuTime=0.06 mem=17M776
0.98
0.98 search
0.98 run=0 nbConstraintChecks=1142 nbValidityChecks=344 nbPropagations=2051 nbRevisions=4717
0.98 nbUselessRevisions=3629 nbAssignments=88 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=95
0.98 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.142 cpuTime=0.1 mem=18M752
1.01
1.01 search
1.01 run=1 nbConstraintChecks=2590 nbValidityChecks=828 nbPropagations=4595 nbRevisions=10805
1.01 nbUselessRevisions=8125 nbAssignments=193 nbFailedAssignments=6 nbBacktracks=31 nbVisitedNodes=206
1.01 nbRestartNogoods=1 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.174 cpuTime=0.12 mem=18M752
1.05
1.05 search
1.05 run=2 nbConstraintChecks=4001 nbValidityChecks=1304 nbPropagations=7638 nbRevisions=18240
1.05 nbUselessRevisions=13472 nbAssignments=300 nbFailedAssignments=10 nbBacktracks=53 nbVisitedNodes=322
1.05 nbRestartNogoods=3 mapSize=16 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.206 cpuTime=0.15 mem=18M752
1.08
1.08 search
1.08 run=3 nbConstraintChecks=5659 nbValidityChecks=1880 nbPropagations=11269 nbRevisions=27236
1.08 nbUselessRevisions=19771 nbAssignments=412 nbFailedAssignments=14 nbBacktracks=86 nbVisitedNodes=445
1.08 nbRestartNogoods=5 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.235 cpuTime=0.18 mem=18M752
1.12
1.12 search
1.12 run=4 nbConstraintChecks=8338 nbValidityChecks=2843 nbPropagations=15877 nbRevisions=38927
1.12 nbUselessRevisions=27787 nbAssignments=560 nbFailedAssignments=21 nbBacktracks=137 nbVisitedNodes=608
1.12 nbRestartNogoods=6 mapSize=38 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.275 cpuTime=0.22 mem=18M752
1.17
1.17 search
1.17 run=5 nbConstraintChecks=11644 nbValidityChecks=4040 nbPropagations=21709 nbRevisions=54005
1.17 nbUselessRevisions=37942 nbAssignments=723 nbFailedAssignments=30 nbBacktracks=219 nbVisitedNodes=789
1.17 nbRestartNogoods=9 mapSize=54 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.327 cpuTime=0.26 mem=18M752
1.22
1.23 search
1.23 run=6 nbConstraintChecks=20441 nbValidityChecks=7068 nbPropagations=30612 nbRevisions=77437
1.23 nbUselessRevisions=53218 nbAssignments=939 nbFailedAssignments=60 nbBacktracks=332 nbVisitedNodes=1065
1.23 nbRestartNogoods=11 mapSize=111 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.385 cpuTime=0.32 mem=18M752
1.30
1.30 search
1.30 run=7 nbConstraintChecks=24211 nbValidityChecks=8464 nbPropagations=40876 nbRevisions=104709
1.30 nbUselessRevisions=70964 nbAssignments=1198 nbFailedAssignments=70 nbBacktracks=511 nbVisitedNodes=1350
1.30 nbRestartNogoods=14 mapSize=135 nbInferences=3 nbTooLargeKeys=0
1.30 => wckTime=0.465 cpuTime=0.39 mem=18M752
1.42
1.42 search
1.42 run=8 nbConstraintChecks=30012 nbValidityChecks=10332 nbPropagations=53112 nbRevisions=137474
1.42 nbUselessRevisions=92199 nbAssignments=1544 nbFailedAssignments=91 nbBacktracks=768 nbVisitedNodes=1732
1.42 nbRestartNogoods=16 mapSize=168 nbInferences=5 nbTooLargeKeys=0
1.42 => wckTime=0.576 cpuTime=0.49 mem=18M752
1.58
1.58 search
1.58 run=9 nbConstraintChecks=51804 nbValidityChecks=18387 nbPropagations=72446 nbRevisions=191735
1.58 nbUselessRevisions=127629 nbAssignments=2062 nbFailedAssignments=146 nbBacktracks=1157 nbVisitedNodes=2385
1.58 nbRestartNogoods=19 mapSize=299 nbInferences=22 nbTooLargeKeys=0
1.58 => wckTime=0.738 cpuTime=0.65 mem=18M752
1.80
1.80 search
1.80 run=10 nbConstraintChecks=75537 nbValidityChecks=26995 nbPropagations=99849 nbRevisions=268995
1.80 nbUselessRevisions=177614 nbAssignments=2801 nbFailedAssignments=212 nbBacktracks=1737 nbVisitedNodes=3275
1.80 nbRestartNogoods=23 mapSize=447 nbInferences=37 nbTooLargeKeys=0
1.80 => wckTime=0.956 cpuTime=0.85 mem=18M752
2.16
2.16 search
2.16 run=11 nbConstraintChecks=158433 nbValidityChecks=54534 nbPropagations=155523 nbRevisions=424981
2.16 nbUselessRevisions=276679 nbAssignments=4029 nbFailedAssignments=461 nbBacktracks=2601 nbVisitedNodes=5032
2.16 nbRestartNogoods=26 mapSize=971 nbInferences=78 nbTooLargeKeys=0
2.16 => wckTime=1.315 cpuTime=1.2 mem=18M752
2.62
2.62 search
2.62 run=12 nbConstraintChecks=240658 nbValidityChecks=82494 nbPropagations=238403 nbRevisions=659398
2.62 nbUselessRevisions=425188 nbAssignments=5585 nbFailedAssignments=643 nbBacktracks=3898 nbVisitedNodes=7026
2.62 nbRestartNogoods=31 mapSize=1397 nbInferences=102 nbTooLargeKeys=0
2.62 => wckTime=1.776 cpuTime=1.66 mem=19M727
3.31
3.31 search
3.31 run=13 nbConstraintChecks=447997 nbValidityChecks=149995 nbPropagations=385210 nbRevisions=1086599
3.31 nbUselessRevisions=698262 nbAssignments=8041 nbFailedAssignments=1072 nbBacktracks=5844 nbVisitedNodes=10272
3.31 nbRestartNogoods=35 mapSize=2180 nbInferences=124 nbTooLargeKeys=0
3.31 => wckTime=2.473 cpuTime=2.36 mem=19M727
4.24
4.24 search
4.24 run=14 nbConstraintChecks=662945 nbValidityChecks=220780 nbPropagations=595465 nbRevisions=1717559
4.24 nbUselessRevisions=1105041 nbAssignments=11421 nbFailedAssignments=1477 nbBacktracks=8764 nbVisitedNodes=14568
4.24 nbRestartNogoods=39 mapSize=3090 nbInferences=142 nbTooLargeKeys=0
4.24 => wckTime=3.404 cpuTime=3.28 mem=20M702
5.93
5.93 search
5.93 run=15 nbConstraintChecks=1064781 nbValidityChecks=371125 nbPropagations=933349 nbRevisions=2754420
5.93 nbUselessRevisions=1785100 nbAssignments=17040 nbFailedAssignments=2316 nbBacktracks=13145 nbVisitedNodes=22167
5.93 nbRestartNogoods=45 mapSize=5035 nbInferences=509 nbTooLargeKeys=0
5.93 => wckTime=5.086 cpuTime=4.94 mem=21M677
8.52
8.52 search
8.52 run=16 nbConstraintChecks=1635958 nbValidityChecks=562310 nbPropagations=1447928 nbRevisions=4341266
8.52 nbUselessRevisions=2831521 nbAssignments=25805 nbFailedAssignments=3447 nbBacktracks=19716 nbVisitedNodes=34076
8.52 nbRestartNogoods=51 mapSize=8033 nbInferences=1539 nbTooLargeKeys=0
8.52 => wckTime=7.683 cpuTime=7.52 mem=23M628
8.58
8.58 search
8.58 run=17 nbConstraintChecks=1647762 nbValidityChecks=566283 nbPropagations=1966032 nbRevisions=5939643
8.58 nbUselessRevisions=3885856 nbAssignments=26015 nbFailedAssignments=3486 nbBacktracks=19881 nbVisitedNodes=34355
8.58 nbRestartNogoods=59 mapSize=8098 nbInferences=1546 nbTooLargeKeys=0
8.58 => wckTime=7.735 cpuTime=7.57 mem=23M628
8.58
8.58 global
8.58 nbConstraintChecks=1651310 nbValidityChecks=567208 nbPropagations=1967720 nbRevisions=5943300
8.58 nbUselessRevisions=3888781 nbRestartNogoods=59 solvingWckTime=7.738 solvingCpuTime=7.57 expiredTime=no
8.58 totalExploration=yes nbFoundSolutions=0 globalCpuTime=7.98
8.58 => wckTime=8.273 cpuTime=7.94 mem=23M628
8.58
8.58 s UNSATISFIABLE
8.58 d NODES 26015
8.58 d CHECKS 1651310
8.58
8.58 totalWckTime=8.351 totalCpuTime=7.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-242349-1168380376 -o ROOT/results/node1/solver-242349-1168380376 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242349-1168380376/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.99 1.86 1.51 5/87 13940
/proc/meminfo: memFree=1770432/2055920 swapFree=4165612/4192956
[pid=13939] ppid=13937 vsize=18540 CPUtime=0
/proc/13939/stat : 13939 (runsolver) R 13937 13939 13302 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 186433430 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13939/statm: 4635 279 244 17 0 2626 0
[startup+0.103156 s]
/proc/loadavg: 1.99 1.86 1.51 5/87 13940
/proc/meminfo: memFree=1770432/2055920 swapFree=4165612/4192956
[pid=13939] ppid=13937 vsize=914988 CPUtime=0.08
/proc/13939/stat : 13939 (java) R 13937 13939 13302 0 -1 0 2989 0 1 0 6 2 0 0 24 0 8 0 186433430 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13939/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511203 s]
/proc/loadavg: 1.99 1.86 1.51 5/87 13940
/proc/meminfo: memFree=1770432/2055920 swapFree=4165612/4192956
[pid=13939] ppid=13937 vsize=915328 CPUtime=0.48
/proc/13939/stat : 13939 (java) R 13937 13939 13302 0 -1 0 6439 0 1 0 44 4 0 0 25 0 8 0 186433430 937295872 6178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13939/statm: 228832 6178 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3333 s]
/proc/loadavg: 2.07 1.88 1.52 3/94 13947
/proc/meminfo: memFree=1743176/2055920 swapFree=4165612/4192956
[pid=13939] ppid=13937 vsize=915444 CPUtime=1.29
/proc/13939/stat : 13939 (java) R 13937 13939 13302 0 -1 0 9577 0 1 0 122 7 0 0 25 0 8 0 186433430 937414656 9315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073342645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13939/statm: 228861 9315 2527 14 0 215331 0
[pid=13939/tid=13941] ppid=13937 vsize=915444 CPUtime=0.03
/proc/13939/task/13941/stat : 13941 (java) S 13937 13939 13302 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 186433434 937414656 9315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13942] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13942/stat : 13942 (java) S 13937 13939 13302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186433434 937414656 9315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13943] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13943/stat : 13943 (java) S 13937 13939 13302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186433434 937414656 9315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13944] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13944/stat : 13944 (java) S 13937 13939 13302 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 186433437 937414656 9315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13945] ppid=13937 vsize=915444 CPUtime=0.25
/proc/13939/task/13945/stat : 13945 (java) S 13937 13939 13302 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 186433437 937414656 9315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13946] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13946/stat : 13946 (java) S 13937 13939 13302 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 186433437 937414656 9315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13947] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13947/stat : 13947 (java) S 13937 13939 13302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186433437 937414656 9315 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) 915444
[startup+2.9855 s]
/proc/loadavg: 2.07 1.88 1.52 3/94 13947
/proc/meminfo: memFree=1742280/2055920 swapFree=4165612/4192956
[pid=13939] ppid=13937 vsize=915444 CPUtime=2.94
/proc/13939/stat : 13939 (java) R 13937 13939 13302 0 -1 0 9858 0 1 0 286 8 0 0 25 0 8 0 186433430 937414656 9594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13939/statm: 228861 9594 2527 14 0 215331 0
[pid=13939/tid=13941] ppid=13937 vsize=915444 CPUtime=0.03
/proc/13939/task/13941/stat : 13941 (java) S 13937 13939 13302 0 -1 64 283 0 0 0 3 0 0 0 17 0 8 0 186433434 937414656 9594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13942] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13942/stat : 13942 (java) S 13937 13939 13302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186433434 937414656 9594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13943] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13943/stat : 13943 (java) S 13937 13939 13302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186433434 937414656 9594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13944] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13944/stat : 13944 (java) S 13937 13939 13302 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 186433437 937414656 9594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13945] ppid=13937 vsize=915444 CPUtime=0.27
/proc/13939/task/13945/stat : 13945 (java) S 13937 13939 13302 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 186433437 937414656 9594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13946] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13946/stat : 13946 (java) S 13937 13939 13302 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 186433437 937414656 9594 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13947] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13947/stat : 13947 (java) S 13937 13939 13302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186433437 937414656 9594 18446744073709551615 134512640 134570532 4294956464 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) 915444
[startup+6.26487 s]
/proc/loadavg: 2.07 1.88 1.52 3/94 13947
/proc/meminfo: memFree=1740048/2055920 swapFree=4165612/4192956
[pid=13939] ppid=13937 vsize=915444 CPUtime=6.19
/proc/13939/stat : 13939 (java) R 13937 13939 13302 0 -1 0 10398 0 1 0 610 9 0 0 25 0 8 0 186433430 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13939/statm: 228861 10133 2527 14 0 215331 0
[pid=13939/tid=13941] ppid=13937 vsize=915444 CPUtime=0.03
/proc/13939/task/13941/stat : 13941 (java) S 13937 13939 13302 0 -1 64 283 0 0 0 3 0 0 0 16 0 8 0 186433434 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13942] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13942/stat : 13942 (java) S 13937 13939 13302 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186433434 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13943] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13943/stat : 13943 (java) S 13937 13939 13302 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186433434 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13944] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13944/stat : 13944 (java) S 13937 13939 13302 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 186433437 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13945] ppid=13937 vsize=915444 CPUtime=0.27
/proc/13939/task/13945/stat : 13945 (java) S 13937 13939 13302 0 -1 64 418 0 0 0 26 1 0 0 17 0 8 0 186433437 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13946] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13946/stat : 13946 (java) S 13937 13939 13302 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 186433437 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13939/tid=13947] ppid=13937 vsize=915444 CPUtime=0
/proc/13939/task/13947/stat : 13947 (java) S 13937 13939 13302 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186433437 937414656 10133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 8.62888
CPU time (s): 8.50671
CPU user time (s): 8.40772
CPU system time (s): 0.098984
CPU usage (%): 98.5841
Max. virtual memory (cumulated for all children) (KiB): 915484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.40772
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10835
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= 1523
involuntary context switches= 1922
runsolver used 0.011998 s user time and 0.034994 s system time
The end
Begin job on node1 on Tue Jan 9 22:06:16 UTC 2007
IDJOB= 242349
IDBENCH= 7386
FILE ID= node1/242349-1168380376
PBS_JOBID= 3522365
Free space on /tmp= 66512 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-0432-003_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242349-1168380376/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-242349-1168380376 -o ROOT/results/node1/solver-242349-1168380376 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242349-1168380376/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 186780f30bf46b633acf597de8e6a549
RANDOM SEED= 214142124
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: 1771040 kB
Buffers: 41100 kB
Cached: 145100 kB
SwapCached: 4064 kB
Active: 147532 kB
Inactive: 79888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771040 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 52020 kB
Slab: 42244 kB
Committed_AS: 6136784 kB
PageTables: 2308 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= 66512 MiB
End job on node1 on Tue Jan 9 22:06:25 UTC 2007