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/211056-1168204771/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.45 nbVariables=495 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.45 => wckTime=0.147 cpuTime=0.11 mem=7M894
0.45
0.45 predicates being loaded...
0.46
0.46 constraints being loaded...
1.19 nbConstraints=813 nbMergedConstraints=126 nbSingletonDomainVariables=118 nbConvertedConstraints=514
1.19 nbConvertConstraintsChecks=114788 nbExtensionStructures=9 nbSharedExtensionStructures=505
1.19 nbConflictsStructures=47 nbSharedConflictsStructures=766 nbSharedBinaryRepresentations=21
1.19 nbEvaluationManagers=38 nbSharedEvaluationManagers=261 maxDegree=48 maxArity=13
1.19 => wckTime=0.885 cpuTime=0.73 mem=28M373
1.24
1.24 solver IterativeSystematicSolver being built...
1.44 => wckTime=1.144 cpuTime=0.89 mem=19M988
1.71
1.71 preprocessing
1.71 nbConstraintChecks=45576 nbValidityChecks=31617 nbPropagations=1480 nbRevisions=18035 nbUselessRevisions=17667
1.71 nbSingletonTests=635 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.71 => wckTime=0.265 cpuTime=0.23 mem=19M988
1.82
1.82 search
1.82 run=0 nbConstraintChecks=11753 nbValidityChecks=8182 nbPropagations=1822 nbRevisions=23106
1.82 nbUselessRevisions=22418 nbAssignments=180 nbFailedAssignments=3 nbBacktracks=15 nbVisitedNodes=189
1.82 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.371 cpuTime=0.32 mem=19M988
1.94
1.94 search
1.94 run=1 nbConstraintChecks=22859 nbValidityChecks=17725 nbPropagations=4103 nbRevisions=52202
1.94 nbUselessRevisions=50432 nbAssignments=525 nbFailedAssignments=6 nbBacktracks=31 nbVisitedNodes=509
1.94 nbRestartNogoods=2 mapSize=10 nbInferences=2 nbTooLargeKeys=0
1.94 => wckTime=0.489 cpuTime=0.43 mem=19M988
2.02
2.02 search
2.02 run=2 nbConstraintChecks=29135 nbValidityChecks=25681 nbPropagations=6653 nbRevisions=86016
2.02 nbUselessRevisions=82923 nbAssignments=753 nbFailedAssignments=8 nbBacktracks=65 nbVisitedNodes=741
2.02 nbRestartNogoods=3 mapSize=12 nbInferences=2 nbTooLargeKeys=0
2.02 => wckTime=0.569 cpuTime=0.51 mem=19M988
2.08
2.08 search
2.08 run=3 nbConstraintChecks=34099 nbValidityChecks=32896 nbPropagations=9469 nbRevisions=124218
2.08 nbUselessRevisions=119548 nbAssignments=924 nbFailedAssignments=9 nbBacktracks=118 nbVisitedNodes=915
2.08 nbRestartNogoods=5 mapSize=14 nbInferences=2 nbTooLargeKeys=0
2.08 => wckTime=0.634 cpuTime=0.57 mem=19M988
2.15
2.15 search
2.15 run=4 nbConstraintChecks=39671 nbValidityChecks=40636 nbPropagations=12681 nbRevisions=167488
2.15 nbUselessRevisions=160845 nbAssignments=1102 nbFailedAssignments=12 nbBacktracks=168 nbVisitedNodes=1099
2.15 nbRestartNogoods=6 mapSize=18 nbInferences=2 nbTooLargeKeys=0
2.15 => wckTime=0.705 cpuTime=0.63 mem=19M988
2.23
2.23 search
2.23 run=5 nbConstraintChecks=48592 nbValidityChecks=50044 nbPropagations=16694 nbRevisions=217869
2.23 nbUselessRevisions=208434 nbAssignments=1306 nbFailedAssignments=21 nbBacktracks=253 nbVisitedNodes=1322
2.23 nbRestartNogoods=8 mapSize=35 nbInferences=2 nbTooLargeKeys=0
2.23 => wckTime=0.786 cpuTime=0.71 mem=19M988
2.36
2.36 search
2.36 run=6 nbConstraintChecks=70005 nbValidityChecks=64037 nbPropagations=21540 nbRevisions=278080
2.36 nbUselessRevisions=265056 nbAssignments=1644 nbFailedAssignments=33 nbBacktracks=385 nbVisitedNodes=1545
2.36 nbRestartNogoods=10 mapSize=60 nbInferences=3 nbTooLargeKeys=0
2.36 => wckTime=0.912 cpuTime=0.83 mem=19M988
2.43
2.43 search
2.43 run=7 nbConstraintChecks=75408 nbValidityChecks=72108 nbPropagations=27189 nbRevisions=344928
2.43 nbUselessRevisions=327486 nbAssignments=1874 nbFailedAssignments=42 nbBacktracks=574 nbVisitedNodes=1796
2.43 nbRestartNogoods=11 mapSize=79 nbInferences=3 nbTooLargeKeys=0
2.43 => wckTime=0.987 cpuTime=0.9 mem=20M961
2.58
2.58 search
2.58 run=8 nbConstraintChecks=91384 nbValidityChecks=82504 nbPropagations=34211 nbRevisions=421138
2.58 nbUselessRevisions=397892 nbAssignments=2308 nbFailedAssignments=56 nbBacktracks=838 nbVisitedNodes=2258
2.58 nbRestartNogoods=13 mapSize=102 nbInferences=3 nbTooLargeKeys=0
2.58 => wckTime=1.128 cpuTime=1.04 mem=20M961
2.85
2.85 search
2.85 run=9 nbConstraintChecks=122819 nbValidityChecks=105339 nbPropagations=42320 nbRevisions=513108
2.85 nbUselessRevisions=483166 nbAssignments=2931 nbFailedAssignments=61 nbBacktracks=1225 nbVisitedNodes=2979
2.85 nbRestartNogoods=18 mapSize=194 nbInferences=93 nbTooLargeKeys=0
2.85 => wckTime=1.401 cpuTime=1.31 mem=20M961
3.28
3.28 search
3.28 run=10 nbConstraintChecks=203165 nbValidityChecks=146443 nbPropagations=53243 nbRevisions=634535
3.28 nbUselessRevisions=595130 nbAssignments=3764 nbFailedAssignments=91 nbBacktracks=1812 nbVisitedNodes=3803
3.28 nbRestartNogoods=24 mapSize=298 nbInferences=134 nbTooLargeKeys=0
3.28 => wckTime=1.829 cpuTime=1.72 mem=20M961
3.64
3.64 search
3.64 run=11 nbConstraintChecks=261231 nbValidityChecks=173122 nbPropagations=71459 nbRevisions=793853
3.64 nbUselessRevisions=737350 nbAssignments=4799 nbFailedAssignments=184 nbBacktracks=2684 nbVisitedNodes=5058
3.64 nbRestartNogoods=27 mapSize=511 nbInferences=159 nbTooLargeKeys=0
3.64 => wckTime=2.191 cpuTime=2.07 mem=20M961
4.27
4.27 search
4.27 run=12 nbConstraintChecks=388020 nbValidityChecks=219247 nbPropagations=102337 nbRevisions=1019938
4.27 nbUselessRevisions=932954 nbAssignments=6353 nbFailedAssignments=360 nbBacktracks=4002 nbVisitedNodes=6998
4.27 nbRestartNogoods=32 mapSize=895 nbInferences=192 nbTooLargeKeys=0
4.27 => wckTime=2.824 cpuTime=2.7 mem=21M935
5.19
5.19 search
5.19 run=13 nbConstraintChecks=602237 nbValidityChecks=297985 nbPropagations=153699 nbRevisions=1355304
5.19 nbUselessRevisions=1216385 nbAssignments=8690 nbFailedAssignments=639 nbBacktracks=5959 nbVisitedNodes=9947
5.19 nbRestartNogoods=34 mapSize=1504 nbInferences=269 nbTooLargeKeys=0
5.19 => wckTime=3.747 cpuTime=3.61 mem=21M935
6.59
6.59 search
6.59 run=14 nbConstraintChecks=973545 nbValidityChecks=422998 nbPropagations=241302 nbRevisions=1873225
6.59 nbUselessRevisions=1644777 nbAssignments=12042 nbFailedAssignments=992 nbBacktracks=8883 nbVisitedNodes=14116
6.59 nbRestartNogoods=37 mapSize=2315 nbInferences=332 nbTooLargeKeys=0
6.59 => wckTime=5.146 cpuTime=5.0 mem=21M935
9.28
9.28 search
9.28 run=15 nbConstraintChecks=1846627 nbValidityChecks=658085 nbPropagations=400813 nbRevisions=2748285
9.28 nbUselessRevisions=2356280 nbAssignments=17216 nbFailedAssignments=1559 nbBacktracks=13264 nbVisitedNodes=20801
9.28 nbRestartNogoods=42 mapSize=3817 nbInferences=545 nbTooLargeKeys=0
9.28 => wckTime=7.832 cpuTime=7.66 mem=22M908
13.09
13.09 search
13.09 run=16 nbConstraintChecks=2990338 nbValidityChecks=990965 nbPropagations=652603 nbRevisions=4098504
13.09 nbUselessRevisions=3446619 nbAssignments=24910 nbFailedAssignments=2519 nbBacktracks=19836 nbVisitedNodes=30675
13.09 nbRestartNogoods=48 mapSize=5984 nbInferences=678 nbTooLargeKeys=0
13.09 => wckTime=11.646 cpuTime=11.42 mem=23M882
18.61
18.61 search
18.61 run=17 nbConstraintChecks=4591353 nbValidityChecks=1466323 nbPropagations=1043743 nbRevisions=6147772
18.61 nbUselessRevisions=5091879 nbAssignments=36698 nbFailedAssignments=3865 nbBacktracks=29694 nbVisitedNodes=46040
18.61 nbRestartNogoods=56 mapSize=9551 nbInferences=1235 nbTooLargeKeys=0
18.61 => wckTime=17.163 cpuTime=16.88 mem=24M856
22.95
22.95 search
22.95 run=18 nbConstraintChecks=5758145 nbValidityChecks=1819892 nbPropagations=1559141 nbRevisions=8797820
22.95 nbUselessRevisions=7207779 nbAssignments=47550 nbFailedAssignments=5108 nbBacktracks=38830 nbVisitedNodes=60147
22.95 nbRestartNogoods=62 mapSize=12794 nbInferences=1709 nbTooLargeKeys=0
22.95 => wckTime=21.5 cpuTime=21.19 mem=25M829
22.95
22.95 global
22.95 nbConstraintChecks=5803721 nbValidityChecks=1851509 nbPropagations=1560621 nbRevisions=8815855
22.95 nbUselessRevisions=7225446 nbRestartNogoods=62 solvingWckTime=21.501 solvingCpuTime=21.19 expiredTime=no
22.95 totalExploration=yes nbFoundSolutions=0 globalCpuTime=22.12
22.95 => wckTime=22.648 cpuTime=22.08 mem=25M829
22.95
22.95 s UNSATISFIABLE
22.95 d NODES 47550
22.95 d CHECKS 5803721
22.95
22.95 totalWckTime=22.723 totalCpuTime=22.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-211056-1168204771 -o ROOT/results/node75/solver-211056-1168204771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211056-1168204771/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.34 1.12 3/82 411
/proc/meminfo: memFree=1636184/2055920 swapFree=4184496/4192956
[pid=410] ppid=408 vsize=18540 CPUtime=0
/proc/410/stat : 410 (runsolver) R 408 410 32614 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 168876506 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/410/statm: 4635 279 244 17 0 2626 0
[startup+0.10777 s]
/proc/loadavg: 1.99 1.34 1.12 3/82 411
/proc/meminfo: memFree=1636184/2055920 swapFree=4184496/4192956
[pid=410] ppid=408 vsize=914988 CPUtime=0.08
/proc/410/stat : 410 (java) R 408 410 32614 0 -1 0 3046 0 1 0 7 1 0 0 24 0 8 0 168876506 936947712 2792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/410/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517818 s]
/proc/loadavg: 1.99 1.34 1.12 3/82 411
/proc/meminfo: memFree=1636184/2055920 swapFree=4184496/4192956
[pid=410] ppid=408 vsize=915328 CPUtime=0.49
/proc/410/stat : 410 (java) R 408 410 32614 0 -1 0 6614 0 1 0 45 4 0 0 25 0 8 0 168876506 937295872 6353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154055600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/410/statm: 228832 6353 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34492 s]
/proc/loadavg: 1.99 1.34 1.12 3/89 418
/proc/meminfo: memFree=1603616/2055920 swapFree=4184496/4192956
[pid=410] ppid=408 vsize=915536 CPUtime=1.31
/proc/410/stat : 410 (java) R 408 410 32614 0 -1 0 12161 0 1 0 120 11 0 0 25 0 8 0 168876506 937508864 11898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/410/statm: 228884 11898 2502 14 0 215354 0
[pid=410/tid=412] ppid=408 vsize=915536 CPUtime=0.04
/proc/410/task/412/stat : 412 (java) S 408 410 32614 0 -1 64 348 0 0 0 4 0 0 0 16 0 8 0 168876510 937508864 11898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=413] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/413/stat : 413 (java) S 408 410 32614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 11898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=414] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/414/stat : 414 (java) S 408 410 32614 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 11898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=415] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/415/stat : 415 (java) S 408 410 32614 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 168876514 937508864 11898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=416] ppid=408 vsize=915536 CPUtime=0.21
/proc/410/task/416/stat : 416 (java) S 408 410 32614 0 -1 64 402 0 0 0 20 1 0 0 16 0 8 0 168876514 937508864 11898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=417] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/417/stat : 417 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 168876514 937508864 11898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=418] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/418/stat : 418 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168876514 937508864 11898 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) 915536
[startup+2.98711 s]
/proc/loadavg: 1.99 1.35 1.12 3/89 418
/proc/meminfo: memFree=1597856/2055920 swapFree=4184496/4192956
[pid=410] ppid=408 vsize=915536 CPUtime=2.93
/proc/410/stat : 410 (java) R 408 410 32614 0 -1 0 12285 0 1 0 281 12 0 0 25 0 8 0 168876506 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/410/statm: 228884 12021 2544 14 0 215354 0
[pid=410/tid=412] ppid=408 vsize=915536 CPUtime=0.04
/proc/410/task/412/stat : 412 (java) S 408 410 32614 0 -1 64 348 0 0 0 4 0 0 0 17 0 8 0 168876510 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=413] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/413/stat : 413 (java) S 408 410 32614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=414] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/414/stat : 414 (java) S 408 410 32614 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=415] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/415/stat : 415 (java) S 408 410 32614 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 168876514 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=416] ppid=408 vsize=915536 CPUtime=0.31
/proc/410/task/416/stat : 416 (java) S 408 410 32614 0 -1 64 451 0 0 0 29 2 0 0 16 0 8 0 168876514 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=417] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/417/stat : 417 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 168876514 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=418] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/418/stat : 418 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168876514 937508864 12021 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915536
[startup+6.26649 s]
/proc/loadavg: 1.99 1.35 1.12 3/89 418
/proc/meminfo: memFree=1597792/2055920 swapFree=4184496/4192956
[pid=410] ppid=408 vsize=915536 CPUtime=6.18
/proc/410/stat : 410 (java) R 408 410 32614 0 -1 0 12297 0 1 0 606 12 0 0 25 0 8 0 168876506 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074008922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/410/statm: 228884 12030 2544 14 0 215354 0
[pid=410/tid=412] ppid=408 vsize=915536 CPUtime=0.04
/proc/410/task/412/stat : 412 (java) S 408 410 32614 0 -1 64 348 0 0 0 4 0 0 0 16 0 8 0 168876510 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=413] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/413/stat : 413 (java) S 408 410 32614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=414] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/414/stat : 414 (java) S 408 410 32614 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=415] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/415/stat : 415 (java) S 408 410 32614 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=416] ppid=408 vsize=915536 CPUtime=0.32
/proc/410/task/416/stat : 416 (java) S 408 410 32614 0 -1 64 459 0 0 0 30 2 0 0 15 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=417] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/417/stat : 417 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=418] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/418/stat : 418 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915536
[startup+12.7543 s]
/proc/loadavg: 1.99 1.37 1.13 3/89 418
/proc/meminfo: memFree=1597792/2055920 swapFree=4184496/4192956
[pid=410] ppid=408 vsize=915536 CPUtime=12.58
/proc/410/stat : 410 (java) R 408 410 32614 0 -1 0 12297 0 1 0 1246 12 0 0 25 0 8 0 168876506 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/410/statm: 228884 12030 2544 14 0 215354 0
[pid=410/tid=412] ppid=408 vsize=915536 CPUtime=0.04
/proc/410/task/412/stat : 412 (java) S 408 410 32614 0 -1 64 348 0 0 0 4 0 0 0 16 0 8 0 168876510 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=413] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/413/stat : 413 (java) S 408 410 32614 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=414] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/414/stat : 414 (java) S 408 410 32614 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168876511 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=415] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/415/stat : 415 (java) S 408 410 32614 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=416] ppid=408 vsize=915536 CPUtime=0.33
/proc/410/task/416/stat : 416 (java) S 408 410 32614 0 -1 64 459 0 0 0 31 2 0 0 17 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=417] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/417/stat : 417 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=410/tid=418] ppid=408 vsize=915536 CPUtime=0
/proc/410/task/418/stat : 418 (java) S 408 410 32614 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168876514 937508864 12030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915536
Child status: 0
Real time (s): 22.9889
CPU time (s): 22.7125
CPU user time (s): 22.5806
CPU system time (s): 0.131979
CPU usage (%): 98.7978
Max. virtual memory (cumulated for all children) (KiB): 915536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.5806
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12305
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= 1956
involuntary context switches= 2584
runsolver used 0.026995 s user time and 0.084987 s system time
The end
Begin job on node75 on Sun Jan 7 21:19:31 UTC 2007
IDJOB= 211056
IDBENCH= 4665
FILE ID= node75/211056-1168204771
PBS_JOBID= 3480775
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/44s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211056-1168204771/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-211056-1168204771 -o ROOT/results/node75/solver-211056-1168204771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211056-1168204771/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c15b80e078b6e0c44dde79342583e0d7
RANDOM SEED= 477287759
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1636664 kB
Buffers: 61740 kB
Cached: 222812 kB
SwapCached: 2680 kB
Active: 172768 kB
Inactive: 189432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636664 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 5524 kB
Writeback: 0 kB
Mapped: 92652 kB
Slab: 42100 kB
Committed_AS: 4456536 kB
PageTables: 2024 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= 66558 MiB
End job on node75 on Sun Jan 7 21:19:54 UTC 2007