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/213209-1168077402/unknown.xml
0.37
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.132 cpuTime=0.11 mem=7M50
0.45
0.45 predicates being loaded...
0.45
0.45 constraints being loaded...
0.76 nbConstraints=880 nbConvertedConstraints=200 nbConvertConstraintsChecks=12 nbExtensionStructures=1
0.76 nbSharedExtensionStructures=199 nbConflictsStructures=2 nbSharedConflictsStructures=878
0.76 nbSharedBinaryRepresentations=2 nbEvaluationManagers=1 nbSharedEvaluationManagers=679 maxDegree=8 maxArity=3
0.76 => wckTime=0.445 cpuTime=0.32 mem=12M901
0.80
0.80 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.705 cpuTime=0.5 mem=19M988
1.04
1.04 preprocessing
1.04 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.04 detectedInconsistency=no
1.04 => wckTime=0.014 cpuTime=0.0 mem=19M988
1.08
1.08 search
1.08 run=0 nbConstraintChecks=229 nbValidityChecks=47 nbPropagations=510 nbRevisions=201 nbUselessRevisions=98
1.08 nbAssignments=48 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=55 nbRestartNogoods=0 mapSize=5
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.054 cpuTime=0.03 mem=19M988
1.11
1.11 search
1.11 run=1 nbConstraintChecks=831 nbValidityChecks=267 nbPropagations=1308 nbRevisions=1008 nbUselessRevisions=518
1.11 nbAssignments=121 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=137 nbRestartNogoods=1 mapSize=13
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.086 cpuTime=0.05 mem=19M988
1.14
1.14 search
1.14 run=2 nbConstraintChecks=1635 nbValidityChecks=627 nbPropagations=2474 nbRevisions=2645
1.14 nbUselessRevisions=1397 nbAssignments=215 nbFailedAssignments=13 nbBacktracks=63 nbVisitedNodes=241
1.14 nbRestartNogoods=2 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.12 cpuTime=0.07 mem=19M988
1.18
1.18 search
1.18 run=3 nbConstraintChecks=2601 nbValidityChecks=1056 nbPropagations=4037 nbRevisions=5302
1.18 nbUselessRevisions=2893 nbAssignments=359 nbFailedAssignments=18 nbBacktracks=100 nbVisitedNodes=395
1.18 nbRestartNogoods=5 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.158 cpuTime=0.11 mem=19M988
1.21
1.21 search
1.21 run=4 nbConstraintChecks=3458 nbValidityChecks=1549 nbPropagations=5966 nbRevisions=8913
1.21 nbUselessRevisions=4965 nbAssignments=482 nbFailedAssignments=22 nbBacktracks=165 nbVisitedNodes=528
1.21 nbRestartNogoods=9 mapSize=35 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.188 cpuTime=0.13 mem=19M988
1.23
1.24 search
1.24 run=5 nbConstraintChecks=4738 nbValidityChecks=2501 nbPropagations=8528 nbRevisions=14010
1.24 nbUselessRevisions=7843 nbAssignments=616 nbFailedAssignments=34 nbBacktracks=245 nbVisitedNodes=681
1.24 nbRestartNogoods=10 mapSize=52 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.213 cpuTime=0.15 mem=19M988
1.26
1.26 search
1.26 run=6 nbConstraintChecks=5900 nbValidityChecks=3395 nbPropagations=11669 nbRevisions=20458
1.26 nbUselessRevisions=11443 nbAssignments=781 nbFailedAssignments=48 nbBacktracks=373 nbVisitedNodes=868
1.26 nbRestartNogoods=12 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.242 cpuTime=0.18 mem=19M988
1.31
1.31 search
1.31 run=7 nbConstraintChecks=8867 nbValidityChecks=5735 nbPropagations=16236 nbRevisions=30612
1.31 nbUselessRevisions=17177 nbAssignments=1036 nbFailedAssignments=71 nbBacktracks=550 nbVisitedNodes=1167
1.31 nbRestartNogoods=14 mapSize=113 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.288 cpuTime=0.22 mem=19M988
1.38
1.38 search
1.38 run=8 nbConstraintChecks=12902 nbValidityChecks=9360 nbPropagations=22678 nbRevisions=46149
1.38 nbUselessRevisions=26228 nbAssignments=1372 nbFailedAssignments=90 nbBacktracks=816 nbVisitedNodes=1546
1.38 nbRestartNogoods=17 mapSize=151 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.356 cpuTime=0.29 mem=19M988
1.49
1.49 search
1.49 run=9 nbConstraintChecks=17405 nbValidityChecks=13789 nbPropagations=31269 nbRevisions=67959
1.49 nbUselessRevisions=39182 nbAssignments=1874 nbFailedAssignments=135 nbBacktracks=1223 nbVisitedNodes=2127
1.49 nbRestartNogoods=22 mapSize=225 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.464 cpuTime=0.38 mem=20M963
1.64
1.64 search
1.64 run=10 nbConstraintChecks=35007 nbValidityChecks=32543 nbPropagations=48383 nbRevisions=115904
1.64 nbUselessRevisions=68892 nbAssignments=2593 nbFailedAssignments=240 nbBacktracks=1802 nbVisitedNodes=3043
1.64 nbRestartNogoods=27 mapSize=417 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.622 cpuTime=0.52 mem=20M963
1.85
1.85 search
1.85 run=11 nbConstraintChecks=59548 nbValidityChecks=58923 nbPropagations=77825 nbRevisions=199949
1.85 nbUselessRevisions=121088 nbAssignments=3658 nbFailedAssignments=416 nbBacktracks=2670 nbVisitedNodes=4445
1.85 nbRestartNogoods=32 mapSize=749 nbInferences=0 nbTooLargeKeys=0
1.85 => wckTime=0.825 cpuTime=0.72 mem=20M963
2.02
2.02 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=20M963)
2.14
2.14 search
2.14 run=12 nbConstraintChecks=99461 nbValidityChecks=104625 nbPropagations=126942 nbRevisions=346763
2.14 nbUselessRevisions=214385 nbAssignments=5252 nbFailedAssignments=687 nbBacktracks=3974 nbVisitedNodes=6531
2.14 nbRestartNogoods=37
2.14 => wckTime=1.114 cpuTime=1.01 mem=20M963
2.52
2.52 search
2.52 run=13 nbConstraintChecks=172562 nbValidityChecks=189092 nbPropagations=212234 nbRevisions=608311
2.52 nbUselessRevisions=381889 nbAssignments=7634 nbFailedAssignments=1099 nbBacktracks=5922 nbVisitedNodes=9746
2.52 nbRestartNogoods=42
2.52 => wckTime=1.497 cpuTime=1.38 mem=20M963
3.08
3.08 search
3.08 run=14 nbConstraintChecks=281915 nbValidityChecks=315668 nbPropagations=350898 nbRevisions=1042276
3.08 nbUselessRevisions=662130 nbAssignments=11193 nbFailedAssignments=1696 nbBacktracks=8848 nbVisitedNodes=14460
3.08 nbRestartNogoods=46
3.08 => wckTime=2.055 cpuTime=1.94 mem=20M963
3.88
3.88 search
3.88 run=15 nbConstraintChecks=431172 nbValidityChecks=491308 nbPropagations=563715 nbRevisions=1717213
3.88 nbUselessRevisions=1100679 nbAssignments=16426 nbFailedAssignments=2515 nbBacktracks=13229 nbVisitedNodes=21223
3.88 nbRestartNogoods=53
3.88 => wckTime=2.855 cpuTime=2.73 mem=20M963
5.00
5.00 search
5.00 run=16 nbConstraintChecks=636315 nbValidityChecks=725794 nbPropagations=879516 nbRevisions=2713240
5.00 nbUselessRevisions=1745991 nbAssignments=24103 nbFailedAssignments=3583 nbBacktracks=19804 nbVisitedNodes=31048
5.00 nbRestartNogoods=60
5.00 => wckTime=3.98 cpuTime=3.84 mem=20M963
6.68
6.68 search
6.68 run=17 nbConstraintChecks=935015 nbValidityChecks=1073684 nbPropagations=1348539 nbRevisions=4190831
6.68 nbUselessRevisions=2703836 nbAssignments=35724 nbFailedAssignments=5308 nbBacktracks=29656 nbVisitedNodes=46132
6.68 nbRestartNogoods=68
6.68 => wckTime=5.663 cpuTime=5.51 mem=20M963
9.32
9.32 search
9.32 run=18 nbConstraintChecks=1421339 nbValidityChecks=1627859 nbPropagations=2075259 nbRevisions=6426168
9.32 nbUselessRevisions=4135846 nbAssignments=53232 nbFailedAssignments=8004 nbBacktracks=44444 nbVisitedNodes=69019
9.32 nbRestartNogoods=75
9.32 => wckTime=8.296 cpuTime=8.11 mem=20M963
12.95
12.95 search
12.95 run=19 nbConstraintChecks=2050985 nbValidityChecks=2346946 nbPropagations=3123808 nbRevisions=9649954
12.95 nbUselessRevisions=6198671 nbAssignments=79198 nbFailedAssignments=11779 nbBacktracks=66619
12.95 nbVisitedNodes=102754 nbRestartNogoods=83
12.95 => wckTime=11.925 cpuTime=11.71 mem=20M963
18.07
18.07 search
18.07 run=20 nbConstraintChecks=2860682 nbValidityChecks=3248715 nbPropagations=4595417 nbRevisions=14121314
18.07 nbUselessRevisions=9044399 nbAssignments=117717 nbFailedAssignments=17002 nbBacktracks=99892
18.07 nbVisitedNodes=152037 nbRestartNogoods=89
18.07 => wckTime=17.049 cpuTime=16.79 mem=20M963
26.72
26.72 search
26.72 run=21 nbConstraintChecks=4432344 nbValidityChecks=5083534 nbPropagations=6890640 nbRevisions=21118159
26.72 nbUselessRevisions=13504603 nbAssignments=176189 nbFailedAssignments=25578 nbBacktracks=149771
26.72 nbVisitedNodes=227971 nbRestartNogoods=96
26.72 => wckTime=25.698 cpuTime=25.37 mem=20M963
38.67
38.67 search
38.67 run=22 nbConstraintChecks=6405951 nbValidityChecks=7322261 nbPropagations=10209062 nbRevisions=31182349
38.67 nbUselessRevisions=19907251 nbAssignments=263554 nbFailedAssignments=38086 nbBacktracks=224595
38.67 nbVisitedNodes=339193 nbRestartNogoods=103
38.67 => wckTime=37.645 cpuTime=37.2 mem=20M963
57.12
57.12 search
57.12 run=23 nbConstraintChecks=9490345 nbValidityChecks=10767370 nbPropagations=15153232 nbRevisions=45978721
57.12 nbUselessRevisions=29249704 nbAssignments=397310 nbFailedAssignments=59579 nbBacktracks=336822
57.12 nbVisitedNodes=514547 nbRestartNogoods=112
57.12 => wckTime=56.098 cpuTime=55.48 mem=20M963
77.95
77.95 search
77.95 run=24 nbConstraintChecks=12917966 nbValidityChecks=14757944 nbPropagations=21910800 nbRevisions=66261031
77.95 nbUselessRevisions=42081458 nbAssignments=549850 nbFailedAssignments=83419 nbBacktracks=465122
77.95 nbVisitedNodes=714468 nbRestartNogoods=119
77.95 => wckTime=76.926 cpuTime=76.12 mem=20M963
77.95
77.95 global
77.95 nbConstraintChecks=12917966 nbValidityChecks=14757944 nbPropagations=21911200 nbRevisions=66261031
77.95 nbUselessRevisions=42081458 nbRestartNogoods=119 solvingWckTime=76.927 solvingCpuTime=76.12 expiredTime=no
77.95 totalExploration=no nbFoundSolutions=1 globalCpuTime=76.67
77.95 => wckTime=77.634 cpuTime=76.62 mem=20M963
77.95
77.95 s SATISFIABLE
77.95 v 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0
77.95 d NODES 549850
77.95 d CHECKS 12917966
77.95
77.95 totalWckTime=77.717 totalCpuTime=76.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-213209-1168077402 -o ROOT/results/node60/solver-213209-1168077402 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213209-1168077402/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.84 1.96 1.88 4/80 12241
/proc/meminfo: memFree=1419496/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=18540 CPUtime=0
/proc/12240/stat : 12240 (runsolver) R 12238 12240 11782 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156138230 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12240/statm: 4635 279 244 17 0 2626 0
[startup+0.109883 s]
/proc/loadavg: 1.84 1.96 1.88 4/80 12241
/proc/meminfo: memFree=1419496/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=914988 CPUtime=0.09
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 3037 0 1 0 7 2 0 0 17 0 8 0 156138230 936947712 2783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228747 2783 1442 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517923 s]
/proc/loadavg: 1.84 1.96 1.88 4/80 12241
/proc/meminfo: memFree=1419496/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915328 CPUtime=0.49
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 6391 0 1 0 45 4 0 0 19 0 8 0 156138230 937295872 6130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228832 6130 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.342 s]
/proc/loadavg: 1.84 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1390640/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=1.31
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10015 0 1 0 120 11 0 0 24 0 8 0 156138230 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 9753 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.25
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 420 0 0 0 25 0 0 0 15 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 9753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915576
[startup+2.99016 s]
/proc/loadavg: 1.84 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1389296/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=2.95
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10268 0 1 0 283 12 0 0 25 0 8 0 156138230 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10004 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 17 0 8 0 156138234 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915576
[startup+6.26949 s]
/proc/loadavg: 1.85 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1389232/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=6.19
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10276 0 1 0 607 12 0 0 25 0 8 0 156138230 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10012 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10012 18446744073709551615 134512640 134570532 4294956480 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) 915576
[startup+12.7591 s]
/proc/loadavg: 1.86 1.96 1.88 3/87 12248
/proc/meminfo: memFree=1389232/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=12.62
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10282 0 1 0 1250 12 0 0 25 0 8 0 156138230 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073935355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10018 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10018 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915576
[startup+25.6064 s]
/proc/loadavg: 1.89 1.97 1.88 3/87 12248
/proc/meminfo: memFree=1389360/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=25.35
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10287 0 1 0 2523 12 0 0 25 0 8 0 156138230 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073916015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10023 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10023 18446744073709551615 134512640 134570532 4294956480 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) 915576
[startup+51.2149 s]
/proc/loadavg: 1.93 1.97 1.88 3/87 12248
/proc/meminfo: memFree=1389360/2055920 swapFree=4192812/4192956
[pid=12240] ppid=12238 vsize=915576 CPUtime=50.72
/proc/12240/stat : 12240 (java) R 12238 12240 11782 0 -1 0 10293 0 1 0 5060 12 0 0 25 0 8 0 156138230 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12240/statm: 228894 10029 2532 14 0 215364 0
[pid=12240/tid=12242] ppid=12238 vsize=915576 CPUtime=0.03
/proc/12240/task/12242/stat : 12242 (java) S 12238 12240 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 156138234 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12243] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12243/stat : 12243 (java) S 12238 12240 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138234 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12244] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12244/stat : 12244 (java) S 12238 12240 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138234 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12245] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12245/stat : 12245 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12246] ppid=12238 vsize=915576 CPUtime=0.3
/proc/12240/task/12246/stat : 12246 (java) S 12238 12240 11782 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12247] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12247/stat : 12247 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12240/tid=12248] ppid=12238 vsize=915576 CPUtime=0
/proc/12240/task/12248/stat : 12248 (java) S 12238 12240 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156138237 937549824 10029 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915576
Child status: 0
Real time (s): 77.9781
CPU time (s): 77.2353
CPU user time (s): 77.0993
CPU system time (s): 0.135979
CPU usage (%): 99.0473
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.0993
system time used= 0.135979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10391
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= 2867
involuntary context switches= 5934
runsolver used 0.073988 s user time and 0.284956 s system time
The end
Begin job on node60 on Sat Jan 6 09:56:42 UTC 2007
IDJOB= 213209
IDBENCH= 4830
FILE ID= node60/213209-1168077402
PBS_JOBID= 3476039
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-3-4-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213209-1168077402/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-213209-1168077402 -o ROOT/results/node60/solver-213209-1168077402 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213209-1168077402/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a16c1eeb11da6903bcb4f27b8ea1be99
RANDOM SEED= 185695087
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.236
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.236
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: 1419912 kB
Buffers: 47444 kB
Cached: 425768 kB
SwapCached: 0 kB
Active: 130992 kB
Inactive: 430048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1419912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 108048 kB
Slab: 59960 kB
Committed_AS: 4092796 kB
PageTables: 2032 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= 66550 MiB
End job on node60 on Sat Jan 6 09:58:05 UTC 2007