0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.36 instance
0.36 name=/tmp/evaluation/213208-1168225456/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.134 cpuTime=0.11 mem=7M50
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
0.78 nbConstraints=880 nbConvertedConstraints=200 nbConvertConstraintsChecks=12 nbExtensionStructures=1
0.78 nbSharedExtensionStructures=199 nbConflictsStructures=2 nbSharedConflictsStructures=878
0.78 nbSharedBinaryRepresentations=2 nbEvaluationManagers=1 nbSharedEvaluationManagers=679 maxDegree=8 maxArity=3
0.78 => wckTime=0.451 cpuTime=0.31 mem=12M901
0.82
0.82 solver IterativeSystematicSolver being built...
1.04 => wckTime=0.717 cpuTime=0.49 mem=19M759
1.15
1.15 preprocessing
1.15 nbConstraintChecks=1767 nbValidityChecks=207 nbPropagations=1342 nbRevisions=1500 nbUselessRevisions=960
1.15 nbSingletonTests=457 nbEffectiveSingletonTests=0 nbESACBranches=15 nbRemovedValues=0 detectedInconsistency=no
1.15 => wckTime=0.106 cpuTime=0.07 mem=19M759
1.19
1.19 search
1.19 run=0 nbConstraintChecks=623 nbValidityChecks=202 nbPropagations=1597 nbRevisions=2093 nbUselessRevisions=1301
1.19 nbAssignments=83 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=90 nbRestartNogoods=0 mapSize=5
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.15 cpuTime=0.11 mem=20M800
1.22
1.22 search
1.22 run=1 nbConstraintChecks=1226 nbValidityChecks=438 nbPropagations=3451 nbRevisions=4779
1.22 nbUselessRevisions=2944 nbAssignments=183 nbFailedAssignments=7 nbBacktracks=37 nbVisitedNodes=195
1.22 nbRestartNogoods=1 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.174 cpuTime=0.13 mem=20M800
1.25
1.25 search
1.25 run=2 nbConstraintChecks=2308 nbValidityChecks=1068 nbPropagations=5836 nbRevisions=8613
1.25 nbUselessRevisions=5265 nbAssignments=391 nbFailedAssignments=13 nbBacktracks=92 nbVisitedNodes=325
1.25 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.207 cpuTime=0.15 mem=20M800
1.27
1.27 search
1.27 run=3 nbConstraintChecks=3658 nbValidityChecks=1996 nbPropagations=8802 nbRevisions=14034
1.27 nbUselessRevisions=8564 nbAssignments=522 nbFailedAssignments=19 nbBacktracks=135 nbVisitedNodes=467
1.27 nbRestartNogoods=5 mapSize=28 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.231 cpuTime=0.17 mem=20M800
1.30
1.30 search
1.30 run=4 nbConstraintChecks=5871 nbValidityChecks=3869 nbPropagations=12959 nbRevisions=22370
1.30 nbUselessRevisions=13585 nbAssignments=752 nbFailedAssignments=29 nbBacktracks=186 nbVisitedNodes=587
1.30 nbRestartNogoods=8 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.256 cpuTime=0.2 mem=20M800
1.33
1.33 search
1.33 run=5 nbConstraintChecks=6788 nbValidityChecks=4565 nbPropagations=17541 nbRevisions=31743
1.33 nbUselessRevisions=19215 nbAssignments=923 nbFailedAssignments=34 nbBacktracks=295 nbVisitedNodes=761
1.33 nbRestartNogoods=11 mapSize=53 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.286 cpuTime=0.22 mem=20M800
1.37
1.37 search
1.37 run=6 nbConstraintChecks=8514 nbValidityChecks=6139 nbPropagations=23076 nbRevisions=43515
1.37 nbUselessRevisions=26288 nbAssignments=1173 nbFailedAssignments=44 nbBacktracks=416 nbVisitedNodes=974
1.37 nbRestartNogoods=14 mapSize=71 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.329 cpuTime=0.26 mem=20M800
1.42
1.42 search
1.42 run=7 nbConstraintChecks=10744 nbValidityChecks=8082 nbPropagations=29791 nbRevisions=58196
1.42 nbUselessRevisions=35017 nbAssignments=1430 nbFailedAssignments=62 nbBacktracks=610 nbVisitedNodes=1266
1.42 nbRestartNogoods=16 mapSize=104 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.373 cpuTime=0.3 mem=20M800
1.49
1.49 search
1.49 run=8 nbConstraintChecks=14740 nbValidityChecks=11931 nbPropagations=38519 nbRevisions=78333
1.49 nbUselessRevisions=47024 nbAssignments=1765 nbFailedAssignments=85 nbBacktracks=872 nbVisitedNodes=1644
1.49 nbRestartNogoods=18 mapSize=145 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.441 cpuTime=0.36 mem=20M800
1.58
1.58 search
1.58 run=9 nbConstraintChecks=22355 nbValidityChecks=19685 nbPropagations=50967 nbRevisions=109296
1.58 nbUselessRevisions=65743 nbAssignments=2244 nbFailedAssignments=142 nbBacktracks=1256 nbVisitedNodes=2227
1.58 nbRestartNogoods=20 mapSize=245 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.534 cpuTime=0.44 mem=20M800
1.71
1.71 search
1.71 run=10 nbConstraintChecks=30757 nbValidityChecks=27839 nbPropagations=67588 nbRevisions=151525
1.71 nbUselessRevisions=91170 nbAssignments=2960 nbFailedAssignments=208 nbBacktracks=1841 nbVisitedNodes=3051
1.71 nbRestartNogoods=24 mapSize=387 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.665 cpuTime=0.56 mem=20M800
1.90
1.90 search
1.90 run=11 nbConstraintChecks=54572 nbValidityChecks=50894 nbPropagations=97000 nbRevisions=225837
1.90 nbUselessRevisions=135138 nbAssignments=4108 nbFailedAssignments=471 nbBacktracks=2705 nbVisitedNodes=4704
1.90 nbRestartNogoods=26 mapSize=884 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.855 cpuTime=0.75 mem=21M775
1.98
1.98 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=21M775)
2.16
2.16 search
2.16 run=12 nbConstraintChecks=101386 nbValidityChecks=103491 nbPropagations=150443 nbRevisions=373644
2.16 nbUselessRevisions=225960 nbAssignments=5756 nbFailedAssignments=782 nbBacktracks=4002 nbVisitedNodes=6993
2.16 nbRestartNogoods=34
2.16 => wckTime=1.119 cpuTime=1.01 mem=21M775
2.51
2.51 search
2.51 run=13 nbConstraintChecks=169959 nbValidityChecks=183499 nbPropagations=238838 nbRevisions=631717
2.51 nbUselessRevisions=388496 nbAssignments=8235 nbFailedAssignments=1208 nbBacktracks=5959 nbVisitedNodes=10199
2.51 nbRestartNogoods=41
2.51 => wckTime=1.471 cpuTime=1.36 mem=21M775
2.99
2.99 search
2.99 run=14 nbConstraintChecks=252833 nbValidityChecks=274993 nbPropagations=370150 nbRevisions=1017615
2.99 nbUselessRevisions=631433 nbAssignments=11884 nbFailedAssignments=1845 nbBacktracks=8880 nbVisitedNodes=14917
2.99 nbRestartNogoods=47
2.99 => wckTime=1.943 cpuTime=1.82 mem=21M775
3.74
3.74 search
3.74 run=15 nbConstraintChecks=405183 nbValidityChecks=456899 nbPropagations=580073 nbRevisions=1656658
3.74 nbUselessRevisions=1041371 nbAssignments=17046 nbFailedAssignments=2582 nbBacktracks=13262 nbVisitedNodes=21686
3.74 nbRestartNogoods=53
3.74 => wckTime=2.7 cpuTime=2.57 mem=21M775
4.81
4.81 search
4.81 run=16 nbConstraintChecks=593967 nbValidityChecks=664309 nbPropagations=891676 nbRevisions=2581427
4.81 nbUselessRevisions=1626923 nbAssignments=24965 nbFailedAssignments=3892 nbBacktracks=19835 nbVisitedNodes=32229
4.81 nbRestartNogoods=60
4.81 => wckTime=3.764 cpuTime=3.62 mem=21M775
6.31
6.31 search
6.31 run=17 nbConstraintChecks=841572 nbValidityChecks=952610 nbPropagations=1333948 nbRevisions=3898035
6.31 nbUselessRevisions=2460932 nbAssignments=37008 nbFailedAssignments=5909 nbBacktracks=29714 nbVisitedNodes=48431
6.31 nbRestartNogoods=69
6.31 => wckTime=5.27 cpuTime=5.11 mem=21M775
8.84
8.84 search
8.84 run=18 nbConstraintChecks=1314361 nbValidityChecks=1479025 nbPropagations=2021696 nbRevisions=5935585
8.84 nbUselessRevisions=3745199 nbAssignments=55230 nbFailedAssignments=9324 nbBacktracks=44492 nbVisitedNodes=73315
8.84 nbRestartNogoods=71
8.84 => wckTime=7.801 cpuTime=7.62 mem=21M775
12.62
12.62 search
12.62 run=19 nbConstraintChecks=2035639 nbValidityChecks=2314176 nbPropagations=3087383 nbRevisions=9119070
12.62 nbUselessRevisions=5758729 nbAssignments=81761 nbFailedAssignments=13624 nbBacktracks=66665
12.62 nbVisitedNodes=108097 nbRestartNogoods=77
12.62 => wckTime=11.58 cpuTime=11.37 mem=21M775
18.17
18.17 search
18.17 run=20 nbConstraintChecks=3076959 nbValidityChecks=3523960 nbPropagations=4694976 nbRevisions=13950550
18.17 nbUselessRevisions=8819750 nbAssignments=121936 nbFailedAssignments=20519 nbBacktracks=99919
18.17 nbVisitedNodes=160993 nbRestartNogoods=81
18.17 => wckTime=17.127 cpuTime=16.86 mem=21M775
26.11
26.11 search
26.11 run=21 nbConstraintChecks=4519696 nbValidityChecks=5149556 nbPropagations=7057451 nbRevisions=21008098
26.11 nbUselessRevisions=13276739 nbAssignments=181497 nbFailedAssignments=30172 nbBacktracks=149797
26.11 nbVisitedNodes=239215 nbRestartNogoods=92
26.11 => wckTime=25.063 cpuTime=24.72 mem=21M775
38.40
38.40 search
38.40 run=22 nbConstraintChecks=6831144 nbValidityChecks=7858455 nbPropagations=10630258 nbRevisions=31788108
38.40 nbUselessRevisions=20121030 nbAssignments=270045 nbFailedAssignments=43871 nbBacktracks=224617
38.40 nbVisitedNodes=354506 nbRestartNogoods=100
38.40 => wckTime=37.355 cpuTime=36.91 mem=21M775
52.79
52.79 search
52.80 run=23 nbConstraintChecks=9249261 nbValidityChecks=10617430 nbPropagations=15490634 nbRevisions=46341927
52.80 nbUselessRevisions=29323281 nbAssignments=383246 nbFailedAssignments=60979 nbBacktracks=320310
52.80 nbVisitedNodes=501826 nbRestartNogoods=109
52.80 => wckTime=51.752 cpuTime=51.17 mem=21M775
52.80
52.80 global
52.80 nbConstraintChecks=9251028 nbValidityChecks=10617637 nbPropagations=15491976 nbRevisions=46343427
52.80 nbUselessRevisions=29324241 nbRestartNogoods=109 solvingWckTime=51.753 solvingCpuTime=51.17 expiredTime=no
52.80 totalExploration=no nbFoundSolutions=1 globalCpuTime=51.71
52.80 => wckTime=52.472 cpuTime=51.66 mem=21M775
52.80
52.80 s SATISFIABLE
52.80 v 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0
52.80 d NODES 383246
52.80 d CHECKS 9251028
52.80
52.80 totalWckTime=52.553 totalCpuTime=51.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-213208-1168225456 -o ROOT/results/node9/solver-213208-1168225456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213208-1168225456/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.27 1.78 1.92 4/89 6258
/proc/meminfo: memFree=1637680/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=18540 CPUtime=0
/proc/6257/stat : 6257 (runsolver) R 6255 6257 3521 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170941932 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6257/statm: 4635 279 244 17 0 2626 0
[startup+0.103851 s]
/proc/loadavg: 1.27 1.78 1.92 4/89 6258
/proc/meminfo: memFree=1637680/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=913068 CPUtime=0.07
/proc/6257/stat : 6257 (java) S 6255 6257 3521 0 -1 0 2858 0 1 0 6 1 0 0 17 0 8 0 170941932 934981632 2604 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228267 2604 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.514895 s]
/proc/loadavg: 1.27 1.78 1.92 4/89 6258
/proc/meminfo: memFree=1637680/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915328 CPUtime=0.48
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 6350 0 1 0 43 5 0 0 18 0 8 0 170941932 937295872 6089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228832 6089 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33598 s]
/proc/loadavg: 1.27 1.78 1.92 3/96 6265
/proc/meminfo: memFree=1608952/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=1.29
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10088 0 1 0 117 12 0 0 24 0 8 0 170941932 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073934510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 9826 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.27
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 422 0 0 0 25 2 0 0 15 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 9826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915576
[startup+2.97317 s]
/proc/loadavg: 1.27 1.78 1.92 3/96 6265
/proc/meminfo: memFree=1607352/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=2.91
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10324 0 1 0 279 12 0 0 25 0 8 0 170941932 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10061 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 17 0 8 0 170941936 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 442 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915576
[startup+6.25955 s]
/proc/loadavg: 1.33 1.78 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=6.16
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10333 0 1 0 604 12 0 0 25 0 8 0 170941932 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073933703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10069 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 442 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10069 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915576
[startup+12.7413 s]
/proc/loadavg: 1.38 1.79 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=12.59
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10342 0 1 0 1247 12 0 0 25 0 8 0 170941932 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10078 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 443 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915576
[startup+25.6177 s]
/proc/loadavg: 1.52 1.80 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=25.34
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10345 0 1 0 2522 12 0 0 25 0 8 0 170941932 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10081 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.31
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 443 0 0 0 29 2 0 0 16 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915576
[startup+51.2336 s]
/proc/loadavg: 1.68 1.81 1.92 3/96 6265
/proc/meminfo: memFree=1607288/2055920 swapFree=4191880/4192956
[pid=6257] ppid=6255 vsize=915576 CPUtime=50.73
/proc/6257/stat : 6257 (java) R 6255 6257 3521 0 -1 0 10351 0 1 0 5060 13 0 0 25 0 8 0 170941932 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6257/statm: 228894 10086 2543 14 0 215364 0
[pid=6257/tid=6259] ppid=6255 vsize=915576 CPUtime=0.03
/proc/6257/task/6259/stat : 6259 (java) S 6255 6257 3521 0 -1 64 277 0 0 0 3 0 0 0 16 0 8 0 170941936 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6260] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6260/stat : 6260 (java) S 6255 6257 3521 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 170941937 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6261] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6261/stat : 6261 (java) S 6255 6257 3521 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170941937 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6262] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6262/stat : 6262 (java) S 6255 6257 3521 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6263] ppid=6255 vsize=915576 CPUtime=0.32
/proc/6257/task/6263/stat : 6263 (java) S 6255 6257 3521 0 -1 64 443 0 0 0 30 2 0 0 16 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6264] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6264/stat : 6264 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6257/tid=6265] ppid=6255 vsize=915576 CPUtime=0
/proc/6257/task/6265/stat : 6265 (java) S 6255 6257 3521 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170941940 937549824 10086 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 52.8256
CPU time (s): 52.2991
CPU user time (s): 52.1611
CPU system time (s): 0.137979
CPU usage (%): 99.0033
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.1611
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10445
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= 2452
involuntary context switches= 3710
runsolver used 0.068989 s user time and 0.177972 s system time
The end
Begin job on node9 on Mon Jan 8 03:04:20 UTC 2007
IDJOB= 213208
IDBENCH= 4830
FILE ID= node9/213208-1168225456
PBS_JOBID= 3480680
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-3-4-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213208-1168225456/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-213208-1168225456 -o ROOT/results/node9/solver-213208-1168225456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213208-1168225456/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a16c1eeb11da6903bcb4f27b8ea1be99
RANDOM SEED= 106540508
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.231
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.231
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: 1638224 kB
Buffers: 51168 kB
Cached: 222124 kB
SwapCached: 408 kB
Active: 153360 kB
Inactive: 188952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638224 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1860 kB
Writeback: 0 kB
Mapped: 81812 kB
Slab: 59988 kB
Committed_AS: 4797916 kB
PageTables: 2316 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= 66544 MiB
End job on node9 on Mon Jan 8 03:05:26 UTC 2007