0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/210210-1168075040/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.47 nbVariables=870 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.47 => wckTime=0.177 cpuTime=0.13 mem=8M869
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
0.84 nbConstraints=1458 nbSingletonDomainVariables=208 nbConvertedConstraints=1213 nbConvertConstraintsChecks=457
0.84 nbExtensionStructures=9 nbSharedExtensionStructures=1204 nbConflictsStructures=90
0.84 nbSharedConflictsStructures=1368 nbSharedBinaryRepresentations=21 nbEvaluationManagers=81
0.84 nbSharedEvaluationManagers=164 maxDegree=26 maxArity=5
0.84 => wckTime=0.54 cpuTime=0.41 mem=17M662
0.89
0.89 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.792 cpuTime=0.58 mem=19M580
1.11
1.11 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=870 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.015 cpuTime=0.01 mem=19M580
1.21
1.21 search
1.21 run=0 nbConstraintChecks=1622 nbValidityChecks=74 nbPropagations=1342 nbRevisions=1057 nbUselessRevisions=582
1.21 nbAssignments=146 nbFailedAssignments=1 nbBacktracks=15 nbVisitedNodes=149 nbRestartNogoods=0 mapSize=1
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.114 cpuTime=0.09 mem=20M588
1.29
1.29 search
1.29 run=1 nbConstraintChecks=3206 nbValidityChecks=237 nbPropagations=3169 nbRevisions=3202
1.29 nbUselessRevisions=1765 nbAssignments=303 nbFailedAssignments=2 nbBacktracks=43 nbVisitedNodes=308
1.29 nbRestartNogoods=1 mapSize=2 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.196 cpuTime=0.16 mem=20M588
1.36
1.36 search
1.36 run=2 nbConstraintChecks=4674 nbValidityChecks=379 nbPropagations=5440 nbRevisions=6344
1.36 nbUselessRevisions=3509 nbAssignments=451 nbFailedAssignments=4 nbBacktracks=75 nbVisitedNodes=459
1.36 nbRestartNogoods=2 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.264 cpuTime=0.22 mem=20M588
1.43
1.43 search
1.43 run=3 nbConstraintChecks=8325 nbValidityChecks=863 nbPropagations=8863 nbRevisions=12141
1.43 nbUselessRevisions=6761 nbAssignments=621 nbFailedAssignments=8 nbBacktracks=110 nbVisitedNodes=637
1.43 nbRestartNogoods=3 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.337 cpuTime=0.29 mem=20M588
1.52
1.52 search
1.52 run=4 nbConstraintChecks=12857 nbValidityChecks=1482 nbPropagations=13711 nbRevisions=21244
1.52 nbUselessRevisions=11900 nbAssignments=818 nbFailedAssignments=15 nbBacktracks=161 nbVisitedNodes=848
1.52 nbRestartNogoods=5 mapSize=21 nbInferences=2 nbTooLargeKeys=0
1.52 => wckTime=0.425 cpuTime=0.37 mem=20M588
1.63
1.63 search
1.63 run=5 nbConstraintChecks=19925 nbValidityChecks=2491 nbPropagations=20735 nbRevisions=35544
1.63 nbUselessRevisions=20040 nbAssignments=1048 nbFailedAssignments=24 nbBacktracks=259 nbVisitedNodes=1094
1.63 nbRestartNogoods=8 mapSize=34 nbInferences=2 nbTooLargeKeys=0
1.63 => wckTime=0.532 cpuTime=0.47 mem=20M588
1.75
1.75 search
1.75 run=6 nbConstraintChecks=27381 nbValidityChecks=3604 nbPropagations=30069 nbRevisions=55387
1.75 nbUselessRevisions=31407 nbAssignments=1313 nbFailedAssignments=35 nbBacktracks=373 nbVisitedNodes=1380
1.75 nbRestartNogoods=11 mapSize=52 nbInferences=5 nbTooLargeKeys=0
1.75 => wckTime=0.658 cpuTime=0.59 mem=20M588
1.92
1.92 search
1.92 run=7 nbConstraintChecks=40059 nbValidityChecks=5384 nbPropagations=43224 nbRevisions=84516
1.92 nbUselessRevisions=48161 nbAssignments=1643 nbFailedAssignments=53 nbBacktracks=583 nbVisitedNodes=1745
1.92 nbRestartNogoods=14 mapSize=86 nbInferences=8 nbTooLargeKeys=0
1.92 => wckTime=0.83 cpuTime=0.75 mem=20M588
2.13
2.13 search
2.13 run=8 nbConstraintChecks=53176 nbValidityChecks=7482 nbPropagations=60456 nbRevisions=123603
2.13 nbUselessRevisions=70804 nbAssignments=2059 nbFailedAssignments=66 nbBacktracks=849 nbVisitedNodes=2192
2.13 nbRestartNogoods=15 mapSize=113 nbInferences=13 nbTooLargeKeys=0
2.14 => wckTime=1.041 cpuTime=0.96 mem=20M588
2.45
2.45 search
2.45 run=9 nbConstraintChecks=80093 nbValidityChecks=11891 nbPropagations=85973 nbRevisions=183077
2.45 nbUselessRevisions=105529 nbAssignments=2649 nbFailedAssignments=106 nbBacktracks=1255 nbVisitedNodes=2858
2.45 nbRestartNogoods=19 mapSize=187 nbInferences=22 nbTooLargeKeys=0
2.45 => wckTime=1.353 cpuTime=1.27 mem=20M588
2.90
2.90 search
2.90 run=10 nbConstraintChecks=142178 nbValidityChecks=21769 nbPropagations=129988 nbRevisions=289296
2.90 nbUselessRevisions=168259 nbAssignments=3431 nbFailedAssignments=188 nbBacktracks=1835 nbVisitedNodes=3834
2.90 nbRestartNogoods=21 mapSize=374 nbInferences=66 nbTooLargeKeys=0
2.90 => wckTime=1.807 cpuTime=1.72 mem=20M588
3.50
3.50 search
3.50 run=11 nbConstraintChecks=223693 nbValidityChecks=33631 nbPropagations=197785 nbRevisions=455160
3.50 nbUselessRevisions=266209 nbAssignments=4463 nbFailedAssignments=295 nbBacktracks=2703 nbVisitedNodes=5087
3.50 nbRestartNogoods=24 mapSize=585 nbInferences=82 nbTooLargeKeys=0
3.50 => wckTime=2.404 cpuTime=2.31 mem=21M563
4.48
4.48 search
4.48 run=12 nbConstraintChecks=429871 nbValidityChecks=63265 nbPropagations=326167 nbRevisions=771995
4.48 nbUselessRevisions=453282 nbAssignments=6106 nbFailedAssignments=541 nbBacktracks=4005 nbVisitedNodes=7268
4.48 nbRestartNogoods=31 mapSize=1114 nbInferences=143 nbTooLargeKeys=0
4.48 => wckTime=3.384 cpuTime=3.29 mem=21M563
5.96
5.96 search
5.96 run=13 nbConstraintChecks=851992 nbValidityChecks=124042 nbPropagations=573068 nbRevisions=1396925
5.96 nbUselessRevisions=825983 nbAssignments=8600 nbFailedAssignments=975 nbBacktracks=5951 nbVisitedNodes=10638
5.96 nbRestartNogoods=37 mapSize=1970 nbInferences=217 nbTooLargeKeys=0
5.96 => wckTime=4.868 cpuTime=4.77 mem=21M563
8.05
8.05 search
8.05 run=14 nbConstraintChecks=1200710 nbValidityChecks=176932 nbPropagations=923145 nbRevisions=2281121
8.05 nbUselessRevisions=1353103 nbAssignments=12195 nbFailedAssignments=1372 nbBacktracks=8874 nbVisitedNodes=15283
8.05 nbRestartNogoods=39 mapSize=2976 nbInferences=463 nbTooLargeKeys=0
8.05 => wckTime=6.958 cpuTime=6.84 mem=22M539
11.42
11.42 search
11.42 run=15 nbConstraintChecks=1786815 nbValidityChecks=263980 nbPropagations=1445653 nbRevisions=3597200
11.42 nbUselessRevisions=2136650 nbAssignments=17701 nbFailedAssignments=2111 nbBacktracks=13252 nbVisitedNodes=22467
11.42 nbRestartNogoods=43 mapSize=4604 nbInferences=808 nbTooLargeKeys=0
11.42 => wckTime=10.33 cpuTime=10.21 mem=22M539
16.21
16.21 search
16.21 run=16 nbConstraintChecks=2800627 nbValidityChecks=411334 nbPropagations=2260070 nbRevisions=5662170
16.21 nbUselessRevisions=3371986 nbAssignments=25727 nbFailedAssignments=3109 nbBacktracks=19827 nbVisitedNodes=32868
16.21 nbRestartNogoods=48 mapSize=6889 nbInferences=1230 nbTooLargeKeys=0
16.21 => wckTime=15.112 cpuTime=14.97 mem=24M489
23.01
23.01 search
23.01 run=17 nbConstraintChecks=4448700 nbValidityChecks=671257 nbPropagations=3540253 nbRevisions=8972007
23.01 nbUselessRevisions=5373802 nbAssignments=37188 nbFailedAssignments=4347 nbBacktracks=29681 nbVisitedNodes=47403
23.01 nbRestartNogoods=54 mapSize=9910 nbInferences=1556 nbTooLargeKeys=0
23.01 => wckTime=21.913 cpuTime=21.78 mem=26M439
33.61
33.61 search
33.61 run=18 nbConstraintChecks=6092786 nbValidityChecks=921566 nbPropagations=5305575 nbRevisions=13510656
33.61 nbUselessRevisions=8113887 nbAssignments=55514 nbFailedAssignments=6473 nbBacktracks=44470 nbVisitedNodes=71050
33.61 nbRestartNogoods=62 mapSize=15048 nbInferences=2920 nbTooLargeKeys=0
33.61 => wckTime=32.517 cpuTime=32.37 mem=28M390
48.51
48.51 search
48.51 run=19 nbConstraintChecks=8889057 nbValidityChecks=1323214 nbPropagations=7880102 nbRevisions=20087022
48.51 nbUselessRevisions=12069123 nbAssignments=81556 nbFailedAssignments=9364 nbBacktracks=65493
48.51 nbVisitedNodes=105170 nbRestartNogoods=72 mapSize=22823 nbInferences=5049 nbTooLargeKeys=0
48.51 => wckTime=47.414 cpuTime=47.26 mem=32M290
48.51
48.51 global
48.51 nbConstraintChecks=8889057 nbValidityChecks=1323214 nbPropagations=7880972 nbRevisions=20087022
48.51 nbUselessRevisions=12069123 nbRestartNogoods=72 solvingWckTime=47.415 solvingCpuTime=47.26 expiredTime=no
48.51 totalExploration=yes nbFoundSolutions=0 globalCpuTime=47.89
48.51 => wckTime=48.213 cpuTime=47.84 mem=32M290
48.51
48.51 s UNSATISFIABLE
48.51 d NODES 81556
48.51 d CHECKS 8889057
48.51
48.51 totalWckTime=48.291 totalCpuTime=47.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-210210-1168075040 -o ROOT/results/node4/solver-210210-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210210-1168075040/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.46 1.80 1.86 4/93 12065
/proc/meminfo: memFree=1048704/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=172 CPUtime=0
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155900166 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/12064/statm: 43 24 18 14 0 3 0
[startup+0.108235 s]
/proc/loadavg: 1.46 1.80 1.86 4/93 12065
/proc/meminfo: memFree=1048704/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=914988 CPUtime=0.09
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 3062 0 1 0 7 2 0 0 22 0 8 0 155900166 936947712 2808 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12064/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.520284 s]
/proc/loadavg: 1.46 1.80 1.86 4/93 12065
/proc/meminfo: memFree=1048704/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=915328 CPUtime=0.5
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 6698 0 1 0 45 5 0 0 25 0 8 0 155900166 937295872 6437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12064/statm: 228832 6437 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34135 s]
/proc/loadavg: 1.50 1.80 1.86 4/100 12072
/proc/meminfo: memFree=1019784/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=915580 CPUtime=1.32
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 10024 0 1 0 118 14 0 0 25 0 8 0 155900166 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12064/statm: 228895 9762 2532 14 0 215365 0
[pid=12064/tid=12066] ppid=12062 vsize=915580 CPUtime=0.03
/proc/12064/task/12066/stat : 12066 (java) S 12062 12064 11997 0 -1 64 445 0 0 0 3 0 0 0 17 0 8 0 155900169 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155900173 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=915580 CPUtime=0.24
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 11997 0 -1 64 416 0 0 0 24 0 0 0 15 0 8 0 155900173 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155900173 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155900173 937553920 9762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915580
[startup+2.97851 s]
/proc/loadavg: 1.50 1.80 1.86 3/100 12072
/proc/meminfo: memFree=1019144/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=915580 CPUtime=2.95
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 10193 0 1 0 281 14 0 0 25 0 8 0 155900166 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12064/statm: 228895 9929 2532 14 0 215365 0
[pid=12064/tid=12066] ppid=12062 vsize=915580 CPUtime=0.03
/proc/12064/task/12066/stat : 12066 (java) S 12062 12064 11997 0 -1 64 445 0 0 0 3 0 0 0 17 0 8 0 155900169 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155900173 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=915580 CPUtime=0.29
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 11997 0 -1 64 441 0 0 0 29 0 0 0 15 0 8 0 155900173 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155900173 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155900173 937553920 9929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915580
[startup+6.26832 s]
/proc/loadavg: 1.54 1.81 1.86 3/100 12072
/proc/meminfo: memFree=1018184/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=915580 CPUtime=6.24
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 10400 0 1 0 610 14 0 0 25 0 8 0 155900166 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12064/statm: 228895 10134 2532 14 0 215365 0
[pid=12064/tid=12066] ppid=12062 vsize=915580 CPUtime=0.03
/proc/12064/task/12066/stat : 12066 (java) S 12062 12064 11997 0 -1 64 445 0 0 0 3 0 0 0 17 0 8 0 155900169 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155900173 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=915580 CPUtime=0.29
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 11997 0 -1 64 443 0 0 0 29 0 0 0 16 0 8 0 155900173 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155900173 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155900173 937553920 10134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915580
[startup+12.7534 s]
/proc/loadavg: 1.58 1.81 1.86 3/100 12072
/proc/meminfo: memFree=1016712/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=915580 CPUtime=12.71
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 10759 0 1 0 1256 15 0 0 25 0 8 0 155900166 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12064/statm: 228895 10492 2532 14 0 215365 0
[pid=12064/tid=12066] ppid=12062 vsize=915580 CPUtime=0.03
/proc/12064/task/12066/stat : 12066 (java) S 12062 12064 11997 0 -1 64 445 0 0 0 3 0 0 0 17 0 8 0 155900169 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155900173 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=915580 CPUtime=0.29
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 11997 0 -1 64 444 0 0 0 29 0 0 0 16 0 8 0 155900173 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155900173 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155900173 937553920 10492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915580
[startup+25.6332 s]
/proc/loadavg: 1.64 1.82 1.86 3/100 12072
/proc/meminfo: memFree=1013640/2055920 swapFree=4191880/4192956
[pid=12064] ppid=12062 vsize=915580 CPUtime=25.57
/proc/12064/stat : 12064 (java) R 12062 12064 11997 0 -1 0 11573 0 1 0 2542 15 0 0 25 0 8 0 155900166 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957953 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12064/statm: 228895 11306 2532 14 0 215365 0
[pid=12064/tid=12066] ppid=12062 vsize=915580 CPUtime=0.03
/proc/12064/task/12066/stat : 12066 (java) S 12062 12064 11997 0 -1 64 445 0 0 0 3 0 0 0 16 0 8 0 155900169 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12067] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12067/stat : 12067 (java) S 12062 12064 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12068] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12068/stat : 12068 (java) S 12062 12064 11997 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155900170 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12069] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12069/stat : 12069 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155900173 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12070] ppid=12062 vsize=915580 CPUtime=0.3
/proc/12064/task/12070/stat : 12070 (java) S 12062 12064 11997 0 -1 64 445 0 0 0 30 0 0 0 16 0 8 0 155900173 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12071] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12071/stat : 12071 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155900173 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12064/tid=12072] ppid=12062 vsize=915580 CPUtime=0
/proc/12064/task/12072/stat : 12072 (java) S 12062 12064 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155900173 937553920 11306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 48.5869
CPU time (s): 48.4616
CPU user time (s): 48.2817
CPU system time (s): 0.179972
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.2817
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13040
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= 2508
involuntary context switches= 4893
runsolver used 0.056991 s user time and 0.167974 s system time
The end
Begin job on node4 on Sat Jan 6 09:17:26 UTC 2007
IDJOB= 210210
IDBENCH= 4602
FILE ID= node4/210210-1168075040
PBS_JOBID= 3475793
Free space on /tmp= 66301 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ssa/ssa-0432-003.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210210-1168075040/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-210210-1168075040 -o ROOT/results/node4/solver-210210-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210210-1168075040/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dc9e2f6f8ccdc90333d37df61624232c
RANDOM SEED= 4527835
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.223
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.223
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: 1049184 kB
Buffers: 73816 kB
Cached: 668068 kB
SwapCached: 268 kB
Active: 553196 kB
Inactive: 357396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1049184 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 197028 kB
Slab: 80408 kB
Committed_AS: 4539068 kB
PageTables: 2676 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= 66301 MiB
End job on node4 on Sat Jan 6 09:18:18 UTC 2007