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/227786-1168080823/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.40 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.66 nbConstraints=753 nbRelationTypes=753 nbExtensionStructures=753 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=753 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11918 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.359 cpuTime=0.24 mem=11M844
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.55 cpuTime=0.35 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.012 cpuTime=0.01 mem=14M16
0.90
0.90 search
0.90 run=0 nbConstraintChecks=15073 nbPropagations=397 nbRevisions=4410 nbUselessRevisions=3737 nbAssignments=25
0.90 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.049 cpuTime=0.04 mem=15M8
0.93
0.93 search
0.93 run=1 nbConstraintChecks=31882 nbPropagations=1186 nbRevisions=13957 nbUselessRevisions=11811 nbAssignments=60
0.93 nbFailedAssignments=13 nbBacktracks=31 nbVisitedNodes=89 nbRestartNogoods=3 mapSize=22 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.078 cpuTime=0.06 mem=15M8
0.94
0.94 search
0.94 run=2 nbConstraintChecks=58345 nbPropagations=2527 nbRevisions=31604 nbUselessRevisions=26774
0.94 nbAssignments=102 nbFailedAssignments=23 nbBacktracks=55 nbVisitedNodes=154 nbRestartNogoods=5 mapSize=41
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.092 cpuTime=0.07 mem=15M8
0.96
0.96 search
0.96 run=3 nbConstraintChecks=99784 nbPropagations=4674 nbRevisions=63606 nbUselessRevisions=54106
0.96 nbAssignments=160 nbFailedAssignments=38 nbBacktracks=93 nbVisitedNodes=245 nbRestartNogoods=8 mapSize=69
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.113 cpuTime=0.09 mem=15M8
0.99
0.99 search
0.99 run=4 nbConstraintChecks=153733 nbPropagations=7875 nbRevisions=112712 nbUselessRevisions=96067
0.99 nbAssignments=244 nbFailedAssignments=64 nbBacktracks=143 nbVisitedNodes=378 nbRestartNogoods=10 mapSize=111
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.136 cpuTime=0.11 mem=15M8
1.02
1.02 search
1.02 run=5 nbConstraintChecks=240494 nbPropagations=12724 nbRevisions=188994 nbUselessRevisions=160931
1.03 nbAssignments=364 nbFailedAssignments=100 nbBacktracks=220 nbVisitedNodes=571 nbRestartNogoods=14 mapSize=175
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.173 cpuTime=0.14 mem=15M8
1.07
1.07 search
1.07 run=6 nbConstraintChecks=360382 nbPropagations=19828 nbRevisions=304429 nbUselessRevisions=259222
1.07 nbAssignments=533 nbFailedAssignments=151 nbBacktracks=333 nbVisitedNodes=848 nbRestartNogoods=17 mapSize=270
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.218 cpuTime=0.19 mem=15M8
1.14
1.14 search
1.14 run=7 nbConstraintChecks=529641 nbPropagations=30173 nbRevisions=473421 nbUselessRevisions=403120
1.14 nbAssignments=791 nbFailedAssignments=227 nbBacktracks=503 nbVisitedNodes=1262 nbRestartNogoods=19 mapSize=409
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.285 cpuTime=0.25 mem=15M8
1.22
1.22 search
1.22 run=8 nbConstraintChecks=756689 nbPropagations=44813 nbRevisions=717100 nbUselessRevisions=611051
1.22 nbAssignments=1149 nbFailedAssignments=321 nbBacktracks=759 nbVisitedNodes=1831 nbRestartNogoods=25
1.22 mapSize=600 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.37 cpuTime=0.33 mem=15M8
1.37
1.37 search
1.37 run=9 nbConstraintChecks=1128481 nbPropagations=66261 nbRevisions=1087328 nbUselessRevisions=928620
1.37 nbAssignments=1709 nbFailedAssignments=491 nbBacktracks=1145 nbVisitedNodes=2743 nbRestartNogoods=32
1.37 mapSize=914 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.521 cpuTime=0.46 mem=15M8
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=15M8)
1.56
1.56 search
1.56 run=10 nbConstraintChecks=1677660 nbPropagations=98040 nbRevisions=1638859 nbUselessRevisions=1402283
1.56 nbAssignments=2538 nbFailedAssignments=734 nbBacktracks=1721 nbVisitedNodes=4092 nbRestartNogoods=35
1.56 => wckTime=0.707 cpuTime=0.63 mem=15M8
1.82
1.82 search
1.82 run=11 nbConstraintChecks=2556500 nbPropagations=145724 nbRevisions=2476043 nbUselessRevisions=2121192
1.82 nbAssignments=3783 nbFailedAssignments=1110 nbBacktracks=2585 nbVisitedNodes=6137 nbRestartNogoods=42
1.82 => wckTime=0.967 cpuTime=0.89 mem=15M8
2.19
2.19 search
2.19 run=12 nbConstraintChecks=3809631 nbPropagations=216527 nbRevisions=3718912 nbUselessRevisions=3187883
2.19 nbAssignments=5620 nbFailedAssignments=1644 nbBacktracks=3882 nbVisitedNodes=9123 nbRestartNogoods=47
2.19 => wckTime=1.342 cpuTime=1.27 mem=15M8
2.75
2.75 search
2.75 run=13 nbConstraintChecks=5661329 nbPropagations=321538 nbRevisions=5574962 nbUselessRevisions=4782543
2.75 nbAssignments=8377 nbFailedAssignments=2447 nbBacktracks=5831 nbVisitedNodes=13614 nbRestartNogoods=53
2.75 => wckTime=1.899 cpuTime=1.82 mem=15M8
3.55
3.55 search
3.55 run=14 nbConstraintChecks=8322693 nbPropagations=476468 nbRevisions=8319382 nbUselessRevisions=7142981
3.55 nbAssignments=12475 nbFailedAssignments=3619 nbBacktracks=8750 nbVisitedNodes=20290 nbRestartNogoods=59
3.55 => wckTime=2.7 cpuTime=2.61 mem=15M8
4.83
4.83 search
4.83 run=15 nbConstraintChecks=12567668 nbPropagations=710628 nbRevisions=12464952 nbUselessRevisions=10707922
4.83 nbAssignments=18747 nbFailedAssignments=5505 nbBacktracks=13128 nbVisitedNodes=30584 nbRestartNogoods=65
4.83 => wckTime=3.976 cpuTime=3.88 mem=15M8
6.76
6.76 search
6.76 run=16 nbConstraintChecks=19091062 nbPropagations=1063863 nbRevisions=18741354 nbUselessRevisions=16103508
6.76 nbAssignments=28067 nbFailedAssignments=8249 nbBacktracks=19696 nbVisitedNodes=45891 nbRestartNogoods=76
6.76 => wckTime=5.904 cpuTime=5.8 mem=15M8
9.61
9.61 search
9.61 run=17 nbConstraintChecks=28751572 nbPropagations=1594960 nbRevisions=28196678 nbUselessRevisions=24234941
9.61 nbAssignments=42144 nbFailedAssignments=12470 nbBacktracks=29548 nbVisitedNodes=68965 nbRestartNogoods=87
9.61 => wckTime=8.76 cpuTime=8.64 mem=15M8
13.93
13.93 search
13.93 run=18 nbConstraintChecks=43438963 nbPropagations=2393517 nbRevisions=42447387 nbUselessRevisions=36485966
13.93 nbAssignments=63138 nbFailedAssignments=18679 nbBacktracks=44328 nbVisitedNodes=103380 nbRestartNogoods=90
13.93 => wckTime=13.079 cpuTime=12.94 mem=15M8
18.74
18.74 search
18.74 run=19 nbConstraintChecks=58982436 nbPropagations=3475321 nbRevisions=61710147 nbUselessRevisions=53031207
18.74 nbAssignments=85046 nbFailedAssignments=25208 nbBacktracks=59708 nbVisitedNodes=139251 nbRestartNogoods=99
18.74 => wckTime=17.886 cpuTime=17.74 mem=15M8
18.74
18.74 global
18.74 nbConstraintChecks=58982436 nbPropagations=3475361 nbRevisions=61710147 nbUselessRevisions=53031207
18.74 nbRestartNogoods=99 solvingWckTime=17.887 solvingCpuTime=17.74 expiredTime=no totalExploration=yes
18.74 nbFoundSolutions=0 globalCpuTime=18.13
18.74 => wckTime=18.439 cpuTime=18.09 mem=15M8
18.74
18.74 s UNSATISFIABLE
18.74 d NODES 85046
18.74 d CHECKS 58982436
18.74
18.74 totalWckTime=18.515 totalCpuTime=18.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-227786-1168080823 -o ROOT/results/node19/solver-227786-1168080823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227786-1168080823/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.12 0.79 1.42 3/81 24403
/proc/meminfo: memFree=1250552/2055920 swapFree=4171232/4192956
[pid=24402] ppid=24400 vsize=172 CPUtime=0
/proc/24402/stat : 24402 (java) R 24400 24402 24044 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156477912 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 1 0 0
/proc/24402/statm: 43 24 18 14 0 3 0
[startup+0.103192 s]
/proc/loadavg: 0.12 0.79 1.42 3/81 24403
/proc/meminfo: memFree=1250552/2055920 swapFree=4171232/4192956
[pid=24402] ppid=24400 vsize=914988 CPUtime=0.08
/proc/24402/stat : 24402 (java) R 24400 24402 24044 0 -1 0 2995 0 1 0 7 1 0 0 22 0 8 0 156477912 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24402/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511269 s]
/proc/loadavg: 0.12 0.79 1.42 3/81 24403
/proc/meminfo: memFree=1250552/2055920 swapFree=4171232/4192956
[pid=24402] ppid=24400 vsize=915328 CPUtime=0.48
/proc/24402/stat : 24402 (java) R 24400 24402 24044 0 -1 0 6450 0 1 0 45 3 0 0 25 0 8 0 156477912 937295872 6189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24402/statm: 228832 6189 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33342 s]
/proc/loadavg: 0.12 0.79 1.42 3/100 24422
/proc/meminfo: memFree=1202400/2055920 swapFree=4171232/4192956
[pid=24402] ppid=24400 vsize=915584 CPUtime=1.3
/proc/24402/stat : 24402 (java) R 24400 24402 24044 0 -1 0 8669 0 1 0 125 5 0 0 25 0 8 0 156477912 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24402/statm: 228896 8407 2513 14 0 215366 0
[pid=24402/tid=24409] ppid=24400 vsize=915584 CPUtime=0.03
/proc/24402/task/24409/stat : 24409 (java) S 24400 24402 24044 0 -1 64 305 0 0 0 3 0 0 0 17 0 8 0 156477916 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24410] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24410/stat : 24410 (java) S 24400 24402 24044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477916 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24411] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24411/stat : 24411 (java) S 24400 24402 24044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477916 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24415] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24415/stat : 24415 (java) S 24400 24402 24044 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156477919 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24416] ppid=24400 vsize=915584 CPUtime=0.25
/proc/24402/task/24416/stat : 24416 (java) S 24400 24402 24044 0 -1 64 409 0 0 0 25 0 0 0 15 0 8 0 156477919 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24417] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24417/stat : 24417 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156477919 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24418] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24418/stat : 24418 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477919 937558016 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915584
[startup+2.98073 s]
/proc/loadavg: 0.27 0.81 1.42 3/100 24422
/proc/meminfo: memFree=1201824/2055920 swapFree=4171232/4192956
[pid=24402] ppid=24400 vsize=915584 CPUtime=2.94
/proc/24402/stat : 24402 (java) R 24400 24402 24044 0 -1 0 8698 0 1 0 289 5 0 0 25 0 8 0 156477912 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24402/statm: 228896 8435 2513 14 0 215366 0
[pid=24402/tid=24409] ppid=24400 vsize=915584 CPUtime=0.03
/proc/24402/task/24409/stat : 24409 (java) S 24400 24402 24044 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156477916 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24410] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24410/stat : 24410 (java) S 24400 24402 24044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477916 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24411] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24411/stat : 24411 (java) S 24400 24402 24044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477916 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24415] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24415/stat : 24415 (java) S 24400 24402 24044 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156477919 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24416] ppid=24400 vsize=915584 CPUtime=0.27
/proc/24402/task/24416/stat : 24416 (java) S 24400 24402 24044 0 -1 64 417 0 0 0 27 0 0 0 16 0 8 0 156477919 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24417] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24417/stat : 24417 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156477919 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24418] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24418/stat : 24418 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477919 937558016 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915584
[startup+6.26535 s]
/proc/loadavg: 0.27 0.81 1.42 3/100 24422
/proc/meminfo: memFree=1201824/2055920 swapFree=4171232/4192956
[pid=24402] ppid=24400 vsize=915584 CPUtime=6.21
/proc/24402/stat : 24402 (java) R 24400 24402 24044 0 -1 0 8704 0 1 0 616 5 0 0 25 0 8 0 156477912 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24402/statm: 228896 8441 2513 14 0 215366 0
[pid=24402/tid=24409] ppid=24400 vsize=915584 CPUtime=0.03
/proc/24402/task/24409/stat : 24409 (java) S 24400 24402 24044 0 -1 64 305 0 0 0 3 0 0 0 17 0 8 0 156477916 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24410] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24410/stat : 24410 (java) S 24400 24402 24044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477916 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24411] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24411/stat : 24411 (java) S 24400 24402 24044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477916 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24415] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24415/stat : 24415 (java) S 24400 24402 24044 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156477919 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24416] ppid=24400 vsize=915584 CPUtime=0.28
/proc/24402/task/24416/stat : 24416 (java) S 24400 24402 24044 0 -1 64 418 0 0 0 28 0 0 0 15 0 8 0 156477919 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24417] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24417/stat : 24417 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156477919 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24418] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24418/stat : 24418 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477919 937558016 8441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915584
[startup+12.7486 s]
/proc/loadavg: 0.53 0.84 1.43 3/100 24422
/proc/meminfo: memFree=1201776/2055920 swapFree=4171232/4192956
[pid=24402] ppid=24400 vsize=915584 CPUtime=12.66
/proc/24402/stat : 24402 (java) R 24400 24402 24044 0 -1 0 8710 0 1 0 1261 5 0 0 25 0 8 0 156477912 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24402/statm: 228896 8446 2513 14 0 215366 0
[pid=24402/tid=24409] ppid=24400 vsize=915584 CPUtime=0.03
/proc/24402/task/24409/stat : 24409 (java) S 24400 24402 24044 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156477916 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24410] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24410/stat : 24410 (java) S 24400 24402 24044 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477916 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24411] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24411/stat : 24411 (java) S 24400 24402 24044 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477916 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24415] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24415/stat : 24415 (java) S 24400 24402 24044 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156477919 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24416] ppid=24400 vsize=915584 CPUtime=0.28
/proc/24402/task/24416/stat : 24416 (java) S 24400 24402 24044 0 -1 64 418 0 0 0 28 0 0 0 15 0 8 0 156477919 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24417] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24417/stat : 24417 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156477919 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24402/tid=24418] ppid=24400 vsize=915584 CPUtime=0
/proc/24402/task/24418/stat : 24418 (java) S 24400 24402 24044 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477919 937558016 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 18.7637
CPU time (s): 18.6582
CPU user time (s): 18.5932
CPU system time (s): 0.06499
CPU usage (%): 99.4375
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.5932
system time used= 0.06499
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= 1677
involuntary context switches= 2345
runsolver used 0.027995 s user time and 0.058991 s system time
The end
Begin job on node19 on Sat Jan 6 10:53:47 UTC 2007
IDJOB= 227786
IDBENCH= 6115
FILE ID= node19/227786-1168080823
PBS_JOBID= 3475873
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-55_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227786-1168080823/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-227786-1168080823 -o ROOT/results/node19/solver-227786-1168080823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227786-1168080823/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f87912030abf6c4e4ba3b9616b92c958
RANDOM SEED= 921875630
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.260
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.260
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: 1250968 kB
Buffers: 70480 kB
Cached: 598736 kB
SwapCached: 10036 kB
Active: 291444 kB
Inactive: 413076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1250968 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 3828 kB
Writeback: 0 kB
Mapped: 44568 kB
Slab: 85328 kB
Committed_AS: 3605908 kB
PageTables: 2208 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= 66310 MiB
End job on node19 on Sat Jan 6 10:54:16 UTC 2007