0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/247614-1168393259/unknown.xml
0.37
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.49 nbVariables=650 nbDomainTypes=9 minDomainSize=2 maxDomainSize=12
0.49 => wckTime=0.171 cpuTime=0.13 mem=8M869
0.49
0.49 relations being loaded...
0.61
0.61 constraints being loaded...
1.43 nbConstraints=17447 nbRelationTypes=1639 nbExtensionStructures=2320 nbSharedExtensionStructures=15127
1.43 nbConflictsStructures=2320 nbSharedConflictsStructures=15127 nbSharedBinaryRepresentations=29855 maxDegree=138
1.43 maxArity=2
1.43 => wckTime=1.116 cpuTime=0.75 mem=29M164
1.57
1.57 solver IterativeSystematicSolver being built...
1.80 => wckTime=1.485 cpuTime=0.92 mem=30M570
9.41
9.41 preprocessing
9.41 nbConstraintChecks=6589994 nbPropagations=42354 nbRevisions=1597776 nbUselessRevisions=1544768
9.41 nbSingletonTests=6433 nbEffectiveSingletonTests=12 nbESACBranches=99 nbRemovedValues=192
9.41 detectedInconsistency=no
9.41 => wckTime=7.601 cpuTime=7.48 mem=30M570
9.54
9.54 search
9.54 run=0 nbConstraintChecks=144877 nbPropagations=43333 nbRevisions=1636688 nbUselessRevisions=1581971
9.54 nbAssignments=156 nbFailedAssignments=5 nbBacktracks=48 nbVisitedNodes=171 nbRestartNogoods=0 mapSize=11
9.54 nbInferences=0 nbTooLargeKeys=0
9.54 => wckTime=7.732 cpuTime=7.6 mem=31M564
9.65
9.66 search
9.66 run=1 nbConstraintChecks=351798 nbPropagations=88103 nbRevisions=3327032 nbUselessRevisions=3215686
9.66 nbAssignments=353 nbFailedAssignments=7 nbBacktracks=105 nbVisitedNodes=340 nbRestartNogoods=3 mapSize=19
9.66 nbInferences=0 nbTooLargeKeys=0
9.66 => wckTime=7.852 cpuTime=7.72 mem=31M564
9.76
9.76 search
9.76 run=2 nbConstraintChecks=501795 nbPropagations=133891 nbRevisions=5059585 nbUselessRevisions=4889677
9.76 nbAssignments=513 nbFailedAssignments=9 nbBacktracks=193 nbVisitedNodes=514 nbRestartNogoods=4 mapSize=32
9.76 nbInferences=0 nbTooLargeKeys=0
9.76 => wckTime=7.952 cpuTime=7.81 mem=31M564
9.87
9.87 search
9.87 run=3 nbConstraintChecks=631342 nbPropagations=180743 nbRevisions=6830609 nbUselessRevisions=6600572
9.87 nbAssignments=750 nbFailedAssignments=11 nbBacktracks=250 nbVisitedNodes=760 nbRestartNogoods=5 mapSize=40
9.87 nbInferences=0 nbTooLargeKeys=0
9.87 => wckTime=8.062 cpuTime=7.93 mem=31M564
9.96
9.96 search
9.96 run=4 nbConstraintChecks=745297 nbPropagations=228418 nbRevisions=8631231 nbUselessRevisions=8340070
9.96 nbAssignments=973 nbFailedAssignments=12 nbBacktracks=337 nbVisitedNodes=985 nbRestartNogoods=6 mapSize=41
9.96 nbInferences=0 nbTooLargeKeys=0
9.96 => wckTime=8.157 cpuTime=8.03 mem=31M564
10.09
10.09 search
10.09 run=5 nbConstraintChecks=939601 nbPropagations=277556 nbRevisions=10489262 nbUselessRevisions=10134415
10.09 nbAssignments=1155 nbFailedAssignments=14 nbBacktracks=431 nbVisitedNodes=1179 nbRestartNogoods=7 mapSize=52
10.09 nbInferences=0 nbTooLargeKeys=0
10.09 => wckTime=8.287 cpuTime=8.15 mem=31M564
10.22
10.22 search
10.22 run=6 nbConstraintChecks=1081787 nbPropagations=327865 nbRevisions=12389647 nbUselessRevisions=11969454
10.22 nbAssignments=1431 nbFailedAssignments=17 nbBacktracks=570 nbVisitedNodes=1464 nbRestartNogoods=8 mapSize=60
10.22 nbInferences=0 nbTooLargeKeys=0
10.22 => wckTime=8.418 cpuTime=8.28 mem=31M564
10.42
10.42 search
10.42 run=7 nbConstraintChecks=1361950 nbPropagations=380364 nbRevisions=14374342 nbUselessRevisions=13884924
10.42 nbAssignments=1784 nbFailedAssignments=22 nbBacktracks=794 nbVisitedNodes=1839 nbRestartNogoods=9 mapSize=79
10.42 nbInferences=0 nbTooLargeKeys=0
10.42 => wckTime=8.621 cpuTime=8.47 mem=31M564
10.68
10.68 search
10.68 run=8 nbConstraintChecks=1754083 nbPropagations=435886 nbRevisions=16468346 nbUselessRevisions=15904280
10.68 nbAssignments=2343 nbFailedAssignments=33 nbBacktracks=1057 nbVisitedNodes=2306 nbRestartNogoods=12
10.68 mapSize=108 nbInferences=0 nbTooLargeKeys=0
10.68 => wckTime=8.877 cpuTime=8.72 mem=31M564
11.09
11.09 search
11.09 run=9 nbConstraintChecks=2382946 nbPropagations=497562 nbRevisions=18787805 nbUselessRevisions=18135737
11.09 nbAssignments=2925 nbFailedAssignments=58 nbBacktracks=1452 nbVisitedNodes=2992 nbRestartNogoods=14
11.09 mapSize=209 nbInferences=1 nbTooLargeKeys=0
11.09 => wckTime=9.286 cpuTime=9.12 mem=32M559
11.65
11.65 search
11.65 run=10 nbConstraintChecks=3135348 nbPropagations=567015 nbRevisions=21432032 nbUselessRevisions=20676938
11.65 nbAssignments=3672 nbFailedAssignments=75 nbBacktracks=2088 nbVisitedNodes=3829 nbRestartNogoods=17
11.65 mapSize=296 nbInferences=1 nbTooLargeKeys=0
11.65 => wckTime=9.847 cpuTime=9.68 mem=32M559
12.37
12.37 search
12.37 run=11 nbConstraintChecks=4133519 nbPropagations=646363 nbRevisions=24493657 nbUselessRevisions=23615247
12.37 nbAssignments=4703 nbFailedAssignments=122 nbBacktracks=2957 nbVisitedNodes=5002 nbRestartNogoods=20
12.37 mapSize=435 nbInferences=3 nbTooLargeKeys=0
12.37 => wckTime=10.57 cpuTime=10.4 mem=32M559
13.30
13.30 search
13.30 run=12 nbConstraintChecks=5365275 nbPropagations=737966 nbRevisions=28066766 nbUselessRevisions=27041770
13.30 nbAssignments=6174 nbFailedAssignments=153 nbBacktracks=4254 nbVisitedNodes=6602 nbRestartNogoods=23
13.30 mapSize=556 nbInferences=5 nbTooLargeKeys=0
13.30 => wckTime=11.501 cpuTime=11.33 mem=33M554
14.65
14.65 search
14.65 run=13 nbConstraintChecks=7095109 nbPropagations=848113 nbRevisions=32414259 nbUselessRevisions=31204439
14.65 nbAssignments=8228 nbFailedAssignments=197 nbBacktracks=6204 nbVisitedNodes=8881 nbRestartNogoods=27
14.65 mapSize=770 nbInferences=11 nbTooLargeKeys=0
14.65 => wckTime=12.85 cpuTime=12.67 mem=34M548
16.31
16.31 search
16.31 run=14 nbConstraintChecks=8971487 nbPropagations=978635 nbRevisions=37582848 nbUselessRevisions=36154333
16.31 nbAssignments=11423 nbFailedAssignments=288 nbBacktracks=9146 nbVisitedNodes=12323 nbRestartNogoods=29
16.31 mapSize=992 nbInferences=12 nbTooLargeKeys=0
16.31 => wckTime=14.505 cpuTime=14.32 mem=35M543
19.05
19.05 search
19.05 run=15 nbConstraintChecks=12441219 nbPropagations=1142153 nbRevisions=44195399 nbUselessRevisions=42486747
19.05 nbAssignments=16104 nbFailedAssignments=392 nbBacktracks=13560 nbVisitedNodes=17345 nbRestartNogoods=34
19.05 mapSize=1328 nbInferences=23 nbTooLargeKeys=0
19.05 => wckTime=17.251 cpuTime=17.07 mem=37M532
23.48
23.48 search
23.48 run=16 nbConstraintChecks=18642404 nbPropagations=1359235 nbRevisions=53209632 nbUselessRevisions=51119831
23.48 nbAssignments=23040 nbFailedAssignments=549 nbBacktracks=20178 nbVisitedNodes=24752 nbRestartNogoods=38
23.48 mapSize=1870 nbInferences=39 nbTooLargeKeys=0
23.48 => wckTime=21.674 cpuTime=21.48 mem=39M522
26.88
26.88 search
26.88 run=17 nbConstraintChecks=23458717 nbPropagations=1615863 nbRevisions=64031156 nbUselessRevisions=61488508
26.88 nbAssignments=29052 nbFailedAssignments=708 nbBacktracks=25374 nbVisitedNodes=31232 nbRestartNogoods=41
26.88 mapSize=2311 nbInferences=46 nbTooLargeKeys=0
26.88 => wckTime=25.075 cpuTime=24.88 mem=41M511
26.88
26.88 global
26.88 nbConstraintChecks=30048711 nbPropagations=1658217 nbRevisions=65628932 nbUselessRevisions=63033276
26.88 nbRestartNogoods=41 solvingWckTime=25.076 solvingCpuTime=24.88 expiredTime=no totalExploration=no
26.88 nbFoundSolutions=1 globalCpuTime=25.86
26.88 => wckTime=26.566 cpuTime=25.8 mem=41M511
26.88
26.88 s SATISFIABLE
26.88 v 0 0 1 0 1 0 3 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 8 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 9 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 2 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0
26.88 d NODES 29052
26.88 d CHECKS 30048711
26.88
26.88 totalWckTime=26.648 totalCpuTime=25.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-247614-1168393259 -o ROOT/results/node13/solver-247614-1168393259 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247614-1168393259/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.79 1.32 1.58 5/94 26935
/proc/meminfo: memFree=1809008/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=18540 CPUtime=0
/proc/26934/stat : 26934 (runsolver) R 26928 26934 26801 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 187720941 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26934/statm: 4635 279 244 17 0 2626 0
[startup+0.109688 s]
/proc/loadavg: 0.79 1.32 1.58 5/94 26935
/proc/meminfo: memFree=1809008/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=914988 CPUtime=0.09
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 3046 0 1 0 8 1 0 0 18 0 8 0 187720941 936947712 2792 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228747 2792 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517737 s]
/proc/loadavg: 0.79 1.32 1.58 5/94 26935
/proc/meminfo: memFree=1809008/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915328 CPUtime=0.49
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 6503 0 1 0 45 4 0 0 19 0 8 0 187720941 937295872 6242 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228832 6242 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33885 s]
/proc/loadavg: 0.89 1.33 1.58 3/101 26942
/proc/meminfo: memFree=1708088/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915628 CPUtime=1.3
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 20068 0 1 0 119 11 0 0 23 0 8 0 187720941 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228907 19805 2160 14 0 215377 0
[pid=26934/tid=26936] ppid=26928 vsize=915628 CPUtime=0.16
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 3498 0 0 0 15 1 0 0 17 0 8 0 187720945 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187720946 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915628 CPUtime=0.2
/proc/26934/task/26940/stat : 26940 (java) R 26928 26934 26801 0 -1 64 421 0 0 0 19 1 0 0 16 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153091585 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915628 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937603072 19805 18446744073709551615 134512640 134570532 4294956464 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) 915628
[startup+2.97607 s]
/proc/loadavg: 0.89 1.33 1.58 3/101 26942
/proc/meminfo: memFree=1664632/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=2.94
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22171 0 1 0 280 14 0 0 25 0 8 0 187720941 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074102946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228961 21885 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 17 0 8 0 187720945 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.33
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 502 0 0 0 31 2 0 0 15 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21885 18446744073709551615 134512640 134570532 4294956464 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) 915844
[startup+6.18149 s]
/proc/loadavg: 0.89 1.33 1.58 3/101 26951
/proc/meminfo: memFree=1702072/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=6.1
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22173 0 1 0 596 14 0 0 25 0 8 0 187720941 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074102888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26934/statm: 228961 21886 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 16 0 8 0 187720945 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.33
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 503 0 0 0 31 2 0 0 16 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21886 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915844
[startup+12.6574 s]
/proc/loadavg: 0.98 1.34 1.58 3/101 27021
/proc/meminfo: memFree=1728136/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=12.54
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22200 0 1 0 1239 15 0 0 25 0 8 0 187720941 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074069643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26934/statm: 228961 21909 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 17 0 8 0 187720945 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.38
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 525 0 0 0 36 2 0 0 15 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915844
[startup+25.5381 s]
/proc/loadavg: 1.14 1.36 1.58 3/101 27021
/proc/meminfo: memFree=1721288/2055920 swapFree=4191880/4192956
[pid=26934] ppid=26928 vsize=915844 CPUtime=25.42
/proc/26934/stat : 26934 (java) R 26928 26934 26801 0 -1 0 22202 0 1 0 2526 16 0 0 25 0 8 0 187720941 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074072824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26934/statm: 228961 21910 2528 14 0 215431 0
[pid=26934/tid=26936] ppid=26928 vsize=915844 CPUtime=0.3
/proc/26934/task/26936/stat : 26936 (java) S 26928 26934 26801 0 -1 64 5054 0 0 0 28 2 0 0 16 0 8 0 187720945 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26937] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26937/stat : 26937 (java) S 26928 26934 26801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187720946 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26938] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26938/stat : 26938 (java) S 26928 26934 26801 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 187720946 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26939] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26939/stat : 26939 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26940] ppid=26928 vsize=915844 CPUtime=0.38
/proc/26934/task/26940/stat : 26940 (java) S 26928 26934 26801 0 -1 64 526 0 0 0 36 2 0 0 15 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26934/tid=26941] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26941/stat : 26941 (java) S 26928 26934 26801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26934/tid=26942] ppid=26928 vsize=915844 CPUtime=0
/proc/26934/task/26942/stat : 26942 (java) S 26928 26934 26801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187720949 937824256 21910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915844
Child status: 0
Real time (s): 26.9573
CPU time (s): 26.7869
CPU user time (s): 26.608
CPU system time (s): 0.178972
CPU usage (%): 99.3679
Max. virtual memory (cumulated for all children) (KiB): 915844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.608
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22213
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= 2057
involuntary context switches= 2224
runsolver used 0.031995 s user time and 0.103984 s system time
The end
Begin job on node13 on Wed Jan 10 01:41:00 UTC 2007
IDJOB= 247614
IDBENCH= 11646
FILE ID= node13/247614-1168393259
PBS_JOBID= 3522810
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/driver/driverlogw-09-sat_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247614-1168393259/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-247614-1168393259 -o ROOT/results/node13/solver-247614-1168393259 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247614-1168393259/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5933f4a42187117e9e508d20340f2ade
RANDOM SEED= 256033891
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.247
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.247
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: 1811016 kB
Buffers: 18688 kB
Cached: 116800 kB
SwapCached: 376 kB
Active: 147008 kB
Inactive: 41144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811016 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7972 kB
Writeback: 0 kB
Mapped: 74924 kB
Slab: 41412 kB
Committed_AS: 6280336 kB
PageTables: 2440 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= 66552 MiB
End job on node13 on Wed Jan 10 01:41:27 UTC 2007