0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/227419-1168080788/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.65 nbConstraints=753 nbRelationTypes=753 nbExtensionStructures=753 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=753 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11914 maxDegree=39
0.65 maxArity=2
0.65 => wckTime=0.355 cpuTime=0.24 mem=11M947
0.70
0.70 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.544 cpuTime=0.36 mem=14M16
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.011 cpuTime=0.0 mem=14M16
0.89
0.89 search
0.89 run=0 nbConstraintChecks=10955 nbPropagations=312 nbRevisions=3444 nbUselessRevisions=2924 nbAssignments=19
0.89 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=28 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.044 cpuTime=0.03 mem=15M8
0.92
0.92 search
0.92 run=1 nbConstraintChecks=33256 nbPropagations=1087 nbRevisions=14047 nbUselessRevisions=11974 nbAssignments=53
0.92 nbFailedAssignments=12 nbBacktracks=27 nbVisitedNodes=80 nbRestartNogoods=1 mapSize=22 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.074 cpuTime=0.04 mem=15M8
0.93
0.93 search
0.93 run=2 nbConstraintChecks=57788 nbPropagations=2419 nbRevisions=32902 nbUselessRevisions=28164 nbAssignments=96
0.93 nbFailedAssignments=22 nbBacktracks=50 nbVisitedNodes=146 nbRestartNogoods=2 mapSize=42 nbInferences=0
0.93 nbTooLargeKeys=0
0.94 => wckTime=0.091 cpuTime=0.06 mem=15M8
0.95
0.95 search
0.95 run=3 nbConstraintChecks=93417 nbPropagations=4495 nbRevisions=63689 nbUselessRevisions=54607
0.95 nbAssignments=156 nbFailedAssignments=39 nbBacktracks=86 nbVisitedNodes=240 nbRestartNogoods=4 mapSize=70
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.109 cpuTime=0.07 mem=15M8
0.97
0.97 search
0.97 run=4 nbConstraintChecks=132817 nbPropagations=7439 nbRevisions=108318 nbUselessRevisions=93079
0.97 nbAssignments=236 nbFailedAssignments=59 nbBacktracks=137 nbVisitedNodes=363 nbRestartNogoods=7 mapSize=107
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.129 cpuTime=0.09 mem=15M8
1.00
1.00 search
1.00 run=5 nbConstraintChecks=199192 nbPropagations=11738 nbRevisions=175553 nbUselessRevisions=151066
1.00 nbAssignments=347 nbFailedAssignments=88 nbBacktracks=212 nbVisitedNodes=538 nbRestartNogoods=10 mapSize=165
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.159 cpuTime=0.12 mem=15M8
1.05
1.05 search
1.05 run=6 nbConstraintChecks=322442 nbPropagations=18394 nbRevisions=283466 nbUselessRevisions=243933
1.05 nbAssignments=512 nbFailedAssignments=135 nbBacktracks=325 nbVisitedNodes=810 nbRestartNogoods=12 mapSize=260
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.209 cpuTime=0.16 mem=15M8
1.11
1.11 search
1.11 run=7 nbConstraintChecks=479516 nbPropagations=28124 nbRevisions=443054 nbUselessRevisions=380923
1.11 nbAssignments=759 nbFailedAssignments=202 nbBacktracks=498 nbVisitedNodes=1208 nbRestartNogoods=16 mapSize=400
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.269 cpuTime=0.22 mem=15M8
1.21
1.21 search
1.21 run=8 nbConstraintChecks=690877 nbPropagations=42001 nbRevisions=676211 nbUselessRevisions=581913
1.21 nbAssignments=1125 nbFailedAssignments=302 nbBacktracks=755 nbVisitedNodes=1784 nbRestartNogoods=20
1.21 mapSize=591 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.362 cpuTime=0.3 mem=15M8
1.35
1.35 search
1.35 run=9 nbConstraintChecks=1063786 nbPropagations=62815 nbRevisions=1035970 nbUselessRevisions=892563
1.35 nbAssignments=1684 nbFailedAssignments=467 nbBacktracks=1142 nbVisitedNodes=2692 nbRestartNogoods=28
1.35 mapSize=899 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.508 cpuTime=0.42 mem=15M8
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=15M8)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=1615064 nbPropagations=93869 nbRevisions=1579588 nbUselessRevisions=1361659
1.53 nbAssignments=2499 nbFailedAssignments=697 nbBacktracks=1718 nbVisitedNodes=4003 nbRestartNogoods=34
1.53 => wckTime=0.689 cpuTime=0.59 mem=15M8
1.78
1.78 search
1.78 run=11 nbConstraintChecks=2413063 nbPropagations=140126 nbRevisions=2395465 nbUselessRevisions=2066131
1.78 nbAssignments=3718 nbFailedAssignments=1044 nbBacktracks=2583 nbVisitedNodes=5978 nbRestartNogoods=39
1.78 => wckTime=0.932 cpuTime=0.84 mem=15M8
2.16
2.16 search
2.16 run=12 nbConstraintChecks=3695234 nbPropagations=210129 nbRevisions=3638728 nbUselessRevisions=3138220
2.16 nbAssignments=5620 nbFailedAssignments=1641 nbBacktracks=3883 nbVisitedNodes=9085 nbRestartNogoods=44
2.16 => wckTime=1.313 cpuTime=1.21 mem=15M8
2.69
2.69 search
2.69 run=13 nbConstraintChecks=5468270 nbPropagations=313577 nbRevisions=5475427 nbUselessRevisions=4721082
2.69 nbAssignments=8345 nbFailedAssignments=2413 nbBacktracks=5830 nbVisitedNodes=13484 nbRestartNogoods=48
2.69 => wckTime=1.85 cpuTime=1.74 mem=15M8
3.51
3.51 search
3.51 run=14 nbConstraintChecks=8167554 nbPropagations=467404 nbRevisions=8214076 nbUselessRevisions=7081756
3.51 nbAssignments=12421 nbFailedAssignments=3563 nbBacktracks=8750 nbVisitedNodes=20074 nbRestartNogoods=54
3.51 => wckTime=2.662 cpuTime=2.54 mem=15M8
4.74
4.74 search
4.74 run=15 nbConstraintChecks=12227762 nbPropagations=697238 nbRevisions=12324071 nbUselessRevisions=10626697
4.74 nbAssignments=18602 nbFailedAssignments=5361 nbBacktracks=13131 nbVisitedNodes=30158 nbRestartNogoods=60
4.74 => wckTime=3.892 cpuTime=3.76 mem=15M8
6.55
6.55 search
6.55 run=16 nbConstraintChecks=18284054 nbPropagations=1038945 nbRevisions=18475387 nbUselessRevisions=15936914
6.55 nbAssignments=27854 nbFailedAssignments=8037 nbBacktracks=19700 nbVisitedNodes=45091 nbRestartNogoods=63
6.55 => wckTime=5.702 cpuTime=5.56 mem=15M8
9.28
9.28 search
9.28 run=17 nbConstraintChecks=27381742 nbPropagations=1549761 nbRevisions=27652829 nbUselessRevisions=23852987
9.28 nbAssignments=41587 nbFailedAssignments=11913 nbBacktracks=29553 nbVisitedNodes=67314 nbRestartNogoods=72
9.28 => wckTime=8.441 cpuTime=8.27 mem=15M8
13.72
13.73 search
13.73 run=18 nbConstraintChecks=41877818 nbPropagations=2329247 nbRevisions=41596351 nbUselessRevisions=35860533
13.73 nbAssignments=62711 nbFailedAssignments=18252 nbBacktracks=44334 nbVisitedNodes=101874 nbRestartNogoods=76
13.73 => wckTime=12.881 cpuTime=12.71 mem=15M8
20.46
20.46 search
20.46 run=19 nbConstraintChecks=63479232 nbPropagations=3504782 nbRevisions=62666403 nbUselessRevisions=54007041
20.46 nbAssignments=94206 nbFailedAssignments=27572 nbBacktracks=66502 nbVisitedNodes=153158 nbRestartNogoods=82
20.46 => wckTime=19.615 cpuTime=19.43 mem=15M8
21.28
21.28 search
21.28 run=20 nbConstraintChecks=66078961 nbPropagations=4728303 nbRevisions=84591460 nbUselessRevisions=72888351
21.28 nbAssignments=97939 nbFailedAssignments=28681 nbBacktracks=69127 nbVisitedNodes=159241 nbRestartNogoods=89
21.28 => wckTime=20.435 cpuTime=20.25 mem=15M8
21.28
21.28 global
21.28 nbConstraintChecks=66078961 nbPropagations=4728343 nbRevisions=84591460 nbUselessRevisions=72888351
21.28 nbRestartNogoods=89 solvingWckTime=20.436 solvingCpuTime=20.25 expiredTime=no totalExploration=yes
21.28 nbFoundSolutions=0 globalCpuTime=20.66
21.28 => wckTime=20.982 cpuTime=20.61 mem=15M8
21.28
21.28 s UNSATISFIABLE
21.28 d NODES 97939
21.28 d CHECKS 66078961
21.28
21.28 totalWckTime=21.059 totalCpuTime=20.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-227419-1168080788 -o ROOT/results/node20/solver-227419-1168080788 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227419-1168080788/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.22 0.57 1.08 5/93 24451
/proc/meminfo: memFree=1719600/2055920 swapFree=4170284/4192956
[pid=24450] ppid=24448 vsize=18540 CPUtime=0
/proc/24450/stat : 24450 (runsolver) R 24448 24450 24222 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156474230 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24450/statm: 4635 279 244 17 0 2626 0
[startup+0.107653 s]
/proc/loadavg: 0.22 0.57 1.08 5/93 24451
/proc/meminfo: memFree=1719600/2055920 swapFree=4170284/4192956
[pid=24450] ppid=24448 vsize=914988 CPUtime=0.09
/proc/24450/stat : 24450 (java) R 24448 24450 24222 0 -1 0 3031 0 1 0 8 1 0 0 22 0 8 0 156474230 936947712 2777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153550974 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24450/statm: 228747 2777 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515702 s]
/proc/loadavg: 0.22 0.57 1.08 5/93 24451
/proc/meminfo: memFree=1719600/2055920 swapFree=4170284/4192956
[pid=24450] ppid=24448 vsize=915328 CPUtime=0.49
/proc/24450/stat : 24450 (java) R 24448 24450 24222 0 -1 0 6498 0 1 0 46 3 0 0 25 0 8 0 156474230 937295872 6237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24450/statm: 228832 6237 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3378 s]
/proc/loadavg: 0.37 0.59 1.09 3/100 24458
/proc/meminfo: memFree=1695992/2055920 swapFree=4170284/4192956
[pid=24450] ppid=24448 vsize=915584 CPUtime=1.29
/proc/24450/stat : 24450 (java) R 24448 24450 24222 0 -1 0 8673 0 1 0 123 6 0 0 25 0 8 0 156474230 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073904739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24450/statm: 228896 8411 2513 14 0 215366 0
[pid=24450/tid=24452] ppid=24448 vsize=915584 CPUtime=0.03
/proc/24450/task/24452/stat : 24452 (java) S 24448 24450 24222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156474234 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24453] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24453/stat : 24453 (java) S 24448 24450 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156474235 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24454] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24454/stat : 24454 (java) S 24448 24450 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156474235 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24455] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24455/stat : 24455 (java) S 24448 24450 24222 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156474238 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24456] ppid=24448 vsize=915584 CPUtime=0.24
/proc/24450/task/24456/stat : 24456 (java) S 24448 24450 24222 0 -1 64 411 0 0 0 23 1 0 0 16 0 8 0 156474238 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24457] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24457/stat : 24457 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156474238 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24458] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24458/stat : 24458 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156474238 937558016 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915584
[startup+2.98999 s]
/proc/loadavg: 0.37 0.59 1.09 3/100 24458
/proc/meminfo: memFree=1695736/2055920 swapFree=4170284/4192956
[pid=24450] ppid=24448 vsize=915584 CPUtime=2.93
/proc/24450/stat : 24450 (java) R 24448 24450 24222 0 -1 0 8699 0 1 0 287 6 0 0 25 0 8 0 156474230 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24450/statm: 228896 8436 2513 14 0 215366 0
[pid=24450/tid=24452] ppid=24448 vsize=915584 CPUtime=0.03
/proc/24450/task/24452/stat : 24452 (java) S 24448 24450 24222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156474234 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24453] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24453/stat : 24453 (java) S 24448 24450 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156474235 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24454] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24454/stat : 24454 (java) S 24448 24450 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156474235 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24455] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24455/stat : 24455 (java) S 24448 24450 24222 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156474238 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24456] ppid=24448 vsize=915584 CPUtime=0.26
/proc/24450/task/24456/stat : 24456 (java) S 24448 24450 24222 0 -1 64 418 0 0 0 25 1 0 0 16 0 8 0 156474238 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24457] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24457/stat : 24457 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156474238 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24458] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24458/stat : 24458 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156474238 937558016 8436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915584
[startup+6.27939 s]
/proc/loadavg: 0.50 0.61 1.09 3/100 24458
/proc/meminfo: memFree=1695736/2055920 swapFree=4170284/4192956
[pid=24450] ppid=24448 vsize=915584 CPUtime=6.19
/proc/24450/stat : 24450 (java) R 24448 24450 24222 0 -1 0 8705 0 1 0 613 6 0 0 25 0 8 0 156474230 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073921793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24450/statm: 228896 8441 2513 14 0 215366 0
[pid=24450/tid=24452] ppid=24448 vsize=915584 CPUtime=0.03
/proc/24450/task/24452/stat : 24452 (java) S 24448 24450 24222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156474234 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24453] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24453/stat : 24453 (java) S 24448 24450 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156474235 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24454] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24454/stat : 24454 (java) S 24448 24450 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156474235 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24455] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24455/stat : 24455 (java) S 24448 24450 24222 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156474238 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24456] ppid=24448 vsize=915584 CPUtime=0.26
/proc/24450/task/24456/stat : 24456 (java) S 24448 24450 24222 0 -1 64 418 0 0 0 25 1 0 0 15 0 8 0 156474238 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24457] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24457/stat : 24457 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156474238 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24458] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24458/stat : 24458 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156474238 937558016 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915584
[startup+12.7642 s]
/proc/loadavg: 0.62 0.64 1.10 2/88 24458
/proc/meminfo: memFree=1720216/2055920 swapFree=4170284/4192956
[pid=24450] ppid=24448 vsize=915584 CPUtime=12.64
/proc/24450/stat : 24450 (java) R 24448 24450 24222 0 -1 0 8709 0 1 0 1257 7 0 0 25 0 8 0 156474230 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24450/statm: 228896 8445 2513 14 0 215366 0
[pid=24450/tid=24452] ppid=24448 vsize=915584 CPUtime=0.03
/proc/24450/task/24452/stat : 24452 (java) S 24448 24450 24222 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156474234 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24453] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24453/stat : 24453 (java) S 24448 24450 24222 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156474235 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24454] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24454/stat : 24454 (java) S 24448 24450 24222 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156474235 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24455] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24455/stat : 24455 (java) S 24448 24450 24222 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156474238 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24456] ppid=24448 vsize=915584 CPUtime=0.26
/proc/24450/task/24456/stat : 24456 (java) S 24448 24450 24222 0 -1 64 418 0 0 0 25 1 0 0 15 0 8 0 156474238 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24457] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24457/stat : 24457 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156474238 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24450/tid=24458] ppid=24448 vsize=915584 CPUtime=0
/proc/24450/task/24458/stat : 24458 (java) S 24448 24450 24222 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156474238 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 21.3228
CPU time (s): 21.1698
CPU user time (s): 21.0908
CPU system time (s): 0.078987
CPU usage (%): 99.2823
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.0908
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8806
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= 1681
involuntary context switches= 2522
runsolver used 0.028995 s user time and 0.066989 s system time
The end
Begin job on node20 on Sat Jan 6 10:53:13 UTC 2007
IDJOB= 227419
IDBENCH= 6079
FILE ID= node20/227419-1168080788
PBS_JOBID= 3476109
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227419-1168080788/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-227419-1168080788 -o ROOT/results/node20/solver-227419-1168080788 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227419-1168080788/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 458b61b666f24b7113cc3de8b84cb338
RANDOM SEED= 333220317
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.216
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.216
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: 1720400 kB
Buffers: 40324 kB
Cached: 171340 kB
SwapCached: 4236 kB
Active: 112920 kB
Inactive: 153524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720400 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 3720 kB
Writeback: 0 kB
Mapped: 78596 kB
Slab: 53720 kB
Committed_AS: 3704076 kB
PageTables: 2488 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 node20 on Sat Jan 6 10:53:42 UTC 2007