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/213286-1168225563/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.42 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.125 cpuTime=0.11 mem=7M50
0.42
0.42 predicates being loaded...
0.43
0.43 constraints being loaded...
0.68 nbConstraints=600 nbConvertedConstraints=201 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.68 nbSharedExtensionStructures=199 nbConflictsStructures=3 nbSharedConflictsStructures=597
0.68 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=398 maxDegree=4 maxArity=3
0.68 => wckTime=0.378 cpuTime=0.28 mem=11M926
0.72
0.72 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.619 cpuTime=0.45 mem=18M763
1.01
1.01 preprocessing
1.01 nbConstraintChecks=1469 nbValidityChecks=108 nbPropagations=1278 nbRevisions=1153 nbUselessRevisions=694
1.01 nbSingletonTests=451 nbEffectiveSingletonTests=0 nbESACBranches=12 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.085 cpuTime=0.06 mem=18M763
1.05
1.05 search
1.05 run=0 nbConstraintChecks=347 nbValidityChecks=78 nbPropagations=1469 nbRevisions=1434 nbUselessRevisions=818
1.05 nbAssignments=124 nbFailedAssignments=4 nbBacktracks=15 nbVisitedNodes=131 nbRestartNogoods=0 mapSize=2
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.128 cpuTime=0.09 mem=18M763
1.08
1.08 search
1.08 run=1 nbConstraintChecks=885 nbValidityChecks=291 nbPropagations=3332 nbRevisions=3352 nbUselessRevisions=1916
1.08 nbAssignments=403 nbFailedAssignments=8 nbBacktracks=37 nbVisitedNodes=218 nbRestartNogoods=4 mapSize=6
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.158 cpuTime=0.11 mem=18M763
1.10
1.10 search
1.10 run=2 nbConstraintChecks=1482 nbValidityChecks=526 nbPropagations=5525 nbRevisions=5803
1.10 nbUselessRevisions=3256 nbAssignments=545 nbFailedAssignments=16 nbBacktracks=62 nbVisitedNodes=345
1.10 nbRestartNogoods=6 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.18 cpuTime=0.13 mem=18M763
1.13
1.13 search
1.13 run=3 nbConstraintChecks=2644 nbValidityChecks=1207 nbPropagations=8412 nbRevisions=9419
1.13 nbUselessRevisions=5191 nbAssignments=825 nbFailedAssignments=31 nbBacktracks=109 nbVisitedNodes=494
1.13 nbRestartNogoods=10 mapSize=33 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.213 cpuTime=0.16 mem=18M763
1.15
1.15 search
1.15 run=4 nbConstraintChecks=3473 nbValidityChecks=1600 nbPropagations=11771 nbRevisions=13829
1.15 nbUselessRevisions=7448 nbAssignments=919 nbFailedAssignments=44 nbBacktracks=160 nbVisitedNodes=611
1.15 nbRestartNogoods=11 mapSize=52 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.233 cpuTime=0.18 mem=18M763
1.21
1.21 search
1.21 run=5 nbConstraintChecks=4814 nbValidityChecks=2271 nbPropagations=15830 nbRevisions=19608
1.21 nbUselessRevisions=10390 nbAssignments=1180 nbFailedAssignments=60 nbBacktracks=237 nbVisitedNodes=894
1.21 nbRestartNogoods=15 mapSize=79 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.286 cpuTime=0.22 mem=18M763
1.25
1.25 search
1.25 run=6 nbConstraintChecks=7611 nbValidityChecks=4087 nbPropagations=21506 nbRevisions=28472
1.25 nbUselessRevisions=14849 nbAssignments=1505 nbFailedAssignments=86 nbBacktracks=355 nbVisitedNodes=1168
1.25 nbRestartNogoods=19 mapSize=121 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.332 cpuTime=0.27 mem=18M763
1.31
1.31 search
1.31 run=7 nbConstraintChecks=10381 nbValidityChecks=5971 nbPropagations=28721 nbRevisions=40307
1.31 nbUselessRevisions=20709 nbAssignments=1835 nbFailedAssignments=129 nbBacktracks=531 nbVisitedNodes=1573
1.31 nbRestartNogoods=22 mapSize=197 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.389 cpuTime=0.32 mem=18M763
1.37
1.37 search
1.37 run=8 nbConstraintChecks=14763 nbValidityChecks=8929 nbPropagations=38219 nbRevisions=56652
1.37 nbUselessRevisions=28746 nbAssignments=2210 nbFailedAssignments=209 nbBacktracks=787 nbVisitedNodes=2081
1.37 nbRestartNogoods=27 mapSize=336 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.445 cpuTime=0.37 mem=18M763
1.45
1.45 search
1.45 run=9 nbConstraintChecks=21986 nbValidityChecks=13791 nbPropagations=51785 nbRevisions=80443
1.45 nbUselessRevisions=40149 nbAssignments=2844 nbFailedAssignments=364 nbBacktracks=1198 nbVisitedNodes=2990
1.45 nbRestartNogoods=32 mapSize=629 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.535 cpuTime=0.45 mem=18M763
1.58
1.58 search
1.58 run=10 nbConstraintChecks=31841 nbValidityChecks=21850 nbPropagations=70629 nbRevisions=116094
1.58 nbUselessRevisions=57904 nbAssignments=3632 nbFailedAssignments=533 nbBacktracks=1775 nbVisitedNodes=4105
1.58 nbRestartNogoods=35 mapSize=966 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.664 cpuTime=0.57 mem=19M738
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=19M738)
1.73
1.73 search
1.73 run=11 nbConstraintChecks=62077 nbValidityChecks=44723 nbPropagations=107095 nbRevisions=186533
1.73 nbUselessRevisions=92452 nbAssignments=4807 nbFailedAssignments=815 nbBacktracks=2641 nbVisitedNodes=5821
1.73 nbRestartNogoods=40
1.73 => wckTime=0.811 cpuTime=0.72 mem=19M738
1.90
1.90 search
1.90 run=12 nbConstraintChecks=87683 nbValidityChecks=64474 nbPropagations=157815 nbRevisions=286649
1.90 nbUselessRevisions=141992 nbAssignments=6540 nbFailedAssignments=1221 nbBacktracks=3941 nbVisitedNodes=8357
1.90 nbRestartNogoods=44
1.90 => wckTime=0.979 cpuTime=0.89 mem=19M738
2.13
2.13 search
2.13 run=13 nbConstraintChecks=118419 nbValidityChecks=87001 nbPropagations=225571 nbRevisions=419972
2.13 nbUselessRevisions=207228 nbAssignments=9007 nbFailedAssignments=1728 nbBacktracks=5893 nbVisitedNodes=11862
2.13 nbRestartNogoods=52
2.13 => wckTime=1.212 cpuTime=1.12 mem=19M738
2.49
2.49 search
2.49 run=14 nbConstraintChecks=164950 nbValidityChecks=125320 nbPropagations=319509 nbRevisions=609432
2.49 nbUselessRevisions=301730 nbAssignments=12686 nbFailedAssignments=2453 nbBacktracks=8816 nbVisitedNodes=16939
2.49 nbRestartNogoods=56
2.49 => wckTime=1.569 cpuTime=1.47 mem=19M738
3.03
3.03 search
3.03 run=15 nbConstraintChecks=243521 nbValidityChecks=188210 nbPropagations=459264 nbRevisions=894700
3.03 nbUselessRevisions=445219 nbAssignments=18086 nbFailedAssignments=3426 nbBacktracks=13200 nbVisitedNodes=24255
3.03 nbRestartNogoods=61
3.03 => wckTime=2.115 cpuTime=2.01 mem=19M738
3.87
3.87 search
3.87 run=16 nbConstraintChecks=371536 nbValidityChecks=294864 nbPropagations=673728 nbRevisions=1339666
3.87 nbUselessRevisions=671717 nbAssignments=26057 nbFailedAssignments=4790 nbBacktracks=19770 nbVisitedNodes=34944
3.87 nbRestartNogoods=67
3.87 => wckTime=2.949 cpuTime=2.85 mem=19M738
5.17
5.17 search
5.17 run=17 nbConstraintChecks=574502 nbValidityChecks=453493 nbPropagations=1005712 nbRevisions=2024573
5.17 nbUselessRevisions=1017982 nbAssignments=38449 nbFailedAssignments=7309 nbBacktracks=29628 nbVisitedNodes=52174
5.17 nbRestartNogoods=71
5.17 => wckTime=4.251 cpuTime=4.15 mem=19M738
7.03
7.03 search
7.03 run=18 nbConstraintChecks=849297 nbValidityChecks=680427 nbPropagations=1494850 nbRevisions=3050247
7.03 nbUselessRevisions=1543363 nbAssignments=57239 nbFailedAssignments=11246 nbBacktracks=44407
7.03 nbVisitedNodes=78741 nbRestartNogoods=77
7.03 => wckTime=6.113 cpuTime=6.01 mem=19M738
9.81
9.82 search
9.82 run=19 nbConstraintChecks=1233568 nbValidityChecks=964291 nbPropagations=2207781 nbRevisions=4506830
9.82 nbUselessRevisions=2271832 nbAssignments=84939 nbFailedAssignments=16605 nbBacktracks=66575
9.82 nbVisitedNodes=116989 nbRestartNogoods=92
9.82 => wckTime=8.895 cpuTime=8.79 mem=19M738
14.44
14.44 search
14.44 run=20 nbConstraintChecks=2099539 nbValidityChecks=1768811 nbPropagations=3423501 nbRevisions=7218311
14.44 nbUselessRevisions=3730902 nbAssignments=128218 nbFailedAssignments=26566 nbBacktracks=99827
14.44 nbVisitedNodes=178965 nbRestartNogoods=102
14.44 => wckTime=13.516 cpuTime=13.41 mem=19M738
18.34
18.34 search
18.34 run=21 nbConstraintChecks=2592319 nbValidityChecks=2194530 nbPropagations=4923029 nbRevisions=10598482
18.34 nbUselessRevisions=5568893 nbAssignments=170254 nbFailedAssignments=33138 nbBacktracks=134849
18.34 nbVisitedNodes=233725 nbRestartNogoods=118
18.34 => wckTime=17.418 cpuTime=17.31 mem=19M738
18.34
18.34 global
18.34 nbConstraintChecks=2593788 nbValidityChecks=2194638 nbPropagations=4924307 nbRevisions=10599635
18.34 nbUselessRevisions=5569587 nbRestartNogoods=118 solvingWckTime=17.419 solvingCpuTime=17.31 expiredTime=no
18.34 totalExploration=no nbFoundSolutions=1 globalCpuTime=17.8
18.34 => wckTime=18.04 cpuTime=17.76 mem=19M738
18.34
18.34 s SATISFIABLE
18.34 v 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1
18.34 d NODES 170254
18.34 d CHECKS 2593788
18.34
18.34 totalWckTime=18.116 totalCpuTime=17.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-213286-1168225563 -o ROOT/results/node62/solver-213286-1168225563 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213286-1168225563/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.10 0.79 1.68 4/68 16278
/proc/meminfo: memFree=1851800/2055920 swapFree=4192812/4192956
[pid=16277] ppid=16275 vsize=292 CPUtime=0
/proc/16277/stat : 16277 (java) R 16275 16277 16084 0 -1 0 52 0 0 0 0 0 0 0 19 0 1 0 170955203 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 8106788 0 0 4096 0 0 0 0 17 1 0 0
/proc/16277/statm: 73 37 29 14 0 5 0
[startup+0.102766 s]
/proc/loadavg: 0.10 0.79 1.68 4/68 16278
/proc/meminfo: memFree=1851800/2055920 swapFree=4192812/4192956
[pid=16277] ppid=16275 vsize=914988 CPUtime=0.08
/proc/16277/stat : 16277 (java) R 16275 16277 16084 0 -1 0 3023 0 1 0 7 1 0 0 16 0 8 0 170955203 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153610137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16277/statm: 228747 2770 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510845 s]
/proc/loadavg: 0.10 0.79 1.68 4/68 16278
/proc/meminfo: memFree=1851800/2055920 swapFree=4192812/4192956
[pid=16277] ppid=16275 vsize=915328 CPUtime=0.48
/proc/16277/stat : 16277 (java) R 16275 16277 16084 0 -1 0 6543 0 1 0 45 3 0 0 16 0 8 0 170955203 937295872 6282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073583534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16277/statm: 228832 6282 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33301 s]
/proc/loadavg: 0.10 0.79 1.68 2/75 16285
/proc/meminfo: memFree=1823968/2055920 swapFree=4192812/4192956
[pid=16277] ppid=16275 vsize=915572 CPUtime=1.3
/proc/16277/stat : 16277 (java) R 16275 16277 16084 0 -1 0 9739 0 1 0 121 9 0 0 17 0 8 0 170955203 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16277/statm: 228893 9477 2543 14 0 215363 0
[pid=16277/tid=16279] ppid=16275 vsize=915572 CPUtime=0.03
/proc/16277/task/16279/stat : 16279 (java) S 16275 16277 16084 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 170955206 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16280] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16280/stat : 16280 (java) S 16275 16277 16084 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16281] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16281/stat : 16281 (java) S 16275 16277 16084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16282] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16282/stat : 16282 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170955210 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16283] ppid=16275 vsize=915572 CPUtime=0.24
/proc/16277/task/16283/stat : 16283 (java) S 16275 16277 16084 0 -1 64 423 0 0 0 23 1 0 0 16 0 8 0 170955210 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16284] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16284/stat : 16284 (java) S 16275 16277 16084 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170955210 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16285] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16285/stat : 16285 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170955210 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915572
[startup+2.97633 s]
/proc/loadavg: 0.10 0.79 1.68 2/75 16285
/proc/meminfo: memFree=1823264/2055920 swapFree=4192812/4192956
[pid=16277] ppid=16275 vsize=915572 CPUtime=2.93
/proc/16277/stat : 16277 (java) R 16275 16277 16084 0 -1 0 9834 0 1 0 284 9 0 0 18 0 8 0 170955203 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16277/statm: 228893 9571 2543 14 0 215363 0
[pid=16277/tid=16279] ppid=16275 vsize=915572 CPUtime=0.03
/proc/16277/task/16279/stat : 16279 (java) S 16275 16277 16084 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 170955206 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16280] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16280/stat : 16280 (java) S 16275 16277 16084 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16281] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16281/stat : 16281 (java) S 16275 16277 16084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16282] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16282/stat : 16282 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170955210 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16283] ppid=16275 vsize=915572 CPUtime=0.26
/proc/16277/task/16283/stat : 16283 (java) S 16275 16277 16084 0 -1 64 434 0 0 0 25 1 0 0 16 0 8 0 170955210 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16284] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16284/stat : 16284 (java) S 16275 16277 16084 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170955210 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16285] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16285/stat : 16285 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170955210 937545728 9571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915572
[startup+6.26298 s]
/proc/loadavg: 0.18 0.79 1.68 2/75 16285
/proc/meminfo: memFree=1823200/2055920 swapFree=4192812/4192956
[pid=16277] ppid=16275 vsize=915572 CPUtime=6.22
/proc/16277/stat : 16277 (java) R 16275 16277 16084 0 -1 0 9842 0 1 0 613 9 0 0 25 0 8 0 170955203 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955245 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16277/statm: 228893 9579 2543 14 0 215363 0
[pid=16277/tid=16279] ppid=16275 vsize=915572 CPUtime=0.03
/proc/16277/task/16279/stat : 16279 (java) S 16275 16277 16084 0 -1 64 236 0 0 0 3 0 0 0 17 0 8 0 170955206 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16280] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16280/stat : 16280 (java) S 16275 16277 16084 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16281] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16281/stat : 16281 (java) S 16275 16277 16084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16282] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16282/stat : 16282 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170955210 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16283] ppid=16275 vsize=915572 CPUtime=0.27
/proc/16277/task/16283/stat : 16283 (java) S 16275 16277 16084 0 -1 64 435 0 0 0 26 1 0 0 16 0 8 0 170955210 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16284] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16284/stat : 16284 (java) S 16275 16277 16084 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170955210 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16285] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16285/stat : 16285 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170955210 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915572
[startup+12.7393 s]
/proc/loadavg: 0.24 0.80 1.68 2/75 16285
/proc/meminfo: memFree=1823200/2055920 swapFree=4192812/4192956
[pid=16277] ppid=16275 vsize=915572 CPUtime=12.69
/proc/16277/stat : 16277 (java) R 16275 16277 16084 0 -1 0 9849 0 1 0 1260 9 0 0 25 0 8 0 170955203 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16277/statm: 228893 9585 2543 14 0 215363 0
[pid=16277/tid=16279] ppid=16275 vsize=915572 CPUtime=0.03
/proc/16277/task/16279/stat : 16279 (java) S 16275 16277 16084 0 -1 64 236 0 0 0 3 0 0 0 16 0 8 0 170955206 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16280] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16280/stat : 16280 (java) S 16275 16277 16084 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16281] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16281/stat : 16281 (java) S 16275 16277 16084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170955207 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16282] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16282/stat : 16282 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170955210 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16283] ppid=16275 vsize=915572 CPUtime=0.27
/proc/16277/task/16283/stat : 16283 (java) S 16275 16277 16084 0 -1 64 435 0 0 0 26 1 0 0 16 0 8 0 170955210 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16277/tid=16284] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16284/stat : 16284 (java) S 16275 16277 16084 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 170955210 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16277/tid=16285] ppid=16275 vsize=915572 CPUtime=0
/proc/16277/task/16285/stat : 16285 (java) S 16275 16277 16084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170955210 937545728 9585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915572
Child status: 0
Real time (s): 18.3941
CPU time (s): 18.3172
CPU user time (s): 18.2082
CPU system time (s): 0.108983
CPU usage (%): 99.582
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2082
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9949
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= 1379
involuntary context switches= 635
runsolver used 0.023996 s user time and 0.053991 s system time
The end
Begin job on node62 on Mon Jan 8 03:06:10 UTC 2007
IDJOB= 213286
IDBENCH= 4836
FILE ID= node62/213286-1168225563
PBS_JOBID= 3481041
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-2-0-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213286-1168225563/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-213286-1168225563 -o ROOT/results/node62/solver-213286-1168225563 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213286-1168225563/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8bf9f13f53dd1c43cd9727842350cd12
RANDOM SEED= 358230470
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: 1851384 kB
Buffers: 33928 kB
Cached: 96496 kB
SwapCached: 0 kB
Active: 78980 kB
Inactive: 71584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1851384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2604 kB
Writeback: 0 kB
Mapped: 30336 kB
Slab: 39640 kB
Committed_AS: 3507016 kB
PageTables: 1684 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 node62 on Mon Jan 8 03:06:40 UTC 2007