0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/198508-1168128973/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=15 nbDomainTypes=1 minDomainSize=14 maxDomainSize=14
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.41
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.51 nbConstraints=105 nbConvertedConstraints=105 nbConvertConstraintsChecks=196 nbExtensionStructures=1
0.51 nbSharedExtensionStructures=104 nbConflictsStructures=1 nbSharedConflictsStructures=104
0.51 nbSharedBinaryRepresentations=14 maxDegree=14 maxArity=2
0.51 => wckTime=0.188 cpuTime=0.16 mem=7M943
0.54
0.54 solver IterativeSystematicSolver being built...
0.70 => wckTime=0.388 cpuTime=0.31 mem=13M324
0.73
0.73 preprocessing
0.73 nbConstraintChecks=2030 nbPropagations=247 nbRevisions=210 nbUselessRevisions=0 nbSingletonTests=26
0.73 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.73 => wckTime=0.024 cpuTime=0.01 mem=13M324
0.75
0.75 search
0.75 run=0 nbConstraintChecks=1294 nbPropagations=453 nbRevisions=446 nbUselessRevisions=24 nbAssignments=30
0.75 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.75 nbTooLargeKeys=0
0.75 => wckTime=0.04 cpuTime=0.02 mem=14M316
0.76
0.76 search
0.76 run=1 nbConstraintChecks=2713 nbPropagations=1154 nbRevisions=1180 nbUselessRevisions=79 nbAssignments=70
0.76 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=119 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.76 nbTooLargeKeys=0
0.76 => wckTime=0.049 cpuTime=0.03 mem=14M316
0.77
0.77 search
0.77 run=2 nbConstraintChecks=4299 nbPropagations=2167 nbRevisions=2275 nbUselessRevisions=170 nbAssignments=123
0.77 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=212 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.063 cpuTime=0.04 mem=14M316
0.78
0.78 search
0.78 run=3 nbConstraintChecks=6089 nbPropagations=3572 nbRevisions=3811 nbUselessRevisions=299 nbAssignments=195
0.78 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=339 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.78 nbTooLargeKeys=0
0.78 => wckTime=0.074 cpuTime=0.04 mem=14M316
0.79
0.79 search
0.79 run=4 nbConstraintChecks=8186 nbPropagations=5499 nbRevisions=5907 nbUselessRevisions=460 nbAssignments=296
0.79 nbFailedAssignments=109 nbBacktracks=131 nbVisitedNodes=518 nbRestartNogoods=16 mapSize=131 nbInferences=3
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.086 cpuTime=0.05 mem=14M316
0.81
0.81 search
0.81 run=5 nbConstraintChecks=11014 nbPropagations=8174 nbRevisions=8846 nbUselessRevisions=690 nbAssignments=443
0.81 nbFailedAssignments=162 nbBacktracks=207 nbVisitedNodes=779 nbRestartNogoods=21 mapSize=207 nbInferences=11
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.103 cpuTime=0.07 mem=14M316
0.83
0.83 search
0.83 run=6 nbConstraintChecks=14353 nbPropagations=11893 nbRevisions=12776 nbUselessRevisions=924 nbAssignments=661
0.83 nbFailedAssignments=233 nbBacktracks=320 nbVisitedNodes=1162 nbRestartNogoods=23 mapSize=320 nbInferences=34
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.119 cpuTime=0.08 mem=14M316
0.84
0.84 search
0.84 run=7 nbConstraintChecks=19993 nbPropagations=17270 nbRevisions=18271 nbUselessRevisions=1172
0.84 nbAssignments=1001 nbFailedAssignments=336 nbBacktracks=490 nbVisitedNodes=1740 nbRestartNogoods=29
0.84 mapSize=490 nbInferences=78 nbTooLargeKeys=0
0.84 => wckTime=0.138 cpuTime=0.09 mem=14M316
0.88
0.88 search
0.88 run=8 nbConstraintChecks=26871 nbPropagations=25064 nbRevisions=25974 nbUselessRevisions=1438
0.88 nbAssignments=1517 nbFailedAssignments=476 nbBacktracks=746 nbVisitedNodes=2647 nbRestartNogoods=36
0.88 mapSize=746 nbInferences=189 nbTooLargeKeys=0
0.88 => wckTime=0.175 cpuTime=0.12 mem=14M316
0.91
0.91 search
0.91 run=9 nbConstraintChecks=37017 nbPropagations=36504 nbRevisions=36993 nbUselessRevisions=1715
0.91 nbAssignments=2293 nbFailedAssignments=691 nbBacktracks=1132 nbVisitedNodes=4019 nbRestartNogoods=42
0.91 mapSize=1132 nbInferences=355 nbTooLargeKeys=0
0.91 => wckTime=0.206 cpuTime=0.14 mem=14M316
0.95
0.95 search
0.95 run=10 nbConstraintChecks=54302 nbPropagations=54109 nbRevisions=53368 nbUselessRevisions=2012
0.95 nbAssignments=3569 nbFailedAssignments=972 nbBacktracks=1708 nbVisitedNodes=6267 nbRestartNogoods=46
0.95 mapSize=1708 nbInferences=765 nbTooLargeKeys=0
0.95 => wckTime=0.24 cpuTime=0.16 mem=14M316
0.99
0.99 search
0.99 run=11 nbConstraintChecks=84220 nbPropagations=81885 nbRevisions=78342 nbUselessRevisions=2343
0.99 nbAssignments=5628 nbFailedAssignments=1349 nbBacktracks=2572 nbVisitedNodes=9848 nbRestartNogoods=56
0.99 mapSize=2572 nbInferences=1553 nbTooLargeKeys=0
0.99 => wckTime=0.28 cpuTime=0.2 mem=14M316
1.05
1.05 search
1.05 run=12 nbConstraintChecks=130614 nbPropagations=125907 nbRevisions=116743 nbUselessRevisions=2724
1.05 nbAssignments=8883 nbFailedAssignments=1866 nbBacktracks=3871 nbVisitedNodes=15567 nbRestartNogoods=59
1.05 mapSize=3871 nbInferences=2983 nbTooLargeKeys=0
1.05 => wckTime=0.347 cpuTime=0.27 mem=14M316
1.16
1.16 search
1.16 run=13 nbConstraintChecks=207904 nbPropagations=196592 nbRevisions=176565 nbUselessRevisions=3119
1.16 nbAssignments=14139 nbFailedAssignments=2534 nbBacktracks=5818 nbVisitedNodes=24755 nbRestartNogoods=65
1.16 mapSize=5818 nbInferences=5598 nbTooLargeKeys=0
1.16 => wckTime=0.454 cpuTime=0.37 mem=14M316
1.34
1.34 search
1.34 run=14 nbConstraintChecks=351530 nbPropagations=313741 nbRevisions=272937 nbUselessRevisions=3551
1.34 nbAssignments=22851 nbFailedAssignments=3346 nbBacktracks=8738 nbVisitedNodes=40062 nbRestartNogoods=73
1.34 mapSize=8738 nbInferences=10569 nbTooLargeKeys=0
1.34 => wckTime=0.632 cpuTime=0.55 mem=15M291
1.63
1.63 search
1.63 run=15 nbConstraintChecks=583539 nbPropagations=505164 nbRevisions=426842 nbUselessRevisions=4065
1.63 nbAssignments=36659 nbFailedAssignments=4336 nbBacktracks=13117 nbVisitedNodes=64187 nbRestartNogoods=86
1.63 mapSize=13117 nbInferences=18953 nbTooLargeKeys=0
1.63 => wckTime=0.921 cpuTime=0.84 mem=15M291
2.12
2.12 search
2.12 run=16 nbConstraintChecks=1043338 nbPropagations=831242 nbRevisions=684284 nbUselessRevisions=4581
2.12 nbAssignments=59965 nbFailedAssignments=5506 nbBacktracks=19685 nbVisitedNodes=105376 nbRestartNogoods=95
2.12 mapSize=19685 nbInferences=34505 nbTooLargeKeys=0
2.12 => wckTime=1.414 cpuTime=1.33 mem=16M266
2.91
2.91 search
2.91 run=17 nbConstraintChecks=1778535 nbPropagations=1368662 nbRevisions=1103079 nbUselessRevisions=5210
2.91 nbAssignments=96199 nbFailedAssignments=6829 nbBacktracks=29537 nbVisitedNodes=169291 nbRestartNogoods=105
2.91 mapSize=29537 nbInferences=59548 nbTooLargeKeys=0
2.91 => wckTime=2.205 cpuTime=2.11 mem=18M217
4.22
4.22 search
4.22 run=18 nbConstraintChecks=3042768 nbPropagations=2252567 nbRevisions=1786439 nbUselessRevisions=5839
4.22 nbAssignments=153635 nbFailedAssignments=8504 nbBacktracks=44315 nbVisitedNodes=270975 nbRestartNogoods=117
4.22 mapSize=44315 nbInferences=100485 nbTooLargeKeys=0
4.22 => wckTime=3.513 cpuTime=3.41 mem=20M167
7.47
7.47 search
7.47 run=19 nbConstraintChecks=7293911 nbPropagations=3994623 nbRevisions=3145630 nbUselessRevisions=6468
7.47 nbAssignments=268253 nbFailedAssignments=9764 nbBacktracks=66484 nbVisitedNodes=479191 nbRestartNogoods=136
7.47 mapSize=66484 nbInferences=191616 nbTooLargeKeys=0
7.47 => wckTime=6.769 cpuTime=6.66 mem=25M567
11.42
11.42 search
11.42 run=20 nbConstraintChecks=11904854 nbPropagations=6803841 nbRevisions=5329092 nbUselessRevisions=7097
11.42 nbAssignments=424555 nbFailedAssignments=11354 nbBacktracks=99736 nbVisitedNodes=760082 nbRestartNogoods=148
11.42 mapSize=99736 nbInferences=313047 nbTooLargeKeys=0
11.42 => wckTime=10.717 cpuTime=10.58 mem=32M467
17.75
17.75 search
17.75 run=21 nbConstraintChecks=19552990 nbPropagations=11310453 nbRevisions=8829742 nbUselessRevisions=7726
17.75 nbAssignments=666663 nbFailedAssignments=13463 nbBacktracks=149614 nbVisitedNodes=1196466 nbRestartNogoods=165
17.75 mapSize=149614 nbInferences=503132 nbTooLargeKeys=0
17.75 => wckTime=17.046 cpuTime=16.88 mem=42M219
28.97
28.97 search
28.97 run=22 nbConstraintChecks=34863326 nbPropagations=18850033 nbRevisions=14718336 nbUselessRevisions=8355
28.97 nbAssignments=1066415 nbFailedAssignments=15857 nbBacktracks=224432 nbVisitedNodes=1923440 nbRestartNogoods=190
28.97 mapSize=224432 nbInferences=825616 nbTooLargeKeys=0
28.97 => wckTime=28.261 cpuTime=27.85 mem=27M762
46.05
46.05 search
46.05 run=23 nbConstraintChecks=60565499 nbPropagations=31335026 nbRevisions=24513698 nbUselessRevisions=9000
46.05 nbAssignments=1699744 nbFailedAssignments=17601 nbBacktracks=336659 nbVisitedNodes=3079523 nbRestartNogoods=208
46.05 mapSize=336659 nbInferences=1344927 nbTooLargeKeys=0
46.05 => wckTime=45.345 cpuTime=44.87 mem=53M371
69.86
69.86 search
69.86 run=24 nbConstraintChecks=94545205 nbPropagations=50624100 nbRevisions=39676374 nbUselessRevisions=32757
69.86 nbAssignments=2600613 nbFailedAssignments=20485 nbBacktracks=505001 nbVisitedNodes=4715723 nbRestartNogoods=221
69.86 mapSize=505001 nbInferences=2074540 nbTooLargeKeys=0
69.86 => wckTime=69.153 cpuTime=68.26 mem=62M115
108.21
108.21 search
108.21 run=25 nbConstraintChecks=150604621 nbPropagations=80817546 nbRevisions=63447579 nbUselessRevisions=66194
108.21 nbAssignments=4008249 nbFailedAssignments=22906 nbBacktracks=757512 nbVisitedNodes=7280634 nbRestartNogoods=248
108.21 mapSize=757507 nbInferences=3227146 nbTooLargeKeys=0
108.21 => wckTime=107.505 cpuTime=106.14 mem=89M178
128.46
128.46 search
128.46 run=26 nbConstraintChecks=180571537 nbPropagations=116706156 nbRevisions=91730306 nbUselessRevisions=104335
128.46 nbAssignments=4727539 nbFailedAssignments=23323 nbBacktracks=882336 nbVisitedNodes=8594620 nbRestartNogoods=273
128.46 mapSize=882329 nbInferences=3821113 nbTooLargeKeys=0
128.46 => wckTime=127.75 cpuTime=126.04 mem=95M542
128.46
128.46 global
128.46 nbConstraintChecks=180573567 nbPropagations=116706403 nbRevisions=91730516 nbUselessRevisions=104335
128.46 nbRestartNogoods=273 solvingWckTime=127.751 solvingCpuTime=126.04 expiredTime=no totalExploration=yes
128.46 nbFoundSolutions=0 globalCpuTime=126.39
128.46 => wckTime=128.141 cpuTime=126.35 mem=95M542
128.46
128.46 s UNSATISFIABLE
128.46 d NODES 4727539
128.46 d CHECKS 180573567
128.46
128.46 totalWckTime=128.222 totalCpuTime=126.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-198508-1168128973 -o ROOT/results/node61/solver-198508-1168128973 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198508-1168128973/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.92 1.98 1.85 2/82 25345
/proc/meminfo: memFree=1292840/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=18540 CPUtime=0
/proc/25344/stat : 25344 (runsolver) R 25342 25344 24678 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161295152 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 246406507815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25344/statm: 4635 279 244 17 0 2626 0
[startup+0.102467 s]
/proc/loadavg: 1.92 1.98 1.85 2/82 25345
/proc/meminfo: memFree=1292840/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=914852 CPUtime=0.07
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 2939 0 1 0 6 1 0 0 19 0 8 0 161295152 936808448 2685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151973145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228713 2685 1411 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914852
[startup+0.510534 s]
/proc/loadavg: 1.92 1.98 1.85 2/82 25345
/proc/meminfo: memFree=1292840/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=0.48
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 6426 0 1 0 44 4 0 0 18 0 8 0 161295152 937426944 6165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 6165 2175 14 0 215334 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915456
[startup+1.33168 s]
/proc/loadavg: 1.92 1.98 1.85 3/89 25352
/proc/meminfo: memFree=1269488/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=1.3
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 8666 0 1 0 124 6 0 0 25 0 8 0 161295152 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 8404 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 362 0 0 0 17 0 0 0 15 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.97297 s]
/proc/loadavg: 1.92 1.98 1.85 3/89 25352
/proc/meminfo: memFree=1267184/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=2.94
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 9473 0 1 0 287 7 0 0 25 0 8 0 161295152 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073697025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 9210 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 363 0 0 0 17 0 0 0 15 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 9210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.26854 s]
/proc/loadavg: 1.93 1.98 1.85 3/89 25352
/proc/meminfo: memFree=1261104/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=6.22
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 10822 0 1 0 614 8 0 0 25 0 8 0 161295152 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 10558 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 364 0 0 0 17 0 0 0 16 0 8 0 161295160 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 10558 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 10558 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) 915456
[startup+12.7447 s]
/proc/loadavg: 1.93 1.98 1.85 4/89 25352
/proc/meminfo: memFree=1249968/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=12.66
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 13515 0 1 0 1257 9 0 0 25 0 8 0 161295152 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25344/statm: 228864 13251 2541 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.02
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 161295156 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.17
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 364 0 0 0 17 0 0 0 16 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 13251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.6089 s]
/proc/loadavg: 1.95 1.98 1.85 2/75 25365
/proc/meminfo: memFree=1293344/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=25.46
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 20644 0 1 0 2534 12 0 0 25 0 8 0 161295152 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073680952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25344/statm: 228864 20378 2545 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.21
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 3645 0 0 0 20 1 0 0 16 0 8 0 161295156 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.18
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 365 0 0 0 18 0 0 0 16 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 20378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456
[startup+51.3103 s]
/proc/loadavg: 1.96 1.98 1.85 3/80 25580
/proc/meminfo: memFree=1289528/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=51.05
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 20648 0 1 0 5092 13 0 0 25 0 8 0 161295152 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25344/statm: 228864 20382 2545 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.21
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 3645 0 0 0 20 1 0 0 16 0 8 0 161295156 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.18
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 366 0 0 0 18 0 0 0 16 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 20382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915456
[startup+102.606 s]
/proc/loadavg: 1.98 1.98 1.86 3/80 25580
/proc/meminfo: memFree=1250616/2055920 swapFree=4192812/4192956
[pid=25344] ppid=25342 vsize=915456 CPUtime=102.11
/proc/25344/stat : 25344 (java) R 25342 25344 24678 0 -1 0 30414 0 1 0 10195 16 0 0 25 0 8 0 161295152 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25344/statm: 228864 30146 2545 14 0 215334 0
[pid=25344/tid=25346] ppid=25342 vsize=915456 CPUtime=0.8
/proc/25344/task/25346/stat : 25346 (java) S 25342 25344 24678 0 -1 64 13409 0 0 0 75 5 0 0 16 0 8 0 161295156 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25344/tid=25347] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25347/stat : 25347 (java) S 25342 25344 24678 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25348] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25348/stat : 25348 (java) S 25342 25344 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161295157 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25349] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25349/stat : 25349 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25350] ppid=25342 vsize=915456 CPUtime=0.18
/proc/25344/task/25350/stat : 25350 (java) S 25342 25344 24678 0 -1 64 366 0 0 0 18 0 0 0 16 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25344/tid=25351] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25351/stat : 25351 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25344/tid=25352] ppid=25342 vsize=915456 CPUtime=0
/proc/25344/task/25352/stat : 25352 (java) S 25342 25344 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161295160 937426944 30146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 128.608
CPU time (s): 127.891
CPU user time (s): 127.675
CPU system time (s): 0.215967
CPU usage (%): 99.4425
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.675
system time used= 0.215967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34152
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= 3610
involuntary context switches= 3881
runsolver used 0.136979 s user time and 0.351946 s system time
The end
Begin job on node61 on Sun Jan 7 00:16:13 UTC 2007
IDJOB= 198508
IDBENCH= 3560
FILE ID= node61/198508-1168128973
PBS_JOBID= 3477939
Free space on /tmp= 66507 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198508-1168128973/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-198508-1168128973 -o ROOT/results/node61/solver-198508-1168128973 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198508-1168128973/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c50ed34d99eca703057f80ac300e5077
RANDOM SEED= 480945937
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: 1293320 kB
Buffers: 37388 kB
Cached: 557272 kB
SwapCached: 0 kB
Active: 143860 kB
Inactive: 540628 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1293320 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1660 kB
Writeback: 0 kB
Mapped: 108964 kB
Slab: 63424 kB
Committed_AS: 4058260 kB
PageTables: 1988 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= 66507 MiB
End job on node61 on Sun Jan 7 00:18:22 UTC 2007