0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/213365-1168077429/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.42 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.123 cpuTime=0.1 mem=7M50
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.64 nbConstraints=520 nbConvertedConstraints=201 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.64 nbSharedExtensionStructures=199 nbConflictsStructures=3 nbSharedConflictsStructures=517
0.64 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=318 maxDegree=6 maxArity=3
0.64 => wckTime=0.344 cpuTime=0.26 mem=10M951
0.68
0.68 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.569 cpuTime=0.41 mem=17M724
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.01 cpuTime=0.0 mem=17M724
0.94
0.94 search
0.94 run=0 nbConstraintChecks=556 nbValidityChecks=47 nbPropagations=678 nbRevisions=443 nbUselessRevisions=218
0.94 nbAssignments=167 nbFailedAssignments=6 nbBacktracks=19 nbVisitedNodes=178 nbRestartNogoods=0 mapSize=8
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.074 cpuTime=0.05 mem=17M724
0.97
0.97 search
0.97 run=1 nbConstraintChecks=1293 nbValidityChecks=355 nbPropagations=1787 nbRevisions=1615 nbUselessRevisions=778
0.97 nbAssignments=294 nbFailedAssignments=13 nbBacktracks=36 nbVisitedNodes=316 nbRestartNogoods=2 mapSize=15
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.109 cpuTime=0.08 mem=17M724
1.00
1.00 search
1.00 run=2 nbConstraintChecks=1789 nbValidityChecks=554 nbPropagations=3172 nbRevisions=3240
1.00 nbUselessRevisions=1539 nbAssignments=364 nbFailedAssignments=20 nbBacktracks=59 nbVisitedNodes=401
1.00 nbRestartNogoods=6 mapSize=28 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.137 cpuTime=0.1 mem=17M724
1.05
1.05 search
1.05 run=3 nbConstraintChecks=2994 nbValidityChecks=1083 nbPropagations=5234 nbRevisions=6005
1.05 nbUselessRevisions=2798 nbAssignments=573 nbFailedAssignments=31 nbBacktracks=96 nbVisitedNodes=635
1.05 nbRestartNogoods=8 mapSize=48 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.187 cpuTime=0.14 mem=17M724
1.09
1.09 search
1.09 run=4 nbConstraintChecks=4087 nbValidityChecks=1660 nbPropagations=7925 nbRevisions=9857
1.09 nbUselessRevisions=4577 nbAssignments=798 nbFailedAssignments=42 nbBacktracks=154 nbVisitedNodes=887
1.09 nbRestartNogoods=12 mapSize=70 nbInferences=3 nbTooLargeKeys=0
1.09 => wckTime=0.23 cpuTime=0.17 mem=17M724
1.15
1.15 search
1.15 run=5 nbConstraintChecks=5145 nbValidityChecks=2236 nbPropagations=11226 nbRevisions=14750
1.15 nbUselessRevisions=6846 nbAssignments=1043 nbFailedAssignments=54 nbBacktracks=229 nbVisitedNodes=1158
1.15 nbRestartNogoods=17 mapSize=90 nbInferences=4 nbTooLargeKeys=0
1.15 => wckTime=0.283 cpuTime=0.22 mem=18M699
1.19
1.19 search
1.19 run=6 nbConstraintChecks=8251 nbValidityChecks=4182 nbPropagations=16381 nbRevisions=22809
1.19 nbUselessRevisions=10445 nbAssignments=1259 nbFailedAssignments=95 nbBacktracks=359 nbVisitedNodes=1462
1.19 nbRestartNogoods=20 mapSize=173 nbInferences=12 nbTooLargeKeys=0
1.19 => wckTime=0.323 cpuTime=0.26 mem=18M699
1.24
1.24 search
1.24 run=7 nbConstraintChecks=11112 nbValidityChecks=6024 nbPropagations=23145 nbRevisions=33759
1.24 nbUselessRevisions=15342 nbAssignments=1541 nbFailedAssignments=153 nbBacktracks=529 nbVisitedNodes=1861
1.24 nbRestartNogoods=21 mapSize=285 nbInferences=12 nbTooLargeKeys=0
1.24 => wckTime=0.375 cpuTime=0.3 mem=18M699
1.31
1.31 search
1.31 run=8 nbConstraintChecks=15589 nbValidityChecks=8587 nbPropagations=32522 nbRevisions=48992
1.31 nbUselessRevisions=21891 nbAssignments=1909 nbFailedAssignments=238 nbBacktracks=785 nbVisitedNodes=2408
1.31 nbRestartNogoods=26 mapSize=455 nbInferences=12 nbTooLargeKeys=0
1.31 => wckTime=0.451 cpuTime=0.36 mem=18M699
1.39
1.39 search
1.39 run=9 nbConstraintChecks=20460 nbValidityChecks=11759 nbPropagations=44572 nbRevisions=68961
1.39 nbUselessRevisions=30584 nbAssignments=2408 nbFailedAssignments=332 nbBacktracks=1171 nbVisitedNodes=3103
1.39 nbRestartNogoods=31 mapSize=648 nbInferences=20 nbTooLargeKeys=0
1.39 => wckTime=0.524 cpuTime=0.42 mem=18M699
1.53
1.53 search
1.53 run=10 nbConstraintChecks=29231 nbValidityChecks=17726 nbPropagations=61597 nbRevisions=98475
1.53 nbUselessRevisions=43749 nbAssignments=3204 nbFailedAssignments=484 nbBacktracks=1753 nbVisitedNodes=4224
1.53 nbRestartNogoods=34 mapSize=917 nbInferences=22 nbTooLargeKeys=0
1.53 => wckTime=0.668 cpuTime=0.56 mem=18M699
1.68
1.68 search
1.68 run=11 nbConstraintChecks=41990 nbValidityChecks=26119 nbPropagations=86134 nbRevisions=140747
1.68 nbUselessRevisions=62131 nbAssignments=4287 nbFailedAssignments=685 nbBacktracks=2627 nbVisitedNodes=5720
1.68 nbRestartNogoods=41 mapSize=1328 nbInferences=25 nbTooLargeKeys=0
1.68 => wckTime=0.818 cpuTime=0.71 mem=18M699
1.93
1.93 search
1.93 run=12 nbConstraintChecks=60803 nbValidityChecks=38557 nbPropagations=121400 nbRevisions=202129
1.93 nbUselessRevisions=89051 nbAssignments=6040 nbFailedAssignments=1067 nbBacktracks=3924 nbVisitedNodes=8211
1.93 nbRestartNogoods=43 mapSize=2053 nbInferences=26 nbTooLargeKeys=0
1.93 => wckTime=1.064 cpuTime=0.95 mem=18M699
2.38
2.38 search
2.38 run=13 nbConstraintChecks=96857 nbValidityChecks=64419 nbPropagations=177848 nbRevisions=304241
2.38 nbUselessRevisions=135475 nbAssignments=8602 nbFailedAssignments=1604 nbBacktracks=5870 nbVisitedNodes=11878
2.38 nbRestartNogoods=55 mapSize=3138 nbInferences=35 nbTooLargeKeys=0
2.38 => wckTime=1.517 cpuTime=1.4 mem=19M675
3.06
3.06 search
3.06 run=14 nbConstraintChecks=167584 nbValidityChecks=116376 nbPropagations=278149 nbRevisions=487351
3.06 nbUselessRevisions=219062 nbAssignments=12354 nbFailedAssignments=2351 nbBacktracks=8792 nbVisitedNodes=17200
3.06 nbRestartNogoods=69 mapSize=4681 nbInferences=62 nbTooLargeKeys=0
3.06 => wckTime=2.193 cpuTime=2.08 mem=20M650
4.02
4.02 search
4.02 run=15 nbConstraintChecks=271742 nbValidityChecks=191359 nbPropagations=441359 nbRevisions=784231
4.02 nbUselessRevisions=353246 nbAssignments=18129 nbFailedAssignments=3704 nbBacktracks=13173 nbVisitedNodes=25747
4.02 nbRestartNogoods=80 mapSize=7443 nbInferences=68 nbTooLargeKeys=0
4.02 => wckTime=3.156 cpuTime=3.04 mem=21M625
5.38
5.38 search
5.38 run=16 nbConstraintChecks=406195 nbValidityChecks=285444 nbPropagations=684802 nbRevisions=1227598
5.38 nbUselessRevisions=554290 nbAssignments=26831 nbFailedAssignments=5610 nbBacktracks=19743 nbVisitedNodes=38288
5.38 nbRestartNogoods=87 mapSize=11267 nbInferences=280 nbTooLargeKeys=0
5.38 => wckTime=4.513 cpuTime=4.39 mem=22M600
6.65
6.65 search
6.65 run=17 nbConstraintChecks=492423 nbValidityChecks=346903 nbPropagations=979965 nbRevisions=1769226
6.65 nbUselessRevisions=801939 nbAssignments=34034 nbFailedAssignments=6683 nbBacktracks=25467 nbVisitedNodes=47662
6.65 nbRestartNogoods=92 mapSize=13423 nbInferences=286 nbTooLargeKeys=0
6.65 => wckTime=5.791 cpuTime=5.66 mem=23M575
6.65
6.66 global
6.66 nbConstraintChecks=492423 nbValidityChecks=346903 nbPropagations=980365 nbRevisions=1769226
6.66 nbUselessRevisions=801939 nbRestartNogoods=92 solvingWckTime=5.792 solvingCpuTime=5.66 expiredTime=no
6.66 totalExploration=no nbFoundSolutions=1 globalCpuTime=6.13
6.66 => wckTime=6.362 cpuTime=6.08 mem=23M575
6.66
6.66 s SATISFIABLE
6.66 v 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 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 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 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 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0
6.66 d NODES 34034
6.66 d CHECKS 492423
6.66
6.66 totalWckTime=6.439 totalCpuTime=6.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-213365-1168077429 -o ROOT/results/node24/solver-213365-1168077429 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213365-1168077429/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: 0.83 1.66 1.85 5/93 16455
/proc/meminfo: memFree=1792344/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=18540 CPUtime=0
/proc/16454/stat : 16454 (runsolver) R 16452 16454 15975 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156138320 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16454/statm: 4635 279 244 17 0 2626 0
[startup+0.107857 s]
/proc/loadavg: 0.83 1.66 1.85 5/93 16455
/proc/meminfo: memFree=1792344/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=914988 CPUtime=0.08
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 3077 0 1 0 7 1 0 0 24 0 8 0 156138320 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155583541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16454/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.5159 s]
/proc/loadavg: 0.83 1.66 1.85 5/93 16455
/proc/meminfo: memFree=1792344/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915328 CPUtime=0.5
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 6653 0 1 0 46 4 0 0 25 0 8 0 156138320 937295872 6392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073543350 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16454/statm: 228832 6392 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33998 s]
/proc/loadavg: 0.93 1.67 1.85 4/100 16462
/proc/meminfo: memFree=1745504/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915556 CPUtime=1.29
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 9527 0 1 0 121 8 0 0 25 0 8 0 156138320 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16454/statm: 228889 9265 2532 14 0 215359 0
[pid=16454/tid=16456] ppid=16452 vsize=915556 CPUtime=0.03
/proc/16454/task/16456/stat : 16456 (java) S 16452 16454 15975 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 156138324 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16457] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16457/stat : 16457 (java) S 16452 16454 15975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138324 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16458] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16458/stat : 16458 (java) S 16452 16454 15975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138324 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16459] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16459/stat : 16459 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16460] ppid=16452 vsize=915556 CPUtime=0.22
/proc/16454/task/16460/stat : 16460 (java) S 16452 16454 15975 0 -1 64 408 0 0 0 21 1 0 0 16 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16461] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16461/stat : 16461 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16462] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16462/stat : 16462 (java) S 16452 16454 15975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156138327 937529344 9265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915556
[startup+2.98616 s]
/proc/loadavg: 0.93 1.67 1.85 2/88 16470
/proc/meminfo: memFree=1771200/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915556 CPUtime=2.93
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 9955 0 1 0 285 8 0 0 18 0 8 0 156138320 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16454/statm: 228889 9691 2532 14 0 215359 0
[pid=16454/tid=16456] ppid=16452 vsize=915556 CPUtime=0.03
/proc/16454/task/16456/stat : 16456 (java) S 16452 16454 15975 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 156138324 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16457] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16457/stat : 16457 (java) S 16452 16454 15975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138324 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16458] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16458/stat : 16458 (java) S 16452 16454 15975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138324 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16459] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16459/stat : 16459 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16460] ppid=16452 vsize=915556 CPUtime=0.24
/proc/16454/task/16460/stat : 16460 (java) S 16452 16454 15975 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16461] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16461/stat : 16461 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16462] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16462/stat : 16462 (java) S 16452 16454 15975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156138327 937529344 9691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915556
[startup+6.26451 s]
/proc/loadavg: 0.93 1.66 1.85 2/88 16476
/proc/meminfo: memFree=1769224/2055920 swapFree=4192812/4192956
[pid=16454] ppid=16452 vsize=915556 CPUtime=6.2
/proc/16454/stat : 16454 (java) R 16452 16454 15975 0 -1 0 10826 0 1 0 611 9 0 0 25 0 8 0 156138320 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16454/statm: 228889 10562 2532 14 0 215359 0
[pid=16454/tid=16456] ppid=16452 vsize=915556 CPUtime=0.03
/proc/16454/task/16456/stat : 16456 (java) S 16452 16454 15975 0 -1 64 221 0 0 0 3 0 0 0 16 0 8 0 156138324 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16457] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16457/stat : 16457 (java) S 16452 16454 15975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156138324 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16458] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16458/stat : 16458 (java) S 16452 16454 15975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156138324 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16459] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16459/stat : 16459 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16460] ppid=16452 vsize=915556 CPUtime=0.24
/proc/16454/task/16460/stat : 16460 (java) S 16452 16454 15975 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16461] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16461/stat : 16461 (java) S 16452 16454 15975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16454/tid=16462] ppid=16452 vsize=915556 CPUtime=0
/proc/16454/task/16462/stat : 16462 (java) S 16452 16454 15975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156138327 937529344 10562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 6.69234
CPU time (s): 6.60999
CPU user time (s): 6.50301
CPU system time (s): 0.106983
CPU usage (%): 98.7695
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.50301
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10995
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= 1425
involuntary context switches= 1655
runsolver used 0.006998 s user time and 0.028995 s system time
The end
Begin job on node24 on Sat Jan 6 09:57:11 UTC 2007
IDJOB= 213365
IDBENCH= 4842
FILE ID= node24/213365-1168077429
PBS_JOBID= 3476058
Free space on /tmp= 66464 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-1-6-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213365-1168077429/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-213365-1168077429 -o ROOT/results/node24/solver-213365-1168077429 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213365-1168077429/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a9a650e9a0816554ac6bef49daf94603
RANDOM SEED= 33752364
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.234
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.234
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: 1793720 kB
Buffers: 23236 kB
Cached: 107732 kB
SwapCached: 0 kB
Active: 122456 kB
Inactive: 71636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1793720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3612 kB
Writeback: 0 kB
Mapped: 88324 kB
Slab: 52732 kB
Committed_AS: 3711860 kB
PageTables: 2380 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= 66464 MiB
End job on node24 on Sat Jan 6 09:57:19 UTC 2007