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/197719-1168071100/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=36 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.42 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.45
0.45 constraints being loaded...
0.52 nbConstraints=153 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=143
0.52 nbConflictsStructures=10 nbSharedConflictsStructures=143 nbSharedBinaryRepresentations=9 maxDegree=9 maxArity=4
0.52 => wckTime=0.205 cpuTime=0.15 mem=8M935
0.56
0.56 solver IterativeSystematicSolver being built...
0.73 => wckTime=0.41 cpuTime=0.29 mem=14M608
0.74
0.74 preprocessing
0.74 nbConstraintChecks=231 nbValidityChecks=122 nbPropagations=44 nbRevisions=34 nbUselessRevisions=2
0.74 nbRemovedValues=119 detectedInconsistency=no
0.74 => wckTime=0.0070 cpuTime=0.01 mem=14M608
0.79
0.79 search
0.79 run=0 nbConstraintChecks=2653 nbValidityChecks=2722 nbPropagations=257 nbRevisions=671 nbUselessRevisions=410
0.79 nbAssignments=40 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=54 nbRestartNogoods=0 mapSize=8
0.79 nbInferences=0 nbTooLargeKeys=0
0.79 => wckTime=0.063 cpuTime=0.04 mem=14M608
0.81
0.81 search
0.81 run=1 nbConstraintChecks=4742 nbValidityChecks=5152 nbPropagations=718 nbRevisions=2010
0.81 nbUselessRevisions=1244 nbAssignments=80 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=111
0.81 nbRestartNogoods=5 mapSize=21 nbInferences=0 nbTooLargeKeys=0
0.81 => wckTime=0.086 cpuTime=0.05 mem=14M608
0.82
0.83 search
0.83 run=2 nbConstraintChecks=7550 nbValidityChecks=8354 nbPropagations=1470 nbRevisions=4183
0.83 nbUselessRevisions=2594 nbAssignments=125 nbFailedAssignments=26 nbBacktracks=51 nbVisitedNodes=172
0.83 nbRestartNogoods=8 mapSize=35 nbInferences=3 nbTooLargeKeys=0
0.83 => wckTime=0.097 cpuTime=0.06 mem=14M608
0.84
0.84 search
0.84 run=3 nbConstraintChecks=10891 nbValidityChecks=11541 nbPropagations=2558 nbRevisions=7618
0.84 nbUselessRevisions=4742 nbAssignments=185 nbFailedAssignments=47 nbBacktracks=84 nbVisitedNodes=274
0.84 nbRestartNogoods=9 mapSize=66 nbInferences=3 nbTooLargeKeys=0
0.84 => wckTime=0.113 cpuTime=0.07 mem=14M608
0.86
0.86 search
0.86 run=4 nbConstraintChecks=18714 nbValidityChecks=17546 nbPropagations=4290 nbRevisions=13449
0.86 nbUselessRevisions=8344 nbAssignments=276 nbFailedAssignments=80 nbBacktracks=134 nbVisitedNodes=431
0.86 nbRestartNogoods=11 mapSize=113 nbInferences=3 nbTooLargeKeys=0
0.86 => wckTime=0.129 cpuTime=0.08 mem=14M608
0.87
0.87 search
0.87 run=5 nbConstraintChecks=26885 nbValidityChecks=24295 nbPropagations=6663 nbRevisions=21786
0.87 nbUselessRevisions=13548 nbAssignments=402 nbFailedAssignments=118 nbBacktracks=209 nbVisitedNodes=632
0.87 nbRestartNogoods=14 mapSize=170 nbInferences=3 nbTooLargeKeys=0
0.87 => wckTime=0.144 cpuTime=0.1 mem=14M608
0.89
0.89 search
0.89 run=6 nbConstraintChecks=37736 nbValidityChecks=33099 nbPropagations=10070 nbRevisions=33988
0.89 nbUselessRevisions=21299 nbAssignments=610 nbFailedAssignments=190 nbBacktracks=324 nbVisitedNodes=980
0.89 nbRestartNogoods=21 mapSize=272 nbInferences=11 nbTooLargeKeys=0
0.89 => wckTime=0.166 cpuTime=0.12 mem=14M608
0.93
0.93 search
0.93 run=7 nbConstraintChecks=63312 nbValidityChecks=54445 nbPropagations=15421 nbRevisions=52666
0.93 nbUselessRevisions=32713 nbAssignments=895 nbFailedAssignments=298 nbBacktracks=496 nbVisitedNodes=1438
0.93 nbRestartNogoods=25 mapSize=397 nbInferences=11 nbTooLargeKeys=0
0.93 => wckTime=0.204 cpuTime=0.15 mem=14M608
0.98
0.98 search
0.98 run=8 nbConstraintChecks=97823 nbValidityChecks=81586 nbPropagations=23545 nbRevisions=81825
0.98 nbUselessRevisions=50549 nbAssignments=1320 nbFailedAssignments=458 nbBacktracks=752 nbVisitedNodes=2181
0.98 nbRestartNogoods=26 mapSize=653 nbInferences=11 nbTooLargeKeys=0
0.98 => wckTime=0.252 cpuTime=0.19 mem=14M608
1.05
1.05 search
1.05 run=9 nbConstraintChecks=137191 nbValidityChecks=116486 nbPropagations=35046 nbRevisions=124403
1.05 nbUselessRevisions=76997 nbAssignments=1990 nbFailedAssignments=709 nbBacktracks=1136 nbVisitedNodes=3350
1.05 nbRestartNogoods=31 mapSize=1006 nbInferences=35 nbTooLargeKeys=0
1.05 => wckTime=0.321 cpuTime=0.24 mem=14M608
1.15
1.15 search
1.15 run=10 nbConstraintChecks=225797 nbValidityChecks=190834 nbPropagations=53361 nbRevisions=190200
1.15 nbUselessRevisions=116546 nbAssignments=2883 nbFailedAssignments=1010 nbBacktracks=1712 nbVisitedNodes=4850
1.15 nbRestartNogoods=37 mapSize=1467 nbInferences=41 nbTooLargeKeys=0
1.15 => wckTime=0.422 cpuTime=0.33 mem=14M608
1.25
1.25 search
1.25 run=11 nbConstraintChecks=317384 nbValidityChecks=278014 nbPropagations=79774 nbRevisions=284897
1.25 nbUselessRevisions=173953 nbAssignments=4282 nbFailedAssignments=1529 nbBacktracks=2579 nbVisitedNodes=7164
1.25 nbRestartNogoods=41 mapSize=2140 nbInferences=47 nbTooLargeKeys=0
1.25 => wckTime=0.526 cpuTime=0.43 mem=15M583
1.42
1.42 search
1.42 run=12 nbConstraintChecks=489566 nbValidityChecks=423138 nbPropagations=119643 nbRevisions=426657
1.42 nbUselessRevisions=259437 nbAssignments=6307 nbFailedAssignments=2230 nbBacktracks=3876 nbVisitedNodes=10505
1.42 nbRestartNogoods=47 mapSize=3174 nbInferences=63 nbTooLargeKeys=0
1.42 => wckTime=0.691 cpuTime=0.59 mem=15M583
1.63
1.63 search
1.63 run=13 nbConstraintChecks=686225 nbValidityChecks=595444 nbPropagations=177079 nbRevisions=627077
1.63 nbUselessRevisions=382025 nbAssignments=9322 nbFailedAssignments=3235 nbBacktracks=5828 nbVisitedNodes=15421
1.63 nbRestartNogoods=55 mapSize=4685 nbInferences=114 nbTooLargeKeys=0
1.63 => wckTime=0.902 cpuTime=0.81 mem=15M583
2.02
2.02 search
2.02 run=14 nbConstraintChecks=1108846 nbValidityChecks=965047 nbPropagations=266565 nbRevisions=934329
2.02 nbUselessRevisions=565502 nbAssignments=13841 nbFailedAssignments=4751 nbBacktracks=8748 nbVisitedNodes=22737
2.02 nbRestartNogoods=59 mapSize=6895 nbInferences=187 nbTooLargeKeys=0
2.02 => wckTime=1.293 cpuTime=1.2 mem=16M624
2.54
2.54 search
2.54 run=15 nbConstraintChecks=1609039 nbValidityChecks=1388527 nbPropagations=399934 nbRevisions=1394540
2.54 nbUselessRevisions=839544 nbAssignments=20971 nbFailedAssignments=7391 nbBacktracks=13126 nbVisitedNodes=34719
2.54 nbRestartNogoods=70 mapSize=10627 nbInferences=289 nbTooLargeKeys=0
2.54 => wckTime=1.808 cpuTime=1.71 mem=16M624
3.26
3.26 search
3.26 run=16 nbConstraintChecks=2328907 nbValidityChecks=2012449 nbPropagations=591981 nbRevisions=2051991
3.26 nbUselessRevisions=1231012 nbAssignments=30442 nbFailedAssignments=10169 nbBacktracks=19697
3.26 nbVisitedNodes=49782 nbRestartNogoods=79 mapSize=15188 nbInferences=402 nbTooLargeKeys=0
3.26 => wckTime=2.534 cpuTime=2.43 mem=17M599
4.45
4.45 search
4.45 run=17 nbConstraintChecks=3477577 nbValidityChecks=3060522 nbPropagations=886182 nbRevisions=3046738
4.45 nbUselessRevisions=1820063 nbAssignments=45851 nbFailedAssignments=15380 nbBacktracks=29550
4.45 nbVisitedNodes=74816 nbRestartNogoods=86 mapSize=22710 nbInferences=737 nbTooLargeKeys=0
4.45 => wckTime=3.72 cpuTime=3.6 mem=19M550
6.15
6.15 search
6.15 run=18 nbConstraintChecks=5171109 nbValidityChecks=4484125 nbPropagations=1323789 nbRevisions=4536944
6.15 nbUselessRevisions=2708601 nbAssignments=69020 nbFailedAssignments=22715 nbBacktracks=44331
6.15 nbVisitedNodes=112946 nbRestartNogoods=97 mapSize=34049 nbInferences=1784 nbTooLargeKeys=0
6.15 => wckTime=5.422 cpuTime=5.28 mem=21M500
8.78
8.78 search
8.78 run=19 nbConstraintChecks=7741405 nbValidityChecks=6717060 nbPropagations=1992592 nbRevisions=6794735
8.78 nbUselessRevisions=4048753 nbAssignments=104749 nbFailedAssignments=34801 nbBacktracks=66499
8.78 nbVisitedNodes=171235 nbRestartNogoods=106 mapSize=50863 nbInferences=3250 nbTooLargeKeys=0
8.78 => wckTime=8.051 cpuTime=7.88 mem=25M925
12.58
12.58 search
12.58 run=20 nbConstraintChecks=11482682 nbValidityChecks=9884535 nbPropagations=2990826 nbRevisions=10161301
12.58 nbUselessRevisions=6056649 nbAssignments=158499 nbFailedAssignments=51140 nbBacktracks=99751
12.58 nbVisitedNodes=259433 nbRestartNogoods=112 mapSize=76990 nbInferences=7397 nbTooLargeKeys=0
12.58 => wckTime=11.857 cpuTime=11.66 mem=30M801
18.23
18.23 search
18.23 run=21 nbConstraintChecks=17076280 nbValidityChecks=14694835 nbPropagations=4473636 nbRevisions=15173920
18.23 nbUselessRevisions=9042811 nbAssignments=236826 nbFailedAssignments=78288 nbBacktracks=149630
18.23 nbVisitedNodes=386578 nbRestartNogoods=123 mapSize=114000 nbInferences=8689 nbTooLargeKeys=0
18.23 => wckTime=17.503 cpuTime=17.26 mem=38M676
26.44
26.44 search
26.44 run=22 nbConstraintChecks=25273843 nbValidityChecks=21978453 nbPropagations=6633754 nbRevisions=22503626
26.44 nbUselessRevisions=13441982 nbAssignments=342436 nbFailedAssignments=112699 nbBacktracks=212810
26.44 nbVisitedNodes=561842 nbRestartNogoods=134 mapSize=165041 nbInferences=16709 nbTooLargeKeys=0
26.44 => wckTime=25.714 cpuTime=25.39 mem=48M427
26.44
26.44 global
26.44 nbConstraintChecks=25274074 nbValidityChecks=21978575 nbPropagations=6633798 nbRevisions=22503660
26.44 nbUselessRevisions=13441984 nbRestartNogoods=134 solvingWckTime=25.715 solvingCpuTime=25.39 expiredTime=no
26.44 totalExploration=yes nbFoundSolutions=0 globalCpuTime=25.74
26.44 => wckTime=26.128 cpuTime=25.68 mem=48M427
26.45
26.45 s UNSATISFIABLE
26.45 d NODES 342436
26.45 d CHECKS 25274074
26.45
26.45 totalWckTime=26.21 totalCpuTime=25.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-197719-1168071100 -o ROOT/results/node16/solver-197719-1168071100 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197719-1168071100/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.34 1.72 1.84 4/93 20703
/proc/meminfo: memFree=1354584/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=906644 CPUtime=0.02
/proc/20702/stat : 20702 (java) S 20700 20702 20579 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 155504875 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 226661 1818 1036 14 0 214244 0
[pid=20702/tid=20704] ppid=20700 vsize=906644 CPUtime=0
/proc/20702/task/20704/stat : 20704 (java) R 20700 20702 20579 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155504878 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104709 s]
/proc/loadavg: 1.34 1.72 1.84 4/93 20703
/proc/meminfo: memFree=1354584/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=914988 CPUtime=0.08
/proc/20702/stat : 20702 (java) S 20700 20702 20579 0 -1 0 2998 0 1 0 7 1 0 0 17 0 8 0 155504875 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 228747 2744 1427 14 0 215242 0
[pid=20702/tid=20704] ppid=20700 vsize=914988 CPUtime=0
/proc/20702/task/20704/stat : 20704 (java) S 20700 20702 20579 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155504878 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512637 s]
/proc/loadavg: 1.34 1.72 1.84 4/93 20703
/proc/meminfo: memFree=1354584/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=915328 CPUtime=0.49
/proc/20702/stat : 20702 (java) R 20700 20702 20579 0 -1 0 6545 0 1 0 45 4 0 0 18 0 8 0 155504875 937295872 6284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 228832 6284 2148 14 0 215302 0
[pid=20702/tid=20704] ppid=20700 vsize=915328 CPUtime=0
/proc/20702/task/20704/stat : 20704 (java) S 20700 20702 20579 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155504878 937295872 6284 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33348 s]
/proc/loadavg: 1.34 1.72 1.84 4/100 20710
/proc/meminfo: memFree=1330848/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=915460 CPUtime=1.3
/proc/20702/stat : 20702 (java) R 20700 20702 20579 0 -1 0 8699 0 1 0 124 6 0 0 19 0 8 0 155504875 937431040 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 228865 8436 2517 14 0 215335 0
[pid=20702/tid=20704] ppid=20700 vsize=915460 CPUtime=0.02
/proc/20702/task/20704/stat : 20704 (java) S 20700 20702 20579 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155504878 937431040 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20705] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20705/stat : 20705 (java) S 20700 20702 20579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155504879 937431040 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20706] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20706/stat : 20706 (java) S 20700 20702 20579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155504879 937431040 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20707] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20707/stat : 20707 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155504882 937431040 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20708] ppid=20700 vsize=915460 CPUtime=0.2
/proc/20702/task/20708/stat : 20708 (java) S 20700 20702 20579 0 -1 64 381 0 0 0 19 1 0 0 19 0 8 0 155504882 937431040 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20709] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20709/stat : 20709 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155504882 937431040 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20710] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20710/stat : 20710 (java) S 20700 20702 20579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155504882 937431040 8436 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.97019 s]
/proc/loadavg: 1.34 1.72 1.84 3/100 20710
/proc/meminfo: memFree=1329312/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=915460 CPUtime=2.92
/proc/20702/stat : 20702 (java) R 20700 20702 20579 0 -1 0 9252 0 1 0 286 6 0 0 25 0 8 0 155504875 937431040 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 228865 8987 2517 14 0 215335 0
[pid=20702/tid=20704] ppid=20700 vsize=915460 CPUtime=0.02
/proc/20702/task/20704/stat : 20704 (java) S 20700 20702 20579 0 -1 64 175 0 0 0 2 0 0 0 17 0 8 0 155504878 937431040 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20705] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20705/stat : 20705 (java) S 20700 20702 20579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155504879 937431040 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20706] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20706/stat : 20706 (java) S 20700 20702 20579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155504879 937431040 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20707] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20707/stat : 20707 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155504882 937431040 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20708] ppid=20700 vsize=915460 CPUtime=0.2
/proc/20702/task/20708/stat : 20708 (java) S 20700 20702 20579 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 155504882 937431040 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20709] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20709/stat : 20709 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155504882 937431040 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20710] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20710/stat : 20710 (java) S 20700 20702 20579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155504882 937431040 8987 18446744073709551615 134512640 134570532 4294956464 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.26659 s]
/proc/loadavg: 1.40 1.73 1.84 3/100 20710
/proc/meminfo: memFree=1324896/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=915460 CPUtime=6.19
/proc/20702/stat : 20702 (java) R 20700 20702 20579 0 -1 0 10336 0 1 0 612 7 0 0 25 0 8 0 155504875 937431040 10071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 228865 10071 2517 14 0 215335 0
[pid=20702/tid=20704] ppid=20700 vsize=915460 CPUtime=0.02
/proc/20702/task/20704/stat : 20704 (java) S 20700 20702 20579 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155504878 937431040 10071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20705] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20705/stat : 20705 (java) S 20700 20702 20579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155504879 937431040 10071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20706] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20706/stat : 20706 (java) S 20700 20702 20579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155504879 937431040 10071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20707] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20707/stat : 20707 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155504882 937431040 10071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20708] ppid=20700 vsize=915460 CPUtime=0.2
/proc/20702/task/20708/stat : 20708 (java) S 20700 20702 20579 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 155504882 937431040 10071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20709] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20709/stat : 20709 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155504882 937431040 10071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20710] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20710/stat : 20710 (java) S 20700 20702 20579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155504882 937431040 10071 18446744073709551615 134512640 134570532 4294956464 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.7394 s]
/proc/loadavg: 1.44 1.73 1.84 3/100 20710
/proc/meminfo: memFree=1316000/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=915460 CPUtime=12.61
/proc/20702/stat : 20702 (java) R 20700 20702 20579 0 -1 0 12501 0 1 0 1253 8 0 0 25 0 8 0 155504875 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 228865 12236 2517 14 0 215335 0
[pid=20702/tid=20704] ppid=20700 vsize=915460 CPUtime=0.02
/proc/20702/task/20704/stat : 20704 (java) S 20700 20702 20579 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155504878 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20705] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20705/stat : 20705 (java) S 20700 20702 20579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155504879 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20706] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20706/stat : 20706 (java) S 20700 20702 20579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155504879 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20707] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20707/stat : 20707 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155504882 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20708] ppid=20700 vsize=915460 CPUtime=0.2
/proc/20702/task/20708/stat : 20708 (java) S 20700 20702 20579 0 -1 64 382 0 0 0 19 1 0 0 17 0 8 0 155504882 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20709] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20709/stat : 20709 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155504882 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20710] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20710/stat : 20710 (java) S 20700 20702 20579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155504882 937431040 12236 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.6101 s]
/proc/loadavg: 1.57 1.74 1.84 3/100 20710
/proc/meminfo: memFree=1300192/2055920 swapFree=4191880/4192956
[pid=20702] ppid=20700 vsize=915460 CPUtime=25.37
/proc/20702/stat : 20702 (java) R 20700 20702 20579 0 -1 0 16563 0 1 0 2527 10 0 0 25 0 8 0 155504875 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073723124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20702/statm: 228865 16298 2517 14 0 215335 0
[pid=20702/tid=20704] ppid=20700 vsize=915460 CPUtime=0.02
/proc/20702/task/20704/stat : 20704 (java) S 20700 20702 20579 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 155504878 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20705] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20705/stat : 20705 (java) S 20700 20702 20579 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155504879 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20706] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20706/stat : 20706 (java) S 20700 20702 20579 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155504879 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20707] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20707/stat : 20707 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155504882 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20708] ppid=20700 vsize=915460 CPUtime=0.2
/proc/20702/task/20708/stat : 20708 (java) S 20700 20702 20579 0 -1 64 382 0 0 0 19 1 0 0 17 0 8 0 155504882 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20709] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20709/stat : 20709 (java) S 20700 20702 20579 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155504882 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20702/tid=20710] ppid=20700 vsize=915460 CPUtime=0
/proc/20702/task/20710/stat : 20710 (java) S 20700 20702 20579 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155504882 937431040 16298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 26.6965
CPU time (s): 26.436
CPU user time (s): 26.289
CPU system time (s): 0.146977
CPU usage (%): 99.0242
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.289
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23211
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= 1318
involuntary context switches= 2684
runsolver used 0.036994 s user time and 0.097985 s system time
The end
Begin job on node16 on Sat Jan 6 08:11:40 UTC 2007
IDJOB= 197719
IDBENCH= 3509
FILE ID= node16/197719-1168071100
PBS_JOBID= 3475727
Free space on /tmp= 66498 MiB
BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197719-1168071100/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-197719-1168071100 -o ROOT/results/node16/solver-197719-1168071100 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197719-1168071100/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f8d39e5bdce05fe09513769763e88957
RANDOM SEED= 111179346
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.220
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.220
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: 1355064 kB
Buffers: 63748 kB
Cached: 408040 kB
SwapCached: 268 kB
Active: 202492 kB
Inactive: 400676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1355064 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 159872 kB
Slab: 82100 kB
Committed_AS: 4630364 kB
PageTables: 2568 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= 66498 MiB
End job on node16 on Sat Jan 6 08:12:07 UTC 2007