0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/227465-1168278311/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.71 nbConstraints=753 nbRelationTypes=751 nbExtensionStructures=751 nbSharedExtensionStructures=2
0.71 nbConflictsStructures=751 nbSharedConflictsStructures=2 nbSharedBinaryRepresentations=11873 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.388 cpuTime=0.26 mem=11M947
0.75
0.75 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.601 cpuTime=0.39 mem=15M6
0.98
0.98 preprocessing
0.98 nbConstraintChecks=23692 nbPropagations=952 nbRevisions=5080 nbUselessRevisions=3909 nbSingletonTests=55
0.98 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.98 => wckTime=0.06 cpuTime=0.04 mem=15M6
1.01
1.01 search
1.01 run=0 nbConstraintChecks=14452 nbPropagations=1281 nbRevisions=9347 nbUselessRevisions=7477 nbAssignments=24
1.01 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.084 cpuTime=0.06 mem=15M6
1.03
1.03 search
1.03 run=1 nbConstraintChecks=33044 nbPropagations=2978 nbRevisions=23910 nbUselessRevisions=19327 nbAssignments=55
1.03 nbFailedAssignments=12 nbBacktracks=30 nbVisitedNodes=84 nbRestartNogoods=1 mapSize=22 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.109 cpuTime=0.07 mem=15M6
1.05
1.05 search
1.05 run=2 nbConstraintChecks=59976 nbPropagations=5232 nbRevisions=47314 nbUselessRevisions=38863 nbAssignments=93
1.05 nbFailedAssignments=21 nbBacktracks=52 nbVisitedNodes=141 nbRestartNogoods=4 mapSize=38 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.126 cpuTime=0.08 mem=15M6
1.06
1.06 search
1.06 run=3 nbConstraintChecks=90903 nbPropagations=8113 nbRevisions=80617 nbUselessRevisions=66888
1.06 nbAssignments=147 nbFailedAssignments=33 nbBacktracks=87 nbVisitedNodes=220 nbRestartNogoods=6 mapSize=58
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.142 cpuTime=0.1 mem=15M6
1.09
1.09 search
1.09 run=4 nbConstraintChecks=151207 nbPropagations=12171 nbRevisions=134227 nbUselessRevisions=112472
1.09 nbAssignments=232 nbFailedAssignments=58 nbBacktracks=138 nbVisitedNodes=358 nbRestartNogoods=8 mapSize=101
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.167 cpuTime=0.12 mem=15M6
1.12
1.12 search
1.12 run=5 nbConstraintChecks=221532 nbPropagations=17610 nbRevisions=211140 nbUselessRevisions=178142
1.12 nbAssignments=347 nbFailedAssignments=90 nbBacktracks=214 nbVisitedNodes=542 nbRestartNogoods=12 mapSize=165
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.202 cpuTime=0.15 mem=15M6
1.18
1.18 search
1.18 run=6 nbConstraintChecks=349620 nbPropagations=25426 nbRevisions=328549 nbUselessRevisions=278397
1.18 nbAssignments=524 nbFailedAssignments=146 nbBacktracks=327 nbVisitedNodes=829 nbRestartNogoods=15 mapSize=258
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.259 cpuTime=0.2 mem=15M6
1.25
1.25 search
1.25 run=7 nbConstraintChecks=535273 nbPropagations=36673 nbRevisions=505342 nbUselessRevisions=429370
1.25 nbAssignments=777 nbFailedAssignments=224 nbBacktracks=497 nbVisitedNodes=1253 nbRestartNogoods=20 mapSize=408
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.33 cpuTime=0.27 mem=15M6
1.35
1.35 search
1.35 run=8 nbConstraintChecks=791460 nbPropagations=52660 nbRevisions=766467 nbUselessRevisions=652642
1.35 nbAssignments=1143 nbFailedAssignments=329 nbBacktracks=753 nbVisitedNodes=1854 nbRestartNogoods=24
1.35 mapSize=613 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.431 cpuTime=0.38 mem=15M6
1.51
1.51 search
1.51 run=9 nbConstraintChecks=1160872 nbPropagations=75630 nbRevisions=1149803 nbUselessRevisions=981067
1.51 nbAssignments=1709 nbFailedAssignments=503 nbBacktracks=1137 nbVisitedNodes=2769 nbRestartNogoods=29
1.51 mapSize=924 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.587 cpuTime=0.52 mem=15M6
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M6)
1.71
1.71 search
1.71 run=10 nbConstraintChecks=1720653 nbPropagations=108991 nbRevisions=1719750 nbUselessRevisions=1470490
1.71 nbAssignments=2528 nbFailedAssignments=739 nbBacktracks=1713 nbVisitedNodes=4085 nbRestartNogoods=35
1.71 => wckTime=0.791 cpuTime=0.71 mem=15M6
2.00
2.00 search
2.00 run=11 nbConstraintChecks=2603775 nbPropagations=158804 nbRevisions=2578934 nbUselessRevisions=2208023
2.00 nbAssignments=3794 nbFailedAssignments=1134 nbBacktracks=2578 nbVisitedNodes=6170 nbRestartNogoods=40
2.00 => wckTime=1.079 cpuTime=1.0 mem=15M6
2.42
2.42 search
2.42 run=12 nbConstraintChecks=3859972 nbPropagations=232422 nbRevisions=3853843 nbUselessRevisions=3301906
2.42 nbAssignments=5657 nbFailedAssignments=1689 nbBacktracks=3878 nbVisitedNodes=9226 nbRestartNogoods=46
2.42 => wckTime=1.503 cpuTime=1.41 mem=15M6
3.05
3.05 search
3.05 run=13 nbConstraintChecks=5797401 nbPropagations=341514 nbRevisions=5767725 nbUselessRevisions=4946534
3.05 nbAssignments=8436 nbFailedAssignments=2516 nbBacktracks=5825 nbVisitedNodes=13780 nbRestartNogoods=54
3.05 => wckTime=2.128 cpuTime=2.03 mem=15M6
4.00
4.00 search
4.00 run=14 nbConstraintChecks=8714847 nbPropagations=504082 nbRevisions=8638940 nbUselessRevisions=7412638
4.00 nbAssignments=12619 nbFailedAssignments=3769 nbBacktracks=8748 nbVisitedNodes=20629 nbRestartNogoods=58
4.00 => wckTime=3.078 cpuTime=2.97 mem=15M6
5.47
5.47 search
5.47 run=15 nbConstraintChecks=13262801 nbPropagations=749984 nbRevisions=12984300 nbUselessRevisions=11142110
5.47 nbAssignments=18897 nbFailedAssignments=5663 nbBacktracks=13127 nbVisitedNodes=31031 nbRestartNogoods=63
5.47 => wckTime=4.549 cpuTime=4.43 mem=15M6
7.67
7.67 search
7.67 run=16 nbConstraintChecks=20039993 nbPropagations=1119641 nbRevisions=19531348 nbUselessRevisions=16758164
7.67 nbAssignments=28356 nbFailedAssignments=8548 nbBacktracks=19695 nbVisitedNodes=46700 nbRestartNogoods=71
7.67 => wckTime=6.747 cpuTime=6.6 mem=15M6
10.87
10.87 search
10.87 run=17 nbConstraintChecks=29892798 nbPropagations=1670924 nbRevisions=29287081 nbUselessRevisions=25123920
10.87 nbAssignments=42576 nbFailedAssignments=12911 nbBacktracks=29548 nbVisitedNodes=70014 nbRestartNogoods=79
10.87 => wckTime=9.95 cpuTime=9.77 mem=15M6
15.77
15.77 search
15.77 run=18 nbConstraintChecks=45184776 nbPropagations=2500461 nbRevisions=43979134 nbUselessRevisions=37720151
15.77 nbAssignments=63868 nbFailedAssignments=19417 nbBacktracks=44328 nbVisitedNodes=105019 nbRestartNogoods=85
15.77 => wckTime=14.85 cpuTime=14.63 mem=15M6
18.70
18.70 search
18.70 run=19 nbConstraintChecks=54310154 nbPropagations=3495781 nbRevisions=61601682 nbUselessRevisions=52822403
18.70 nbAssignments=76315 nbFailedAssignments=23220 nbBacktracks=52973 nbVisitedNodes=125530 nbRestartNogoods=99
18.70 => wckTime=17.776 cpuTime=17.53 mem=15M6
18.70
18.70 global
18.70 nbConstraintChecks=54333846 nbPropagations=3496733 nbRevisions=61606762 nbUselessRevisions=52826312
18.70 nbRestartNogoods=99 solvingWckTime=17.777 solvingCpuTime=17.53 expiredTime=no totalExploration=yes
18.70 nbFoundSolutions=0 globalCpuTime=17.97
18.70 => wckTime=18.38 cpuTime=17.92 mem=15M981
18.70
18.70 s UNSATISFIABLE
18.70 d NODES 76315
18.70 d CHECKS 54333846
18.70
18.70 totalWckTime=18.462 totalCpuTime=17.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-227465-1168278311 -o ROOT/results/node26/solver-227465-1168278311 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227465-1168278311/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.04 0.99 0.99 4/98 21075
/proc/meminfo: memFree=577216/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=18540 CPUtime=0
/proc/21074/stat : 21074 (runsolver) R 21072 21074 20672 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176225381 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21074/statm: 4635 279 244 17 0 2626 0
[startup+0.110098 s]
/proc/loadavg: 1.04 0.99 0.99 4/98 21075
/proc/meminfo: memFree=577216/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=914988 CPUtime=0.09
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 3014 0 1 0 7 2 0 0 20 0 8 0 176225381 936947712 2760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228747 2760 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.522144 s]
/proc/loadavg: 1.04 0.99 0.99 4/98 21075
/proc/meminfo: memFree=577216/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915328 CPUtime=0.5
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 6318 0 1 0 46 4 0 0 18 0 8 0 176225381 937295872 6057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072939849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228832 6057 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34321 s]
/proc/loadavg: 1.11 1.00 1.00 4/105 21082
/proc/meminfo: memFree=552840/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=1.31
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8756 0 1 0 125 6 0 0 24 0 8 0 176225381 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8494 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176225385 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.25
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915584
[startup+2.98036 s]
/proc/loadavg: 1.11 1.00 1.00 3/105 21082
/proc/meminfo: memFree=552264/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=2.93
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8799 0 1 0 287 6 0 0 25 0 8 0 176225381 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8536 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176225385 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.29
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 420 0 0 0 28 1 0 0 16 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584
[startup+6.27167 s]
/proc/loadavg: 1.19 1.02 1.01 3/105 21082
/proc/meminfo: memFree=551176/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=6.19
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8806 0 1 0 613 6 0 0 25 0 8 0 176225381 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8543 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 176225385 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.29
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 420 0 0 0 28 1 0 0 15 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915584
[startup+12.7543 s]
/proc/loadavg: 1.25 1.04 1.01 3/105 21082
/proc/meminfo: memFree=549768/2055920 swapFree=4192812/4192956
[pid=21074] ppid=21072 vsize=915584 CPUtime=12.6
/proc/21074/stat : 21074 (java) R 21072 21074 20672 0 -1 0 8812 0 1 0 1254 6 0 0 25 0 8 0 176225381 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21074/statm: 228896 8548 2524 14 0 215366 0
[pid=21074/tid=21076] ppid=21072 vsize=915584 CPUtime=0.03
/proc/21074/task/21076/stat : 21076 (java) S 21072 21074 20672 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 176225385 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21077] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21077/stat : 21077 (java) S 21072 21074 20672 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176225386 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21078] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21078/stat : 21078 (java) S 21072 21074 20672 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176225386 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21079] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21079/stat : 21079 (java) S 21072 21074 20672 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21080] ppid=21072 vsize=915584 CPUtime=0.29
/proc/21074/task/21080/stat : 21080 (java) S 21072 21074 20672 0 -1 64 420 0 0 0 28 1 0 0 15 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21081] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21081/stat : 21081 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21074/tid=21082] ppid=21072 vsize=915584 CPUtime=0
/proc/21074/task/21082/stat : 21082 (java) S 21072 21074 20672 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176225389 937558016 8548 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 18.7229
CPU time (s): 18.5222
CPU user time (s): 18.4462
CPU system time (s): 0.075988
CPU usage (%): 98.928
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4462
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8908
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= 1658
involuntary context switches= 2630
runsolver used 0.026995 s user time and 0.072988 s system time
The end
Begin job on node26 on Mon Jan 8 17:45:11 UTC 2007
IDJOB= 227465
IDBENCH= 6083
FILE ID= node26/227465-1168278311
PBS_JOBID= 3483368
Free space on /tmp= 66539 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227465-1168278311/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-227465-1168278311 -o ROOT/results/node26/solver-227465-1168278311 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/227465-1168278311/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 86ad9a26e4029d79eb85d82259d59efc
RANDOM SEED= 223427810
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.236
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.236
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: 577632 kB
Buffers: 17608 kB
Cached: 1309276 kB
SwapCached: 0 kB
Active: 793364 kB
Inactive: 632036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 577632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4788 kB
Writeback: 0 kB
Mapped: 127464 kB
Slab: 37352 kB
Committed_AS: 4318936 kB
PageTables: 2384 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= 66539 MiB
End job on node26 on Mon Jan 8 17:45:30 UTC 2007