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/208718-1168074812/unknown.xml
0.38
0.38 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.67
0.67 constraints being loaded...
0.84 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.84 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
0.84 => wckTime=0.521 cpuTime=0.46 mem=41M374
0.91
0.91 solver IterativeSystematicSolver being built...
1.07 => wckTime=0.761 cpuTime=0.6 mem=21M89
1.08
1.08 preprocessing
1.08 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.08 detectedInconsistency=no
1.08 => wckTime=0.0030 cpuTime=0.01 mem=21M89
1.19
1.19 search
1.19 run=0 nbConstraintChecks=32071 nbValidityChecks=56425 nbPropagations=374 nbRevisions=3532
1.19 nbUselessRevisions=2686 nbAssignments=32 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=57
1.19 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.114 cpuTime=0.08 mem=21M89
1.28
1.28 search
1.28 run=1 nbConstraintChecks=88048 nbValidityChecks=162797 nbPropagations=1336 nbRevisions=13867
1.28 nbUselessRevisions=10700 nbAssignments=83 nbFailedAssignments=51 nbBacktracks=25 nbVisitedNodes=153
1.28 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.201 cpuTime=0.16 mem=21M89
1.40
1.40 search
1.40 run=2 nbConstraintChecks=175718 nbValidityChecks=336526 nbPropagations=3158 nbRevisions=35476
1.40 nbUselessRevisions=27438 nbAssignments=167 nbFailedAssignments=110 nbBacktracks=47 nbVisitedNodes=313
1.40 nbRestartNogoods=18 mapSize=41 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.325 cpuTime=0.27 mem=21M89
1.56
1.56 search
1.56 run=3 nbConstraintChecks=289694 nbValidityChecks=561964 nbPropagations=6366 nbRevisions=72730
1.56 nbUselessRevisions=56113 nbAssignments=294 nbFailedAssignments=200 nbBacktracks=80 nbVisitedNodes=558
1.56 nbRestartNogoods=21 mapSize=74 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.48 cpuTime=0.42 mem=21M89
1.73
1.73 search
1.73 run=4 nbConstraintChecks=418403 nbValidityChecks=804678 nbPropagations=11338 nbRevisions=129280
1.73 nbUselessRevisions=99495 nbAssignments=426 nbFailedAssignments=279 nbBacktracks=130 nbVisitedNodes=808
1.73 nbRestartNogoods=26 mapSize=121 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.653 cpuTime=0.59 mem=21M89
2.03
2.03 search
2.03 run=5 nbConstraintChecks=654509 nbValidityChecks=1260439 nbPropagations=19062 nbRevisions=216704
2.03 nbUselessRevisions=167008 nbAssignments=646 nbFailedAssignments=421 nbBacktracks=206 nbVisitedNodes=1228
2.03 nbRestartNogoods=31 mapSize=190 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.955 cpuTime=0.88 mem=21M89
2.44
2.44 search
2.44 run=6 nbConstraintChecks=980882 nbValidityChecks=1874679 nbPropagations=30776 nbRevisions=347691
2.44 nbUselessRevisions=267732 nbAssignments=982 nbFailedAssignments=641 nbBacktracks=319 nbVisitedNodes=1870
2.44 nbRestartNogoods=37 mapSize=294 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=1.365 cpuTime=1.28 mem=21M89
3.07
3.07 search
3.07 run=7 nbConstraintChecks=1470926 nbValidityChecks=2868951 nbPropagations=48193 nbRevisions=547525
3.07 nbUselessRevisions=421901 nbAssignments=1505 nbFailedAssignments=990 nbBacktracks=491 nbVisitedNodes=2853
3.07 nbRestartNogoods=44 mapSize=440 nbInferences=0 nbTooLargeKeys=0
3.07 => wckTime=1.99 cpuTime=1.89 mem=21M89
3.96
3.96 search
3.96 run=8 nbConstraintChecks=2211200 nbValidityChecks=4267098 nbPropagations=74917 nbRevisions=848453
3.96 nbUselessRevisions=653216 nbAssignments=2267 nbFailedAssignments=1491 nbBacktracks=749 nbVisitedNodes=4318
3.96 nbRestartNogoods=65 mapSize=680 nbInferences=0 nbTooLargeKeys=0
3.96 => wckTime=2.887 cpuTime=2.77 mem=21M89
5.42
5.42 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=21M89)
5.54
5.54 search
5.54 run=9 nbConstraintChecks=3573325 nbValidityChecks=6892027 nbPropagations=115936 nbRevisions=1324692
5.54 nbUselessRevisions=1020303 nbAssignments=3374 nbFailedAssignments=2212 nbBacktracks=1133 nbVisitedNodes=6454
5.54 nbRestartNogoods=85
5.54 => wckTime=4.458 cpuTime=4.32 mem=21M89
7.63
7.63 search
7.63 run=10 nbConstraintChecks=5375836 nbValidityChecks=10423893 nbPropagations=178056 nbRevisions=2047551
7.63 nbUselessRevisions=1577222 nbAssignments=5122 nbFailedAssignments=3381 nbBacktracks=1710 nbVisitedNodes=9821
7.63 nbRestartNogoods=97
7.63 => wckTime=6.554 cpuTime=6.39 mem=22M59
10.41
10.41 search
10.41 run=11 nbConstraintChecks=7722442 nbValidityChecks=15080366 nbPropagations=268661 nbRevisions=3093949
10.41 nbUselessRevisions=2386807 nbAssignments=7557 nbFailedAssignments=4949 nbBacktracks=2574 nbVisitedNodes=14405
10.41 nbRestartNogoods=111
10.41 => wckTime=9.335 cpuTime=9.14 mem=22M59
14.92
14.92 search
14.92 run=12 nbConstraintChecks=11472852 nbValidityChecks=22744876 nbPropagations=410655 nbRevisions=4714017
14.92 nbUselessRevisions=3635393 nbAssignments=12258 nbFailedAssignments=8349 nbBacktracks=3871 nbVisitedNodes=23496
14.92 nbRestartNogoods=137
14.92 => wckTime=13.838 cpuTime=13.6 mem=22M59
22.68
22.68 search
22.68 run=13 nbConstraintChecks=18201318 nbValidityChecks=35425302 nbPropagations=630411 nbRevisions=7213034
22.68 nbUselessRevisions=5554247 nbAssignments=18589 nbFailedAssignments=12731 nbBacktracks=5817 nbVisitedNodes=35792
22.68 nbRestartNogoods=145
22.68 => wckTime=21.603 cpuTime=21.29 mem=22M59
34.04
34.04 search
34.04 run=14 nbConstraintChecks=28120919 nbValidityChecks=54250020 nbPropagations=960991 nbRevisions=10996624
34.04 nbUselessRevisions=8457237 nbAssignments=27373 nbFailedAssignments=18593 nbBacktracks=8736 nbVisitedNodes=52747
34.04 nbRestartNogoods=161
34.04 => wckTime=32.963 cpuTime=32.55 mem=22M59
41.59
41.59 search
41.59 run=15 nbConstraintChecks=34721408 nbValidityChecks=66630540 nbPropagations=1362961 nbRevisions=15606788
41.59 nbUselessRevisions=11991743 nbAssignments=33051 nbFailedAssignments=22433 nbBacktracks=10554
41.59 nbVisitedNodes=63721 nbRestartNogoods=168
41.59 => wckTime=40.51 cpuTime=40.03 mem=22M59
41.59
41.59 global
41.59 nbConstraintChecks=34721408 nbValidityChecks=66630540 nbPropagations=1362981 nbRevisions=15606788
41.59 nbUselessRevisions=11991743 nbRestartNogoods=168 solvingWckTime=40.512 solvingCpuTime=40.04 expiredTime=no
41.59 totalExploration=no nbFoundSolutions=1 globalCpuTime=40.69
41.59 => wckTime=41.276 cpuTime=40.64 mem=22M59
41.59
41.59 s SATISFIABLE
41.59 v 9 11 11 0 7 4 1 3 14 13 0 19 10 18 10 6 14 5 10 7
41.59 d NODES 33051
41.59 d CHECKS 34721408
41.59
41.59 totalWckTime=41.356 totalCpuTime=40.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-208718-1168074812 -o ROOT/results/node72/solver-208718-1168074812 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208718-1168074812/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.86 1.51 1.57 4/93 660
/proc/meminfo: memFree=1436320/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=11868 CPUtime=0
/proc/659/stat : 659 (java) D 657 659 32648 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 155890189 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2536228 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/659/statm: 2967 515 425 14 0 1602 0
[startup+0.104154 s]
/proc/loadavg: 1.86 1.51 1.57 4/93 660
/proc/meminfo: memFree=1436320/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=914988 CPUtime=0.08
/proc/659/stat : 659 (java) R 657 659 32648 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 155890189 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/659/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512189 s]
/proc/loadavg: 1.86 1.51 1.57 4/93 660
/proc/meminfo: memFree=1436320/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=915328 CPUtime=0.49
/proc/659/stat : 659 (java) R 657 659 32648 0 -1 0 7568 0 1 0 45 4 0 0 18 0 8 0 155890189 937295872 7307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153928157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/659/statm: 228832 7307 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33427 s]
/proc/loadavg: 1.86 1.51 1.57 3/100 667
/proc/meminfo: memFree=1379944/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=915460 CPUtime=1.3
/proc/659/stat : 659 (java) R 657 659 32648 0 -1 0 16787 0 1 0 121 9 0 0 24 0 8 0 155890189 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/659/statm: 228865 16524 2517 14 0 215335 0
[pid=659/tid=661] ppid=657 vsize=915460 CPUtime=0.06
/proc/659/task/661/stat : 661 (java) S 657 659 32648 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155890193 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=662] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/662/stat : 662 (java) S 657 659 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=663] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/663/stat : 663 (java) S 657 659 32648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=664] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/664/stat : 664 (java) S 657 659 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155890196 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=665] ppid=657 vsize=915460 CPUtime=0.16
/proc/659/task/665/stat : 665 (java) S 657 659 32648 0 -1 64 356 0 0 0 16 0 0 0 15 0 8 0 155890196 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=666] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/666/stat : 666 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155890197 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=667] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/667/stat : 667 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155890197 937431040 16524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98742 s]
/proc/loadavg: 1.87 1.52 1.57 3/100 667
/proc/meminfo: memFree=1379816/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=915460 CPUtime=2.93
/proc/659/stat : 659 (java) R 657 659 32648 0 -1 0 16799 0 1 0 284 9 0 0 25 0 8 0 155890189 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/659/statm: 228865 16535 2517 14 0 215335 0
[pid=659/tid=661] ppid=657 vsize=915460 CPUtime=0.06
/proc/659/task/661/stat : 661 (java) S 657 659 32648 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 155890193 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=662] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/662/stat : 662 (java) S 657 659 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=663] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/663/stat : 663 (java) S 657 659 32648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=664] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/664/stat : 664 (java) S 657 659 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155890196 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=665] ppid=657 vsize=915460 CPUtime=0.19
/proc/659/task/665/stat : 665 (java) S 657 659 32648 0 -1 64 368 0 0 0 19 0 0 0 15 0 8 0 155890196 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=666] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/666/stat : 666 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155890197 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=667] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/667/stat : 667 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155890197 937431040 16535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.18971 s]
/proc/loadavg: 1.87 1.52 1.57 3/100 667
/proc/meminfo: memFree=1379752/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=915460 CPUtime=6.11
/proc/659/stat : 659 (java) R 657 659 32648 0 -1 0 16813 0 1 0 602 9 0 0 25 0 8 0 155890189 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/659/statm: 228865 16547 2517 14 0 215335 0
[pid=659/tid=661] ppid=657 vsize=915460 CPUtime=0.06
/proc/659/task/661/stat : 661 (java) S 657 659 32648 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155890193 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=662] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/662/stat : 662 (java) S 657 659 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=663] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/663/stat : 663 (java) S 657 659 32648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=664] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/664/stat : 664 (java) S 657 659 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155890196 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=665] ppid=657 vsize=915460 CPUtime=0.22
/proc/659/task/665/stat : 665 (java) S 657 659 32648 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155890196 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=666] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/666/stat : 666 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155890197 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=667] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/667/stat : 667 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155890197 937431040 16547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.6693 s]
/proc/loadavg: 1.89 1.53 1.58 3/100 667
/proc/meminfo: memFree=1379688/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=915460 CPUtime=12.53
/proc/659/stat : 659 (java) R 657 659 32648 0 -1 0 16818 0 1 0 1243 10 0 0 25 0 8 0 155890189 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/659/statm: 228865 16551 2517 14 0 215335 0
[pid=659/tid=661] ppid=657 vsize=915460 CPUtime=0.06
/proc/659/task/661/stat : 661 (java) S 657 659 32648 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155890193 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=662] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/662/stat : 662 (java) S 657 659 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=663] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/663/stat : 663 (java) S 657 659 32648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=664] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/664/stat : 664 (java) S 657 659 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155890196 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=665] ppid=657 vsize=915460 CPUtime=0.23
/proc/659/task/665/stat : 665 (java) S 657 659 32648 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155890196 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=666] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/666/stat : 666 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155890197 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=667] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/667/stat : 667 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155890197 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915460
[startup+25.5285 s]
/proc/loadavg: 1.91 1.55 1.58 3/100 667
/proc/meminfo: memFree=1379752/2055920 swapFree=4192812/4192956
[pid=659] ppid=657 vsize=915460 CPUtime=25.28
/proc/659/stat : 659 (java) R 657 659 32648 0 -1 0 16818 0 1 0 2518 10 0 0 25 0 8 0 155890189 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/659/statm: 228865 16551 2517 14 0 215335 0
[pid=659/tid=661] ppid=657 vsize=915460 CPUtime=0.06
/proc/659/task/661/stat : 661 (java) S 657 659 32648 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155890193 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=662] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/662/stat : 662 (java) S 657 659 32648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=663] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/663/stat : 663 (java) S 657 659 32648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155890193 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=664] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/664/stat : 664 (java) S 657 659 32648 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155890196 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=665] ppid=657 vsize=915460 CPUtime=0.23
/proc/659/task/665/stat : 665 (java) S 657 659 32648 0 -1 64 386 0 0 0 22 1 0 0 16 0 8 0 155890196 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=666] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/666/stat : 666 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155890197 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=659/tid=667] ppid=657 vsize=915460 CPUtime=0
/proc/659/task/667/stat : 667 (java) S 657 659 32648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155890197 937431040 16551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 41.6445
CPU time (s): 41.2137
CPU user time (s): 41.0968
CPU system time (s): 0.116982
CPU usage (%): 98.9657
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.0968
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16824
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= 1904
involuntary context switches= 3156
runsolver used 0.054991 s user time and 0.141978 s system time
The end
Begin job on node72 on Sat Jan 6 09:13:32 UTC 2007
IDJOB= 208718
IDBENCH= 4428
FILE ID= node72/208718-1168074812
PBS_JOBID= 3476024
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208718-1168074812/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-208718-1168074812 -o ROOT/results/node72/solver-208718-1168074812 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208718-1168074812/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a3d1b6725db62d62d93fa0b4098d2359
RANDOM SEED= 542695111
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.223
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.223
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: 1436800 kB
Buffers: 40768 kB
Cached: 433396 kB
SwapCached: 0 kB
Active: 171432 kB
Inactive: 375120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1436800 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2876 kB
Writeback: 0 kB
Mapped: 101384 kB
Slab: 57272 kB
Committed_AS: 3404788 kB
PageTables: 2372 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= 66548 MiB
End job on node72 on Sat Jan 6 09:14:15 UTC 2007