0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/210600-1168075093/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.46 nbVariables=180 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.46 => wckTime=0.116 cpuTime=0.1 mem=6M951
0.46
0.46 predicates being loaded...
0.47
0.47 constraints being loaded...
0.64 nbConstraints=152 nbConflictsStructures=4 nbSharedConflictsStructures=148 nbSharedBinaryRepresentations=0
0.64 nbEvaluationManagers=4 nbSharedEvaluationManagers=148 maxDegree=11 maxArity=12
0.64 => wckTime=0.301 cpuTime=0.22 mem=9M877
0.68
0.68 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.547 cpuTime=0.38 mem=16M694
0.90
0.90 preprocessing
0.90 nbConstraintChecks=0 nbPropagations=180 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.90 detectedInconsistency=no
0.90 => wckTime=0.0090 cpuTime=0.0 mem=16M694
0.97
0.97 search
0.97 run=0 nbConstraintChecks=1525 nbValidityChecks=196 nbPropagations=364 nbRevisions=349 nbUselessRevisions=160
0.97 nbAssignments=151 nbFailedAssignments=1 nbBacktracks=96 nbVisitedNodes=154 nbRestartNogoods=0 mapSize=1
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.083 cpuTime=0.05 mem=16M694
1.01
1.01 search
1.01 run=1 nbConstraintChecks=4797 nbValidityChecks=572 nbPropagations=953 nbRevisions=1125 nbUselessRevisions=509
1.01 nbAssignments=314 nbFailedAssignments=3 nbBacktracks=116 nbVisitedNodes=321 nbRestartNogoods=1 mapSize=4
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.124 cpuTime=0.09 mem=16M694
1.04
1.04 search
1.04 run=2 nbConstraintChecks=7046 nbValidityChecks=1003 nbPropagations=1747 nbRevisions=2385
1.04 nbUselessRevisions=1129 nbAssignments=399 nbFailedAssignments=4 nbBacktracks=145 nbVisitedNodes=409
1.04 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.15 cpuTime=0.11 mem=16M694
1.07
1.07 search
1.07 run=3 nbConstraintChecks=11138 nbValidityChecks=1669 nbPropagations=2790 nbRevisions=4308
1.07 nbUselessRevisions=2145 nbAssignments=491 nbFailedAssignments=6 nbBacktracks=178 nbVisitedNodes=507
1.07 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.07 => wckTime=0.179 cpuTime=0.13 mem=17M670
1.11
1.11 search
1.11 run=4 nbConstraintChecks=17597 nbValidityChecks=2541 nbPropagations=4148 nbRevisions=7054
1.11 nbUselessRevisions=3643 nbAssignments=634 nbFailedAssignments=9 nbBacktracks=229 nbVisitedNodes=659
1.11 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
1.11 => wckTime=0.222 cpuTime=0.17 mem=17M670
1.16
1.16 search
1.16 run=5 nbConstraintChecks=23525 nbValidityChecks=3315 nbPropagations=5812 nbRevisions=10515
1.16 nbUselessRevisions=5517 nbAssignments=794 nbFailedAssignments=12 nbBacktracks=336 nbVisitedNodes=829
1.16 nbRestartNogoods=6 mapSize=27 nbInferences=5 nbTooLargeKeys=0
1.16 => wckTime=0.275 cpuTime=0.21 mem=17M670
1.20
1.20 search
1.20 run=6 nbConstraintChecks=25136 nbValidityChecks=3927 nbPropagations=7774 nbRevisions=14567
1.20 nbUselessRevisions=7709 nbAssignments=976 nbFailedAssignments=12 nbBacktracks=461 nbVisitedNodes=1019
1.20 nbRestartNogoods=7 mapSize=34 nbInferences=13 nbTooLargeKeys=0
1.20 => wckTime=0.311 cpuTime=0.25 mem=17M670
1.29
1.29 search
1.29 run=7 nbConstraintChecks=56546 nbValidityChecks=7430 nbPropagations=10786 nbRevisions=21222
1.29 nbUselessRevisions=11242 nbAssignments=1259 nbFailedAssignments=36 nbBacktracks=631 nbVisitedNodes=1359
1.29 nbRestartNogoods=8 mapSize=87 nbInferences=15 nbTooLargeKeys=0
1.29 => wckTime=0.401 cpuTime=0.34 mem=17M670
1.41
1.41 search
1.41 run=8 nbConstraintChecks=83908 nbValidityChecks=12220 nbPropagations=15098 nbRevisions=31889
1.41 nbUselessRevisions=17150 nbAssignments=1648 nbFailedAssignments=63 nbBacktracks=894 nbVisitedNodes=1807
1.41 nbRestartNogoods=10 mapSize=141 nbInferences=16 nbTooLargeKeys=0
1.41 => wckTime=0.523 cpuTime=0.44 mem=17M670
1.54
1.54 search
1.54 run=9 nbConstraintChecks=126170 nbValidityChecks=18524 nbPropagations=21344 nbRevisions=47203
1.54 nbUselessRevisions=25328 nbAssignments=2197 nbFailedAssignments=103 nbBacktracks=1294 nbVisitedNodes=2465
1.54 nbRestartNogoods=15 mapSize=249 nbInferences=22 nbTooLargeKeys=0
1.54 => wckTime=0.648 cpuTime=0.56 mem=17M670
1.76
1.76 search
1.76 run=10 nbConstraintChecks=247898 nbValidityChecks=29606 nbPropagations=30825 nbRevisions=69247
1.76 nbUselessRevisions=36221 nbAssignments=2951 nbFailedAssignments=193 nbBacktracks=1870 nbVisitedNodes=3424
1.76 nbRestartNogoods=16 mapSize=442 nbInferences=22 nbTooLargeKeys=0
1.76 => wckTime=0.876 cpuTime=0.77 mem=17M670
2.07
2.07 search
2.07 run=11 nbConstraintChecks=421623 nbValidityChecks=45782 nbPropagations=45085 nbRevisions=100972
2.07 nbUselessRevisions=50778 nbAssignments=4043 nbFailedAssignments=336 nbBacktracks=2738 nbVisitedNodes=4839
2.07 nbRestartNogoods=18 mapSize=755 nbInferences=22 nbTooLargeKeys=0
2.07 => wckTime=1.182 cpuTime=1.08 mem=17M670
2.44
2.44 search
2.44 run=12 nbConstraintChecks=627071 nbValidityChecks=63012 nbPropagations=64908 nbRevisions=142669
2.44 nbUselessRevisions=68921 nbAssignments=5561 nbFailedAssignments=480 nbBacktracks=4039 nbVisitedNodes=6687
2.44 nbRestartNogoods=21 mapSize=1083 nbInferences=22 nbTooLargeKeys=0
2.44 => wckTime=1.557 cpuTime=1.45 mem=18M645
3.11
3.11 search
3.11 run=13 nbConstraintChecks=1008092 nbValidityChecks=94827 nbPropagations=94970 nbRevisions=202867
3.11 nbUselessRevisions=93650 nbAssignments=7860 nbFailedAssignments=753 nbBacktracks=5990 nbVisitedNodes=9656
3.11 nbRestartNogoods=23 mapSize=1750 nbInferences=22 nbTooLargeKeys=0
3.11 => wckTime=2.218 cpuTime=2.1 mem=18M645
3.84
3.84 search
3.84 run=14 nbConstraintChecks=1385254 nbValidityChecks=132064 nbPropagations=137001 nbRevisions=284644
3.84 nbUselessRevisions=125952 nbAssignments=11192 nbFailedAssignments=1077 nbBacktracks=8916 nbVisitedNodes=13736
3.84 nbRestartNogoods=25 mapSize=2494 nbInferences=22 nbTooLargeKeys=0
3.85 => wckTime=2.957 cpuTime=2.82 mem=19M620
5.01
5.01 search
5.01 run=15 nbConstraintChecks=1996237 nbValidityChecks=187893 nbPropagations=198251 nbRevisions=398741
5.01 nbUselessRevisions=169500 nbAssignments=16116 nbFailedAssignments=1544 nbBacktracks=13298 nbVisitedNodes=19755
5.01 nbRestartNogoods=29 mapSize=3585 nbInferences=22 nbTooLargeKeys=0
5.01 => wckTime=4.121 cpuTime=3.97 mem=20M595
5.85
5.85 INFO : Stopping hyperNogood (mapSize=4410, nbTooLargekeys=0, mem=20M595)
6.86
6.86 search
6.86 run=16 nbConstraintChecks=3165029 nbValidityChecks=286556 nbPropagations=291285 nbRevisions=569832
6.86 nbUselessRevisions=233690 nbAssignments=23547 nbFailedAssignments=2326 nbBacktracks=19882 nbVisitedNodes=29184
6.86 nbRestartNogoods=33
6.86 => wckTime=5.97 cpuTime=5.8 mem=20M595
9.09
9.09 search
9.09 run=17 nbConstraintChecks=4620792 nbValidityChecks=425677 nbPropagations=432202 nbRevisions=821385
9.09 nbUselessRevisions=327223 nbAssignments=34476 nbFailedAssignments=3322 nbBacktracks=29743 nbVisitedNodes=42955
9.09 nbRestartNogoods=35
9.09 => wckTime=8.199 cpuTime=8.01 mem=20M595
11.80
11.80 search
11.80 run=18 nbConstraintChecks=6230167 nbValidityChecks=638512 nbPropagations=646070 nbRevisions=1195649
11.80 nbUselessRevisions=462996 nbAssignments=50916 nbFailedAssignments=4903 nbBacktracks=44521 nbVisitedNodes=63934
11.80 nbRestartNogoods=38
11.80 => wckTime=10.914 cpuTime=10.7 mem=20M595
16.79
16.79 search
16.79 run=19 nbConstraintChecks=9450659 nbValidityChecks=959704 nbPropagations=964737 nbRevisions=1755909
16.79 nbUselessRevisions=665993 nbAssignments=75544 nbFailedAssignments=7272 nbBacktracks=66703 nbVisitedNodes=95454
16.79 nbRestartNogoods=42
16.79 => wckTime=15.902 cpuTime=15.64 mem=20M595
23.81
23.81 search
23.81 run=20 nbConstraintChecks=13849154 nbValidityChecks=1473783 nbPropagations=1453662 nbRevisions=2611994
23.81 nbUselessRevisions=973597 nbAssignments=112116 nbFailedAssignments=10510 nbBacktracks=99963
23.81 nbVisitedNodes=142026 nbRestartNogoods=46
23.81 => wckTime=22.927 cpuTime=22.61 mem=20M595
35.42
35.42 search
35.42 run=21 nbConstraintChecks=21505508 nbValidityChecks=2205816 nbPropagations=2185438 nbRevisions=3888013
35.42 nbUselessRevisions=1435002 nbAssignments=167460 nbFailedAssignments=15899 nbBacktracks=149841
35.42 nbVisitedNodes=212992 nbRestartNogoods=49
35.42 => wckTime=34.531 cpuTime=34.1 mem=20M595
51.35
51.35 search
51.35 run=22 nbConstraintChecks=31472282 nbValidityChecks=3369508 nbPropagations=3313843 nbRevisions=5832104
51.35 nbUselessRevisions=2131032 nbAssignments=249697 nbFailedAssignments=23242 nbBacktracks=224664
51.35 nbVisitedNodes=318491 nbRestartNogoods=53
51.35 => wckTime=50.46 cpuTime=49.89 mem=20M595
64.68
64.68 search
64.68 run=23 nbConstraintChecks=39701814 nbValidityChecks=4353636 nbPropagations=4765835 nbRevisions=8339315
64.68 nbUselessRevisions=3023608 nbAssignments=325168 nbFailedAssignments=29410 nbBacktracks=293787
64.68 nbVisitedNodes=412737 nbRestartNogoods=57
64.68 => wckTime=63.793 cpuTime=63.1 mem=20M595
64.68
64.68 global
64.68 nbConstraintChecks=39701814 nbValidityChecks=4353636 nbPropagations=4766015 nbRevisions=8339315
64.68 nbUselessRevisions=3023608 nbRestartNogoods=57 solvingWckTime=63.794 solvingCpuTime=63.1 expiredTime=no
64.68 totalExploration=no nbFoundSolutions=1 globalCpuTime=63.53
64.68 => wckTime=64.342 cpuTime=63.48 mem=20M595
64.68
64.68 s SATISFIABLE
64.68 v 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0
64.68 d NODES 325168
64.68 d CHECKS 39701814
64.69
64.69 totalWckTime=64.435 totalCpuTime=63.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-210600-1168075093 -o ROOT/results/node13/solver-210600-1168075093 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210600-1168075093/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: 2.03 2.02 2.00 3/93 4783
/proc/meminfo: memFree=1185624/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=18540 CPUtime=0
/proc/4782/stat : 4782 (runsolver) R 4778 4782 2952 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155904346 18984960 280 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4782/statm: 4635 280 244 17 0 2626 0
[startup+0.107888 s]
/proc/loadavg: 2.03 2.02 2.00 3/93 4783
/proc/meminfo: memFree=1185624/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=914988 CPUtime=0.09
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 2953 0 1 0 7 2 0 0 17 0 8 0 155904346 936947712 2699 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072925493 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515938 s]
/proc/loadavg: 2.03 2.02 2.00 3/93 4783
/proc/meminfo: memFree=1185624/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915328 CPUtime=0.48
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 6371 0 1 0 44 4 0 0 18 0 8 0 155904346 937295872 6110 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072897038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228832 6110 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33705 s]
/proc/loadavg: 2.03 2.02 2.00 4/100 4801
/proc/meminfo: memFree=1159648/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=1.3
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 9254 0 1 0 122 8 0 0 24 0 8 0 155904346 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073815194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 8992 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.24
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 379 0 0 0 23 1 0 0 15 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 8992 18446744073709551615 134512640 134570532 4294956400 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.97426 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1158688/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=2.92
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 9568 0 1 0 284 8 0 0 25 0 8 0 155904346 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073480039 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9304 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 17 0 8 0 155904350 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.28
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 395 0 0 0 27 1 0 0 16 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9304 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.2727 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1155936/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=6.19
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10144 0 1 0 610 9 0 0 25 0 8 0 155904346 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073642960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9879 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.28
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 396 0 0 0 27 1 0 0 16 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9879 18446744073709551615 134512640 134570532 4294956400 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) 915460
[startup+12.7446 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1155744/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=12.6
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10153 0 1 0 1251 9 0 0 25 0 8 0 155904346 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073634009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9887 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.28
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 396 0 0 0 27 1 0 0 16 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9887 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460
[startup+25.6113 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 4801
/proc/meminfo: memFree=1155808/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=25.35
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10161 0 1 0 2526 9 0 0 25 0 8 0 155904346 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9894 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.29
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 397 0 0 0 28 1 0 0 16 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9894 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2147 s]
/proc/loadavg: 2.07 2.03 2.00 3/100 4801
/proc/meminfo: memFree=1155872/2055920 swapFree=4192812/4192956
[pid=4782] ppid=4778 vsize=915460 CPUtime=50.71
/proc/4782/stat : 4782 (java) R 4778 4782 2952 0 -1 0 10163 0 1 0 5062 9 0 0 25 0 8 0 155904346 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073798894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4782/statm: 228865 9896 2532 14 0 215335 0
[pid=4782/tid=4784] ppid=4778 vsize=915460 CPUtime=0.02
/proc/4782/task/4784/stat : 4784 (java) S 4778 4782 2952 0 -1 64 192 0 0 0 2 0 0 0 16 0 8 0 155904350 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4796] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4796/stat : 4796 (java) S 4778 4782 2952 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155904350 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4797] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4797/stat : 4797 (java) S 4778 4782 2952 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155904350 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4798] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4798/stat : 4798 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4799] ppid=4778 vsize=915460 CPUtime=0.29
/proc/4782/task/4799/stat : 4799 (java) S 4778 4782 2952 0 -1 64 397 0 0 0 28 1 0 0 16 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4800] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4800/stat : 4800 (java) S 4778 4782 2952 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4782/tid=4801] ppid=4778 vsize=915460 CPUtime=0
/proc/4782/task/4801/stat : 4801 (java) S 4778 4782 2952 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155904354 937431040 9896 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 64.7376
CPU time (s): 64.0893
CPU user time (s): 63.9803
CPU system time (s): 0.108983
CPU usage (%): 98.9986
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.9803
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10259
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= 2527
involuntary context switches= 5174
runsolver used 0.082987 s user time and 0.215967 s system time
The end
Begin job on node13 on Sat Jan 6 09:18:14 UTC 2007
IDJOB= 210600
IDBENCH= 4632
FILE ID= node13/210600-1168075093
PBS_JOBID= 3475671
Free space on /tmp= 66313 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-12-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210600-1168075093/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-210600-1168075093 -o ROOT/results/node13/solver-210600-1168075093 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210600-1168075093/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4332ea6e0569a2c3ff5d9633ee104e8a
RANDOM SEED= 381056557
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.247
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.247
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: 1186040 kB
Buffers: 71060 kB
Cached: 533664 kB
SwapCached: 0 kB
Active: 499504 kB
Inactive: 275096 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1186040 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1700 kB
Writeback: 0 kB
Mapped: 198864 kB
Slab: 79660 kB
Committed_AS: 4394528 kB
PageTables: 2664 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= 66313 MiB
End job on node13 on Sat Jan 6 09:19:18 UTC 2007