0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/218312-1168079610/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.68
0.68 constraints being loaded...
0.84 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.84 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.84 => wckTime=0.528 cpuTime=0.48 mem=42M348
0.92
0.92 solver IterativeSystematicSolver being built...
1.08 => wckTime=0.771 cpuTime=0.62 mem=21M318
1.09
1.09 preprocessing
1.09 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.09 detectedInconsistency=no
1.09 => wckTime=0.0020 cpuTime=0.0 mem=21M318
1.19
1.19 search
1.19 run=0 nbConstraintChecks=24678 nbValidityChecks=47722 nbPropagations=332 nbRevisions=3402
1.19 nbUselessRevisions=2687 nbAssignments=37 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=67
1.19 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.105 cpuTime=0.07 mem=21M318
1.27
1.27 search
1.27 run=1 nbConstraintChecks=80210 nbValidityChecks=147778 nbPropagations=1164 nbRevisions=13691
1.27 nbUselessRevisions=10862 nbAssignments=81 nbFailedAssignments=46 nbBacktracks=26 nbVisitedNodes=147
1.27 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.189 cpuTime=0.14 mem=21M318
1.37
1.37 search
1.37 run=2 nbConstraintChecks=145556 nbValidityChecks=271666 nbPropagations=2634 nbRevisions=32270
1.37 nbUselessRevisions=25652 nbAssignments=138 nbFailedAssignments=76 nbBacktracks=49 nbVisitedNodes=250
1.37 nbRestartNogoods=6 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.283 cpuTime=0.24 mem=21M318
1.46
1.46 search
1.46 run=3 nbConstraintChecks=211072 nbValidityChecks=408478 nbPropagations=4931 nbRevisions=60096
1.46 nbUselessRevisions=47767 nbAssignments=230 nbFailedAssignments=130 nbBacktracks=84 nbVisitedNodes=414
1.46 nbRestartNogoods=11 mapSize=76 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.374 cpuTime=0.32 mem=21M318
1.67
1.67 search
1.67 run=4 nbConstraintChecks=374911 nbValidityChecks=727523 nbPropagations=9049 nbRevisions=110547
1.67 nbUselessRevisions=87792 nbAssignments=387 nbFailedAssignments=232 nbBacktracks=135 nbVisitedNodes=714
1.67 nbRestartNogoods=14 mapSize=124 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.587 cpuTime=0.53 mem=21M318
1.88
1.88 search
1.88 run=5 nbConstraintChecks=545723 nbValidityChecks=1049466 nbPropagations=14820 nbRevisions=182175
1.88 nbUselessRevisions=144858 nbAssignments=543 nbFailedAssignments=308 nbBacktracks=211 nbVisitedNodes=995
1.88 nbRestartNogoods=26 mapSize=192 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.798 cpuTime=0.73 mem=21M318
2.20
2.20 search
2.20 run=6 nbConstraintChecks=808076 nbValidityChecks=1570323 nbPropagations=23718 nbRevisions=290711
2.20 nbUselessRevisions=230633 nbAssignments=867 nbFailedAssignments=517 nbBacktracks=324 nbVisitedNodes=1599
2.20 nbRestartNogoods=34 mapSize=290 nbInferences=0 nbTooLargeKeys=0
2.20 => wckTime=1.114 cpuTime=1.05 mem=21M318
2.76
2.76 search
2.76 run=7 nbConstraintChecks=1275860 nbValidityChecks=2447987 nbPropagations=37205 nbRevisions=456075
2.76 nbUselessRevisions=361284 nbAssignments=1309 nbFailedAssignments=785 nbBacktracks=494 nbVisitedNodes=2424
2.76 nbRestartNogoods=41 mapSize=437 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.67 cpuTime=1.59 mem=21M318
3.74
3.74 search
3.74 run=8 nbConstraintChecks=2079152 nbValidityChecks=3987042 nbPropagations=58968 nbRevisions=728187
3.74 nbUselessRevisions=576594 nbAssignments=2051 nbFailedAssignments=1268 nbBacktracks=750 nbVisitedNodes=3843
3.74 nbRestartNogoods=50 mapSize=672 nbInferences=0 nbTooLargeKeys=0
3.74 => wckTime=2.658 cpuTime=2.56 mem=21M318
4.86
4.86 search
4.86 run=9 nbConstraintChecks=3054708 nbValidityChecks=5845236 nbPropagations=91070 nbRevisions=1122627
4.86 nbUselessRevisions=888363 nbAssignments=3007 nbFailedAssignments=1835 nbBacktracks=1134 nbVisitedNodes=5633
4.86 nbRestartNogoods=56 mapSize=1023 nbInferences=0 nbTooLargeKeys=0
4.86 => wckTime=3.771 cpuTime=3.66 mem=21M318
4.90
4.90 INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=22M288)
6.53
6.53 search
6.53 run=10 nbConstraintChecks=4503596 nbValidityChecks=8746649 nbPropagations=140122 nbRevisions=1718681
6.53 nbUselessRevisions=1358091 nbAssignments=4711 nbFailedAssignments=2958 nbBacktracks=1712 nbVisitedNodes=8860
6.53 nbRestartNogoods=68
6.53 => wckTime=5.44 cpuTime=5.31 mem=22M288
8.70
8.70 search
8.70 run=11 nbConstraintChecks=6419721 nbValidityChecks=12389104 nbPropagations=208608 nbRevisions=2564440
8.70 nbUselessRevisions=2027387 nbAssignments=6528 nbFailedAssignments=3907 nbBacktracks=2577 nbVisitedNodes=12178
8.70 nbRestartNogoods=85
8.70 => wckTime=7.614 cpuTime=7.48 mem=22M288
11.57
11.57 search
11.57 run=12 nbConstraintChecks=9025581 nbValidityChecks=17577692 nbPropagations=307859 nbRevisions=3775573
11.57 nbUselessRevisions=2983226 nbAssignments=9923 nbFailedAssignments=6000 nbBacktracks=3875 nbVisitedNodes=18429
11.57 nbRestartNogoods=99
11.57 => wckTime=10.482 cpuTime=10.33 mem=22M288
16.68
16.68 search
16.68 run=13 nbConstraintChecks=13486146 nbValidityChecks=26083447 nbPropagations=451223 nbRevisions=5563848
16.68 nbUselessRevisions=4400249 nbAssignments=14197 nbFailedAssignments=8324 nbBacktracks=5823 nbVisitedNodes=26331
16.68 nbRestartNogoods=113
16.68 => wckTime=15.592 cpuTime=15.42 mem=22M288
23.77
23.77 search
23.77 run=14 nbConstraintChecks=19835259 nbValidityChecks=38519407 nbPropagations=665639 nbRevisions=8209400
23.77 nbUselessRevisions=6491494 nbAssignments=21380 nbFailedAssignments=12584 nbBacktracks=8743 nbVisitedNodes=39714
23.77 nbRestartNogoods=119
23.77 => wckTime=22.683 cpuTime=22.47 mem=22M288
36.88
36.88 search
36.88 run=15 nbConstraintChecks=31176908 nbValidityChecks=60910697 nbPropagations=1009846 nbRevisions=12406925
36.88 nbUselessRevisions=9800237 nbAssignments=33980 nbFailedAssignments=20803 nbBacktracks=13121
36.88 nbVisitedNodes=63556 nbRestartNogoods=138
36.88 => wckTime=35.798 cpuTime=35.52 mem=22M288
56.31
56.31 search
56.31 run=16 nbConstraintChecks=47837009 nbValidityChecks=93500281 nbPropagations=1540287 nbRevisions=18824993
56.31 nbUselessRevisions=14851647 nbAssignments=51618 nbFailedAssignments=31869 nbBacktracks=19689
56.31 nbVisitedNodes=96810 nbRestartNogoods=159
56.31 => wckTime=55.227 cpuTime=54.86 mem=22M288
85.68
85.68 search
85.68 run=17 nbConstraintChecks=73222774 nbValidityChecks=143271100 nbPropagations=2350775 nbRevisions=28585237
85.68 nbUselessRevisions=22520395 nbAssignments=78772 nbFailedAssignments=49168 nbBacktracks=29541
85.68 nbVisitedNodes=148137 nbRestartNogoods=175
85.68 => wckTime=84.598 cpuTime=84.09 mem=22M288
99.79
99.79 search
99.79 run=18 nbConstraintChecks=85394845 nbValidityChecks=167099589 nbPropagations=3294529 nbRevisions=39934996
99.79 nbUselessRevisions=31434673 nbAssignments=91226 nbFailedAssignments=57074 nbBacktracks=34090
99.79 nbVisitedNodes=171774 nbRestartNogoods=195
99.79 => wckTime=98.708 cpuTime=98.13 mem=22M288
99.80
99.80 global
99.80 nbConstraintChecks=85394845 nbValidityChecks=167099589 nbPropagations=3294549 nbRevisions=39934996
99.80 nbUselessRevisions=31434673 nbRestartNogoods=195 solvingWckTime=98.709 solvingCpuTime=98.14 expiredTime=no
99.80 totalExploration=yes nbFoundSolutions=0 globalCpuTime=98.82
99.80 => wckTime=99.483 cpuTime=98.76 mem=22M288
99.80
99.80 s UNSATISFIABLE
99.80 d NODES 91226
99.80 d CHECKS 85394845
99.80
99.80 totalWckTime=99.564 totalCpuTime=98.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-218312-1168079610 -o ROOT/results/node40/solver-218312-1168079610 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218312-1168079610/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.89 1.88 1.80 4/80 27549
/proc/meminfo: memFree=1653784/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=11820 CPUtime=0
/proc/27548/stat : 27548 (java) D 27546 27548 26920 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 156360374 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6910756 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/27548/statm: 2955 510 421 14 0 1602 0
[startup+0.103318 s]
/proc/loadavg: 1.89 1.88 1.80 4/80 27549
/proc/meminfo: memFree=1653784/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=914988 CPUtime=0.09
/proc/27548/stat : 27548 (java) D 27546 27548 26920 0 -1 0 2987 0 1 0 7 2 0 0 18 0 8 0 156360374 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511366 s]
/proc/loadavg: 1.89 1.88 1.80 4/80 27549
/proc/meminfo: memFree=1653784/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=915328 CPUtime=0.5
/proc/27548/stat : 27548 (java) R 27546 27548 26920 0 -1 0 7578 0 1 0 45 5 0 0 18 0 8 0 156360374 937295872 7317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228832 7317 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33748 s]
/proc/loadavg: 1.89 1.88 1.80 4/87 27556
/proc/meminfo: memFree=1596320/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=915460 CPUtime=1.32
/proc/27548/stat : 27548 (java) R 27546 27548 26920 0 -1 0 17078 0 1 0 122 10 0 0 24 0 8 0 156360374 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228865 16815 2517 14 0 215335 0
[pid=27548/tid=27550] ppid=27546 vsize=915460 CPUtime=0.06
/proc/27548/task/27550/stat : 27550 (java) S 27546 27548 26920 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156360378 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27551] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27551/stat : 27551 (java) S 27546 27548 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27552] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27552/stat : 27552 (java) S 27546 27548 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27553] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27553/stat : 27553 (java) S 27546 27548 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156360382 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27554] ppid=27546 vsize=915460 CPUtime=0.15
/proc/27548/task/27554/stat : 27554 (java) S 27546 27548 26920 0 -1 64 355 0 0 0 15 0 0 0 15 0 8 0 156360382 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27555] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27555/stat : 27555 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156360382 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27556] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27556/stat : 27556 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156360382 937431040 16815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.98569 s]
/proc/loadavg: 1.89 1.88 1.80 3/87 27556
/proc/meminfo: memFree=1596192/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=915460 CPUtime=2.96
/proc/27548/stat : 27548 (java) R 27546 27548 26920 0 -1 0 17092 0 1 0 286 10 0 0 25 0 8 0 156360374 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228865 16828 2518 14 0 215335 0
[pid=27548/tid=27550] ppid=27546 vsize=915460 CPUtime=0.06
/proc/27548/task/27550/stat : 27550 (java) S 27546 27548 26920 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 156360378 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27551] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27551/stat : 27551 (java) S 27546 27548 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27552] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27552/stat : 27552 (java) S 27546 27548 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27553] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27553/stat : 27553 (java) S 27546 27548 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156360382 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27554] ppid=27546 vsize=915460 CPUtime=0.18
/proc/27548/task/27554/stat : 27554 (java) S 27546 27548 26920 0 -1 64 367 0 0 0 18 0 0 0 15 0 8 0 156360382 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27555] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27555/stat : 27555 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156360382 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27556] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27556/stat : 27556 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156360382 937431040 16828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.26511 s]
/proc/loadavg: 1.90 1.89 1.80 3/87 27556
/proc/meminfo: memFree=1596000/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=915460 CPUtime=6.22
/proc/27548/stat : 27548 (java) R 27546 27548 26920 0 -1 0 17110 0 1 0 612 10 0 0 25 0 8 0 156360374 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228865 16843 2518 14 0 215335 0
[pid=27548/tid=27550] ppid=27546 vsize=915460 CPUtime=0.06
/proc/27548/task/27550/stat : 27550 (java) S 27546 27548 26920 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 156360378 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27551] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27551/stat : 27551 (java) S 27546 27548 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27552] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27552/stat : 27552 (java) S 27546 27548 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27553] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27553/stat : 27553 (java) S 27546 27548 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27554] ppid=27546 vsize=915460 CPUtime=0.21
/proc/27548/task/27554/stat : 27554 (java) S 27546 27548 26920 0 -1 64 385 0 0 0 21 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27555] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27555/stat : 27555 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27556] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27556/stat : 27556 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.76 s]
/proc/loadavg: 1.91 1.89 1.81 3/87 27556
/proc/meminfo: memFree=1596000/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=915460 CPUtime=12.68
/proc/27548/stat : 27548 (java) R 27546 27548 26920 0 -1 0 17111 0 1 0 1258 10 0 0 25 0 8 0 156360374 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228865 16843 2518 14 0 215335 0
[pid=27548/tid=27550] ppid=27546 vsize=915460 CPUtime=0.06
/proc/27548/task/27550/stat : 27550 (java) S 27546 27548 26920 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156360378 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27551] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27551/stat : 27551 (java) S 27546 27548 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27552] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27552/stat : 27552 (java) S 27546 27548 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27553] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27553/stat : 27553 (java) S 27546 27548 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27554] ppid=27546 vsize=915460 CPUtime=0.21
/proc/27548/task/27554/stat : 27554 (java) S 27546 27548 26920 0 -1 64 385 0 0 0 21 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27555] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27555/stat : 27555 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27556] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27556/stat : 27556 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.6196 s]
/proc/loadavg: 1.92 1.89 1.81 3/87 27556
/proc/meminfo: memFree=1596064/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=915460 CPUtime=25.48
/proc/27548/stat : 27548 (java) R 27546 27548 26920 0 -1 0 17111 0 1 0 2538 10 0 0 25 0 8 0 156360374 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228865 16843 2518 14 0 215335 0
[pid=27548/tid=27550] ppid=27546 vsize=915460 CPUtime=0.06
/proc/27548/task/27550/stat : 27550 (java) S 27546 27548 26920 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156360378 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27551] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27551/stat : 27551 (java) S 27546 27548 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27552] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27552/stat : 27552 (java) S 27546 27548 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27553] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27553/stat : 27553 (java) S 27546 27548 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27554] ppid=27546 vsize=915460 CPUtime=0.21
/proc/27548/task/27554/stat : 27554 (java) S 27546 27548 26920 0 -1 64 385 0 0 0 21 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27555] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27555/stat : 27555 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27556] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27556/stat : 27556 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.2459 s]
/proc/loadavg: 1.95 1.90 1.81 3/87 27556
/proc/meminfo: memFree=1596128/2055920 swapFree=4192812/4192956
[pid=27548] ppid=27546 vsize=915460 CPUtime=50.98
/proc/27548/stat : 27548 (java) R 27546 27548 26920 0 -1 0 17111 0 1 0 5088 10 0 0 25 0 8 0 156360374 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27548/statm: 228865 16843 2518 14 0 215335 0
[pid=27548/tid=27550] ppid=27546 vsize=915460 CPUtime=0.06
/proc/27548/task/27550/stat : 27550 (java) S 27546 27548 26920 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156360378 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27551] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27551/stat : 27551 (java) S 27546 27548 26920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27552] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27552/stat : 27552 (java) S 27546 27548 26920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360379 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27553] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27553/stat : 27553 (java) S 27546 27548 26920 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27554] ppid=27546 vsize=915460 CPUtime=0.21
/proc/27548/task/27554/stat : 27554 (java) S 27546 27548 26920 0 -1 64 385 0 0 0 21 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27555] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27555/stat : 27555 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27548/tid=27556] ppid=27546 vsize=915460 CPUtime=0
/proc/27548/task/27556/stat : 27556 (java) S 27546 27548 26920 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156360382 937431040 16843 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 99.8462
CPU time (s): 99.3339
CPU user time (s): 99.2149
CPU system time (s): 0.118981
CPU usage (%): 99.4869
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.2149
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17117
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= 3087
involuntary context switches= 4316
runsolver used 0.108983 s user time and 0.343947 s system time
The end
Begin job on node40 on Sat Jan 6 10:33:30 UTC 2007
IDJOB= 218312
IDBENCH= 5224
FILE ID= node40/218312-1168079610
PBS_JOBID= 3476071
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218312-1168079610/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-218312-1168079610 -o ROOT/results/node40/solver-218312-1168079610 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218312-1168079610/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 506550cbda854d967347adcd3ccbb79b
RANDOM SEED= 730149854
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.239
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.239
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: 1654200 kB
Buffers: 20484 kB
Cached: 204596 kB
SwapCached: 0 kB
Active: 155212 kB
Inactive: 175644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1654200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2876 kB
Writeback: 0 kB
Mapped: 125972 kB
Slab: 56052 kB
Committed_AS: 3769548 kB
PageTables: 1992 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= 66540 MiB
End job on node40 on Sat Jan 6 10:35:10 UTC 2007