0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/239745-1168085148/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.48 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.48 => wckTime=0.155 cpuTime=0.12 mem=7M894
0.48
0.48 relations being loaded...
0.49
0.49 constraints being loaded...
0.86 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.86 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.86 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.86 => wckTime=0.529 cpuTime=0.38 mem=23M497
0.93
0.93 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.783 cpuTime=0.52 mem=18M172
1.17
1.17 preprocessing
1.17 nbConstraintChecks=41692 nbPropagations=400 nbRevisions=3914 nbUselessRevisions=1224 nbRemovedValues=2690
1.17 detectedInconsistency=no
1.17 => wckTime=0.051 cpuTime=0.03 mem=18M172
1.22
1.22 search
1.22 run=0 nbConstraintChecks=7844 nbPropagations=711 nbRevisions=8982 nbUselessRevisions=5713 nbAssignments=44
1.22 nbFailedAssignments=3 nbBacktracks=22 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=4 nbInferences=0
1.22 nbTooLargeKeys=0
1.22 => wckTime=0.103 cpuTime=0.07 mem=18M172
1.23
1.23 search
1.23 run=1 nbConstraintChecks=12583 nbPropagations=1641 nbRevisions=20891 nbUselessRevisions=13993 nbAssignments=81
1.23 nbFailedAssignments=5 nbBacktracks=40 nbVisitedNodes=90 nbRestartNogoods=1 mapSize=6 nbInferences=0
1.24 nbTooLargeKeys=0
1.24 => wckTime=0.119 cpuTime=0.09 mem=18M172
1.26
1.26 search
1.26 run=2 nbConstraintChecks=25544 nbPropagations=3055 nbRevisions=41600 nbUselessRevisions=30162
1.26 nbAssignments=158 nbFailedAssignments=10 nbBacktracks=72 nbVisitedNodes=174 nbRestartNogoods=2 mapSize=9
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.148 cpuTime=0.11 mem=19M147
1.29
1.29 search
1.30 run=3 nbConstraintChecks=35825 nbPropagations=4932 nbRevisions=69022 nbUselessRevisions=52287
1.30 nbAssignments=245 nbFailedAssignments=16 nbBacktracks=112 nbVisitedNodes=273 nbRestartNogoods=6 mapSize=18
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.179 cpuTime=0.14 mem=19M147
1.32
1.32 search
1.32 run=4 nbConstraintChecks=46838 nbPropagations=7281 nbRevisions=103576 nbUselessRevisions=80720
1.32 nbAssignments=342 nbFailedAssignments=22 nbBacktracks=168 nbVisitedNodes=380 nbRestartNogoods=9 mapSize=24
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.208 cpuTime=0.17 mem=19M147
1.36
1.36 search
1.36 run=5 nbConstraintChecks=60185 nbPropagations=10197 nbRevisions=146858 nbUselessRevisions=116856
1.36 nbAssignments=449 nbFailedAssignments=32 nbBacktracks=244 nbVisitedNodes=510 nbRestartNogoods=13 mapSize=46
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.24 cpuTime=0.2 mem=19M147
1.41
1.41 search
1.41 run=6 nbConstraintChecks=92001 nbPropagations=14203 nbRevisions=211681 nbUselessRevisions=172228
1.41 nbAssignments=623 nbFailedAssignments=48 nbBacktracks=369 nbVisitedNodes=725 nbRestartNogoods=14 mapSize=85
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.298 cpuTime=0.25 mem=19M147
1.49
1.49 search
1.49 run=7 nbConstraintChecks=146431 nbPropagations=19913 nbRevisions=313521 nbUselessRevisions=260795
1.49 nbAssignments=861 nbFailedAssignments=75 nbBacktracks=541 nbVisitedNodes=1020 nbRestartNogoods=16 mapSize=136
1.49 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.378 cpuTime=0.33 mem=19M147
1.59
1.59 search
1.59 run=8 nbConstraintChecks=197932 nbPropagations=27482 nbRevisions=450288 nbUselessRevisions=380593
1.59 nbAssignments=1198 nbFailedAssignments=106 nbBacktracks=811 nbVisitedNodes=1418 nbRestartNogoods=22
1.59 mapSize=192 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.472 cpuTime=0.42 mem=19M147
1.73
1.73 search
1.73 run=9 nbConstraintChecks=268666 nbPropagations=37683 nbRevisions=635110 nbUselessRevisions=543213
1.73 nbAssignments=1697 nbFailedAssignments=159 nbBacktracks=1212 nbVisitedNodes=2017 nbRestartNogoods=27
1.73 mapSize=286 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.618 cpuTime=0.55 mem=20M123
1.92
1.92 search
1.92 run=10 nbConstraintChecks=361039 nbPropagations=51278 nbRevisions=882194 nbUselessRevisions=761332
1.92 nbAssignments=2413 nbFailedAssignments=235 nbBacktracks=1826 nbVisitedNodes=2873 nbRestartNogoods=33
1.92 mapSize=423 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.803 cpuTime=0.72 mem=20M123
2.19
2.19 search
2.19 run=11 nbConstraintChecks=543147 nbPropagations=70937 nbRevisions=1249470 nbUselessRevisions=1086365
2.19 nbAssignments=3452 nbFailedAssignments=353 nbBacktracks=2708 nbVisitedNodes=4153 nbRestartNogoods=36
2.19 mapSize=659 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=1.073 cpuTime=0.98 mem=21M98
2.57
2.57 search
2.57 run=12 nbConstraintChecks=806296 nbPropagations=98978 nbRevisions=1796657 nbUselessRevisions=1572213
2.57 nbAssignments=4960 nbFailedAssignments=501 nbBacktracks=4024 nbVisitedNodes=5958 nbRestartNogoods=41
2.57 mapSize=948 nbInferences=1 nbTooLargeKeys=0
2.57 => wckTime=1.455 cpuTime=1.36 mem=21M98
2.67
2.67 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=22M73)
3.08
3.08 search
3.08 run=13 nbConstraintChecks=1193275 nbPropagations=140124 nbRevisions=2605921 nbUselessRevisions=2291858
3.08 nbAssignments=7208 nbFailedAssignments=758 nbBacktracks=5982 nbVisitedNodes=8700 nbRestartNogoods=47
3.08 => wckTime=1.963 cpuTime=1.86 mem=22M73
3.84
3.84 search
3.84 run=14 nbConstraintChecks=1837438 nbPropagations=202750 nbRevisions=3858557 nbUselessRevisions=3409258
3.84 nbAssignments=10490 nbFailedAssignments=1084 nbBacktracks=8904 nbVisitedNodes=12692 nbRestartNogoods=53
3.84 => wckTime=2.727 cpuTime=2.62 mem=22M73
5.16
5.16 search
5.16 run=15 nbConstraintChecks=3043743 nbPropagations=304431 nbRevisions=5950049 nbUselessRevisions=5282211
5.16 nbAssignments=15536 nbFailedAssignments=1723 nbBacktracks=13301 nbVisitedNodes=18979 nbRestartNogoods=61
5.16 => wckTime=4.045 cpuTime=3.92 mem=22M73
7.53
7.53 search
7.53 run=16 nbConstraintChecks=5419048 nbPropagations=481297 nbRevisions=9690964 nbUselessRevisions=8636492
7.53 nbAssignments=23438 nbFailedAssignments=3033 nbBacktracks=19872 nbVisitedNodes=29496 nbRestartNogoods=64
7.53 => wckTime=6.416 cpuTime=6.27 mem=22M73
9.85
9.85 search
9.85 run=17 nbConstraintChecks=7824899 nbPropagations=730114 nbRevisions=15095714 nbUselessRevisions=13489834
9.85 nbAssignments=30753 nbFailedAssignments=4247 nbBacktracks=25573 nbVisitedNodes=39101 nbRestartNogoods=70
9.85 => wckTime=8.733 cpuTime=8.56 mem=22M73
9.85
9.85 global
9.85 nbConstraintChecks=7866591 nbPropagations=730514 nbRevisions=15099628 nbUselessRevisions=13491058
9.85 nbRestartNogoods=70 solvingWckTime=8.734 solvingCpuTime=8.57 expiredTime=no totalExploration=no
9.85 nbFoundSolutions=1 globalCpuTime=9.14
9.85 => wckTime=9.522 cpuTime=9.09 mem=22M73
9.85
9.85 s SATISFIABLE
9.85 v 19 16 12 0 17 5 1 4 2 6 10 8 9 13 15 18 7 11 14 3 3 11 0 10 8 9 18 17 5 13 7 16 14 12 4 19 6 1 2 15 0 17 11 7 10 1 2 18 15 19 9 13 12 8 6 5 3 14 16 4 18 1 16 4 9 6 7 0 3 14 13 11 5 15 12 10 17 2 8 19 11 8 5 3 6 0 4 15 16 2 19 18 10 9 1 13 14 17 12 7 12 0 9 15 18 7 11 2 19 3 4 6 17 10 14 8 1 16 5 13 1 5 15 6 0 13 17 16 14 18 11 10 3 4 9 2 8 19 7 12 4 2 6 16 13 18 12 3 11 7 15 19 8 14 10 1 9 5 17 0 13 7 8 17 4 2 9 6 12 15 5 14 16 11 18 0 19 3 1 10 2 19 17 8 14 11 5 13 4 10 1 9 6 0 3 7 12 18 15 16 15 12 4 2 3 10 14 8 1 9 0 17 11 7 19 16 13 6 18 5 8 15 7 18 12 17 3 5 10 1 16 2 4 19 13 9 11 0 6 14 6 14 19 5 15 3 8 9 0 12 18 1 7 2 16 4 10 13 11 17 7 10 1 11 19 14 13 12 6 16 8 4 18 3 17 15 5 9 0 2 10 18 14 13 11 12 19 7 17 0 2 5 15 6 8 3 16 4 9 1 17 9 13 19 5 4 15 1 8 11 3 12 2 16 0 14 18 7 10 6 9 13 2 1 16 15 6 10 18 8 14 3 19 5 7 17 0 12 4 11 5 3 18 12 2 8 16 14 7 4 17 0 13 1 11 6 15 10 19 9 14 6 10 9 7 16 0 19 13 5 12 15 1 17 2 11 4 8 3 18 16 4 3 14 1 19 10 11 9 17 6 7 0 18 5 12 2 15 13 8
9.85 d NODES 30753
9.85 d CHECKS 7866591
9.85
9.85 totalWckTime=9.603 totalCpuTime=9.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-239745-1168085148 -o ROOT/results/node17/solver-239745-1168085148 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239745-1168085148/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
/proc/loadavg: 1.67 1.93 1.89 4/93 16471
/proc/meminfo: memFree=989744/2055920 swapFree=4192812/4192956
[pid=16470] ppid=16468 vsize=18540 CPUtime=0
/proc/16470/stat : 16470 (runsolver) R 16468 15673 15673 0 -1 4194368 10 0 0 0 0 0 0 0 20 0 1 0 156910673 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245480060650 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16470/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108283 s]
/proc/loadavg: 1.67 1.93 1.89 4/93 16471
/proc/meminfo: memFree=989744/2055920 swapFree=4192812/4192956
[pid=16470] ppid=16468 vsize=913068 CPUtime=0.08
/proc/16470/stat : 16470 (java) S 16468 16470 15673 0 -1 0 2866 0 1 0 6 2 0 0 19 0 8 0 156910673 934981632 2612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16470/statm: 228267 2612 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.516326 s]
/proc/loadavg: 1.67 1.93 1.89 4/93 16471
/proc/meminfo: memFree=989744/2055920 swapFree=4192812/4192956
[pid=16470] ppid=16468 vsize=915328 CPUtime=0.49
/proc/16470/stat : 16470 (java) R 16468 16470 15673 0 -1 0 6404 0 1 0 44 5 0 0 18 0 8 0 156910673 937295872 6143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16470/statm: 228832 6143 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33941 s]
/proc/loadavg: 1.67 1.93 1.89 4/100 16478
/proc/meminfo: memFree=953912/2055920 swapFree=4192812/4192956
[pid=16470] ppid=16468 vsize=915676 CPUtime=1.29
/proc/16470/stat : 16470 (java) R 16468 16470 15673 0 -1 0 11685 0 1 0 121 8 0 0 23 0 8 0 156910673 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16470/statm: 228919 11423 2513 14 0 215389 0
[pid=16470/tid=16472] ppid=16468 vsize=915676 CPUtime=0.06
/proc/16470/task/16472/stat : 16472 (java) S 16468 16470 15673 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910678 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16473] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16473/stat : 16473 (java) S 16468 16470 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156910679 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16474] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16474/stat : 16474 (java) S 16468 16470 15673 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910679 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16475] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16475/stat : 16475 (java) S 16468 16470 15673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156910682 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16476] ppid=16468 vsize=915676 CPUtime=0.26
/proc/16470/task/16476/stat : 16476 (java) S 16468 16470 15673 0 -1 64 467 0 0 0 25 1 0 0 15 0 8 0 156910682 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16477] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16477/stat : 16477 (java) S 16468 16470 15673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910682 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16478] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16478/stat : 16478 (java) S 16468 16470 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156910682 937652224 11423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915676
[startup+2.99258 s]
/proc/loadavg: 1.67 1.93 1.89 3/100 16478
/proc/meminfo: memFree=953720/2055920 swapFree=4192812/4192956
[pid=16470] ppid=16468 vsize=915676 CPUtime=2.94
/proc/16470/stat : 16470 (java) R 16468 16470 15673 0 -1 0 11704 0 1 0 285 9 0 0 25 0 8 0 156910673 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16470/statm: 228919 11441 2513 14 0 215389 0
[pid=16470/tid=16472] ppid=16468 vsize=915676 CPUtime=0.06
/proc/16470/task/16472/stat : 16472 (java) S 16468 16470 15673 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 156910678 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16473] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16473/stat : 16473 (java) S 16468 16470 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156910679 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16474] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16474/stat : 16474 (java) S 16468 16470 15673 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910679 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16475] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16475/stat : 16475 (java) S 16468 16470 15673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156910682 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16476] ppid=16468 vsize=915676 CPUtime=0.31
/proc/16470/task/16476/stat : 16476 (java) S 16468 16470 15673 0 -1 64 485 0 0 0 30 1 0 0 15 0 8 0 156910682 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16477] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16477/stat : 16477 (java) S 16468 16470 15673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910682 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16478] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16478/stat : 16478 (java) S 16468 16470 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156910682 937652224 11441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915676
[startup+6.27693 s]
/proc/loadavg: 1.70 1.93 1.89 3/100 16478
/proc/meminfo: memFree=953720/2055920 swapFree=4192812/4192956
[pid=16470] ppid=16468 vsize=915676 CPUtime=6.19
/proc/16470/stat : 16470 (java) R 16468 16470 15673 0 -1 0 11708 0 1 0 610 9 0 0 25 0 8 0 156910673 937652224 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16470/statm: 228919 11443 2513 14 0 215389 0
[pid=16470/tid=16472] ppid=16468 vsize=915676 CPUtime=0.06
/proc/16470/task/16472/stat : 16472 (java) S 16468 16470 15673 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910678 937652224 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16473] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16473/stat : 16473 (java) S 16468 16470 15673 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156910679 937652224 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16474] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16474/stat : 16474 (java) S 16468 16470 15673 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910679 937652224 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16475] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16475/stat : 16475 (java) S 16468 16470 15673 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156910682 937652224 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16476] ppid=16468 vsize=915676 CPUtime=0.31
/proc/16470/task/16476/stat : 16476 (java) S 16468 16470 15673 0 -1 64 487 0 0 0 30 1 0 0 16 0 8 0 156910682 937652224 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16477] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16477/stat : 16477 (java) S 16468 16470 15673 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910682 937652224 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16470/tid=16478] ppid=16468 vsize=915676 CPUtime=0
/proc/16470/task/16478/stat : 16478 (java) S 16468 16470 15673 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156910682 937652224 11443 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) 915676
Child status: 0
Real time (s): 9.88907
CPU time (s): 9.75252
CPU user time (s): 9.65253
CPU system time (s): 0.099984
CPU usage (%): 98.6191
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.65253
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11718
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= 1538
involuntary context switches= 2205
runsolver used 0.013997 s user time and 0.038994 s system time
The end
Begin job on node17 on Sat Jan 6 12:05:51 UTC 2007
IDJOB= 239745
IDBENCH= 7081
FILE ID= node17/239745-1168085148
PBS_JOBID= 3476226
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239745-1168085148/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-239745-1168085148 -o ROOT/results/node17/solver-239745-1168085148 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239745-1168085148/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4821665824e2ba854c39f041c8d07da7
RANDOM SEED= 656830000
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: 990288 kB
Buffers: 47896 kB
Cached: 259260 kB
SwapCached: 0 kB
Active: 759280 kB
Inactive: 215536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 990288 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2220 kB
Writeback: 0 kB
Mapped: 696680 kB
Slab: 74356 kB
Committed_AS: 4678880 kB
PageTables: 3472 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= 66318 MiB
End job on node17 on Sat Jan 6 12:06:14 UTC 2007