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/208796-1168074840/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.097 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.69
0.69 constraints being loaded...
0.86 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.86 => wckTime=0.541 cpuTime=0.49 mem=42M392
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.788 cpuTime=0.62 mem=21M311
1.11
1.11 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.0020 cpuTime=0.0 mem=21M311
1.23
1.23 search
1.23 run=0 nbConstraintChecks=30638 nbValidityChecks=57750 nbPropagations=403 nbRevisions=4100
1.23 nbUselessRevisions=3196 nbAssignments=43 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=80
1.23 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.12 cpuTime=0.07 mem=21M311
1.29
1.29 search
1.29 run=1 nbConstraintChecks=73975 nbValidityChecks=142699 nbPropagations=1372 nbRevisions=14900
1.29 nbUselessRevisions=11646 nbAssignments=95 nbFailedAssignments=58 nbBacktracks=26 nbVisitedNodes=174
1.29 nbRestartNogoods=7 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.182 cpuTime=0.13 mem=21M311
1.34
1.34 search
1.34 run=2 nbConstraintChecks=108483 nbValidityChecks=205690 nbPropagations=2722 nbRevisions=30278
1.34 nbUselessRevisions=23677 nbAssignments=147 nbFailedAssignments=81 nbBacktracks=51 nbVisitedNodes=259
1.34 nbRestartNogoods=11 mapSize=38 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.234 cpuTime=0.18 mem=21M311
1.42
1.42 search
1.42 run=3 nbConstraintChecks=165977 nbValidityChecks=318294 nbPropagations=4783 nbRevisions=54097
1.42 nbUselessRevisions=42388 nbAssignments=220 nbFailedAssignments=115 nbBacktracks=84 nbVisitedNodes=383
1.42 nbRestartNogoods=15 mapSize=63 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.31 cpuTime=0.25 mem=21M311
1.60
1.60 search
1.60 run=4 nbConstraintChecks=328654 nbValidityChecks=628504 nbPropagations=8661 nbRevisions=98534
1.60 nbUselessRevisions=77007 nbAssignments=426 nbFailedAssignments=267 nbBacktracks=134 nbVisitedNodes=781
1.60 nbRestartNogoods=21 mapSize=108 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.491 cpuTime=0.43 mem=21M311
1.72
1.72 search
1.72 run=5 nbConstraintChecks=424154 nbValidityChecks=808122 nbPropagations=13806 nbRevisions=157420
1.72 nbUselessRevisions=123045 nbAssignments=555 nbFailedAssignments=315 nbBacktracks=211 nbVisitedNodes=995
1.72 nbRestartNogoods=31 mapSize=160 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.61 cpuTime=0.54 mem=21M311
1.93
1.93 search
1.93 run=6 nbConstraintChecks=606434 nbValidityChecks=1166608 nbPropagations=21406 nbRevisions=244706
1.93 nbUselessRevisions=191333 nbAssignments=791 nbFailedAssignments=433 nbBacktracks=324 nbVisitedNodes=1409
1.93 nbRestartNogoods=41 mapSize=247 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.823 cpuTime=0.76 mem=21M311
2.25
2.25 search
2.25 run=7 nbConstraintChecks=885581 nbValidityChecks=1712982 nbPropagations=32812 nbRevisions=376300
2.25 nbUselessRevisions=294276 nbAssignments=1141 nbFailedAssignments=608 nbBacktracks=494 nbVisitedNodes=2038
2.25 nbRestartNogoods=46 mapSize=389 nbInferences=0 nbTooLargeKeys=0
2.25 => wckTime=1.147 cpuTime=1.07 mem=21M311
3.02
3.02 search
3.02 run=8 nbConstraintChecks=1571496 nbValidityChecks=3055204 nbPropagations=52763 nbRevisions=601499
3.02 nbUselessRevisions=469583 nbAssignments=1955 nbFailedAssignments=1162 nbBacktracks=751 nbVisitedNodes=3620
3.02 nbRestartNogoods=54 mapSize=638 nbInferences=0 nbTooLargeKeys=0
3.02 => wckTime=1.918 cpuTime=1.83 mem=21M311
3.70
3.70 search
3.70 run=9 nbConstraintChecks=2180649 nbValidityChecks=4223814 nbPropagations=80498 nbRevisions=917803
3.70 nbUselessRevisions=716451 nbAssignments=2695 nbFailedAssignments=1514 nbBacktracks=1137 nbVisitedNodes=4920
3.70 nbRestartNogoods=62 mapSize=937 nbInferences=0 nbTooLargeKeys=0
3.70 => wckTime=2.599 cpuTime=2.5 mem=22M281
3.90
3.90 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=22M281)
4.76
4.76 search
4.76 run=10 nbConstraintChecks=3155766 nbValidityChecks=6107104 nbPropagations=120834 nbRevisions=1380171
4.76 nbUselessRevisions=1077944 nbAssignments=3895 nbFailedAssignments=2134 nbBacktracks=1713 nbVisitedNodes=7060
4.76 nbRestartNogoods=71
4.76 => wckTime=3.656 cpuTime=3.55 mem=22M281
6.88
6.88 search
6.88 run=11 nbConstraintChecks=5094952 nbValidityChecks=9928582 nbPropagations=186183 nbRevisions=2118783
6.88 nbUselessRevisions=1653475 nbAssignments=6274 nbFailedAssignments=3645 nbBacktracks=2577 nbVisitedNodes=11572
6.88 nbRestartNogoods=79
6.88 => wckTime=5.771 cpuTime=5.66 mem=22M281
8.96
8.96 search
8.96 run=12 nbConstraintChecks=7014997 nbValidityChecks=13676925 nbPropagations=277668 nbRevisions=3155892
8.96 nbUselessRevisions=2463151 nbAssignments=8742 nbFailedAssignments=4811 nbBacktracks=3874 nbVisitedNodes=15933
8.96 nbRestartNogoods=89
8.96 => wckTime=7.855 cpuTime=7.74 mem=22M281
12.75
12.75 search
12.75 run=13 nbConstraintChecks=10303169 nbValidityChecks=20099437 nbPropagations=413831 nbRevisions=4705470
12.75 nbUselessRevisions=3673410 nbAssignments=12947 nbFailedAssignments=7065 nbBacktracks=5820 nbVisitedNodes=23620
12.75 nbRestartNogoods=92
12.75 => wckTime=11.646 cpuTime=11.5 mem=22M281
18.18
18.18 search
18.18 run=14 nbConstraintChecks=14829413 nbValidityChecks=29070774 nbPropagations=613123 nbRevisions=6946376
18.18 nbUselessRevisions=5425494 nbAssignments=18967 nbFailedAssignments=10420 nbBacktracks=8465 nbVisitedNodes=34606
18.18 nbRestartNogoods=109
18.18 => wckTime=17.075 cpuTime=16.87 mem=22M281
18.18
18.18 global
18.18 nbConstraintChecks=14829413 nbValidityChecks=29070774 nbPropagations=613143 nbRevisions=6946376
18.18 nbUselessRevisions=5425494 nbRestartNogoods=109 solvingWckTime=17.076 solvingCpuTime=16.87 expiredTime=no
18.18 totalExploration=no nbFoundSolutions=1 globalCpuTime=17.55
18.18 => wckTime=17.867 cpuTime=17.5 mem=22M281
18.18
18.18 s SATISFIABLE
18.18 v 2 8 9 2 13 11 7 1 1 2 9 11 1 4 19 8 16 19 8 3
18.18 d NODES 18967
18.18 d CHECKS 14829413
18.18
18.18 totalWckTime=17.949 totalCpuTime=17.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-208796-1168074840 -o ROOT/results/node15/solver-208796-1168074840 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208796-1168074840/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.96 2.00 1.96 4/93 14177
/proc/meminfo: memFree=911848/2055920 swapFree=4174172/4192956
[pid=14176] ppid=14174 vsize=1784 CPUtime=0
/proc/14176/stat : 14176 (java) R 14174 14176 14053 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155878862 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/14176/statm: 446 140 106 14 0 91 0
[startup+0.104912 s]
/proc/loadavg: 1.96 2.00 1.96 4/93 14177
/proc/meminfo: memFree=911848/2055920 swapFree=4174172/4192956
[pid=14176] ppid=14174 vsize=914988 CPUtime=0.09
/proc/14176/stat : 14176 (java) S 14174 14176 14053 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 155878862 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14176/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512982 s]
/proc/loadavg: 1.96 2.00 1.96 4/93 14177
/proc/meminfo: memFree=911848/2055920 swapFree=4174172/4192956
[pid=14176] ppid=14174 vsize=915328 CPUtime=0.49
/proc/14176/stat : 14176 (java) R 14174 14176 14053 0 -1 0 7547 0 1 0 44 5 0 0 18 0 8 0 155878862 937295872 7286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14176/statm: 228832 7286 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33712 s]
/proc/loadavg: 1.96 2.00 1.96 4/100 14184
/proc/meminfo: memFree=854384/2055920 swapFree=4174172/4192956
[pid=14176] ppid=14174 vsize=915460 CPUtime=1.3
/proc/14176/stat : 14176 (java) R 14174 14176 14053 0 -1 0 17083 0 1 0 119 11 0 0 17 0 8 0 155878862 937431040 16820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14176/statm: 228865 16820 2517 14 0 215335 0
[pid=14176/tid=14178] ppid=14174 vsize=915460 CPUtime=0.06
/proc/14176/task/14178/stat : 14178 (java) S 14174 14176 14053 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 155878866 937431040 16820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14179] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14179/stat : 14179 (java) S 14174 14176 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14180] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14180/stat : 14180 (java) S 14174 14176 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14181] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14181/stat : 14181 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155878869 937431040 16820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14182] ppid=14174 vsize=915460 CPUtime=0.17
/proc/14176/task/14182/stat : 14182 (java) S 14174 14176 14053 0 -1 64 358 0 0 0 16 1 0 0 16 0 8 0 155878869 937431040 16820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14183] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14183/stat : 14183 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155878869 937431040 16820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14184] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14184/stat : 14184 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155878869 937431040 16820 18446744073709551615 134512640 134570532 4294956464 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.9794 s]
/proc/loadavg: 1.96 2.00 1.96 2/88 14186
/proc/meminfo: memFree=974608/2055920 swapFree=4174172/4192956
[pid=14176] ppid=14174 vsize=915460 CPUtime=2.94
/proc/14176/stat : 14176 (java) R 14174 14176 14053 0 -1 0 17101 0 1 0 283 11 0 0 16 0 8 0 155878862 937431040 16837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14176/statm: 228865 16837 2517 14 0 215335 0
[pid=14176/tid=14178] ppid=14174 vsize=915460 CPUtime=0.06
/proc/14176/task/14178/stat : 14178 (java) S 14174 14176 14053 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 155878866 937431040 16837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14179] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14179/stat : 14179 (java) S 14174 14176 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14180] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14180/stat : 14180 (java) S 14174 14176 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14181] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14181/stat : 14181 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155878869 937431040 16837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14182] ppid=14174 vsize=915460 CPUtime=0.21
/proc/14176/task/14182/stat : 14182 (java) S 14174 14176 14053 0 -1 64 375 0 0 0 20 1 0 0 16 0 8 0 155878869 937431040 16837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14183] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14183/stat : 14183 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155878869 937431040 16837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14184] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14184/stat : 14184 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155878869 937431040 16837 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+6.27296 s]
/proc/loadavg: 1.96 2.00 1.96 2/88 14197
/proc/meminfo: memFree=981456/2055920 swapFree=4174172/4192956
[pid=14176] ppid=14174 vsize=915460 CPUtime=6.23
/proc/14176/stat : 14176 (java) R 14174 14176 14053 0 -1 0 17114 0 1 0 611 12 0 0 25 0 8 0 155878862 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732677 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14176/statm: 228865 16847 2517 14 0 215335 0
[pid=14176/tid=14178] ppid=14174 vsize=915460 CPUtime=0.06
/proc/14176/task/14178/stat : 14178 (java) S 14174 14176 14053 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 155878866 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14179] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14179/stat : 14179 (java) S 14174 14176 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14180] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14180/stat : 14180 (java) S 14174 14176 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14181] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14181/stat : 14181 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14182] ppid=14174 vsize=915460 CPUtime=0.22
/proc/14176/task/14182/stat : 14182 (java) S 14174 14176 14053 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14183] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14183/stat : 14183 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14184] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14184/stat : 14184 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7591 s]
/proc/loadavg: 1.89 1.99 1.96 3/100 14242
/proc/meminfo: memFree=930416/2055920 swapFree=4174172/4192956
[pid=14176] ppid=14174 vsize=915460 CPUtime=12.68
/proc/14176/stat : 14176 (java) R 14174 14176 14053 0 -1 0 17115 0 1 0 1255 13 0 0 25 0 8 0 155878862 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14176/statm: 228865 16847 2517 14 0 215335 0
[pid=14176/tid=14178] ppid=14174 vsize=915460 CPUtime=0.06
/proc/14176/task/14178/stat : 14178 (java) S 14174 14176 14053 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 155878866 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14179] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14179/stat : 14179 (java) S 14174 14176 14053 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14180] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14180/stat : 14180 (java) S 14174 14176 14053 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155878866 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14181] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14181/stat : 14181 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14182] ppid=14174 vsize=915460 CPUtime=0.22
/proc/14176/task/14182/stat : 14182 (java) S 14174 14176 14053 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14183] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14183/stat : 14183 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14176/tid=14184] ppid=14174 vsize=915460 CPUtime=0
/proc/14176/task/14184/stat : 14184 (java) S 14174 14176 14053 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155878869 937431040 16847 18446744073709551615 134512640 134570532 4294956464 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
Child status: 0
Real time (s): 18.2569
CPU time (s): 18.0763
CPU user time (s): 17.9343
CPU system time (s): 0.141978
CPU usage (%): 99.0103
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.9343
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17121
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= 1235
involuntary context switches= 1390
runsolver used 0.023996 s user time and 0.069989 s system time
The end
Begin job on node15 on Sat Jan 6 09:14:00 UTC 2007
IDJOB= 208796
IDBENCH= 4453
FILE ID= node15/208796-1168074840
PBS_JOBID= 3475786
Free space on /tmp= 66277 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208796-1168074840/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-208796-1168074840 -o ROOT/results/node15/solver-208796-1168074840 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208796-1168074840/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3731bb3f0f148ab8e8fe28516cd5eff6
RANDOM SEED= 777201884
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.276
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.276
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: 912328 kB
Buffers: 85208 kB
Cached: 797784 kB
SwapCached: 7128 kB
Active: 470616 kB
Inactive: 568956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 912328 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 3044 kB
Writeback: 0 kB
Mapped: 175172 kB
Slab: 88192 kB
Committed_AS: 4934032 kB
PageTables: 2668 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= 66282 MiB
End job on node15 on Sat Jan 6 09:14:20 UTC 2007