0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/210483-1168075074/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=135 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.107 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.59 nbConstraints=118 nbConflictsStructures=5 nbSharedConflictsStructures=113 nbSharedBinaryRepresentations=0
0.59 nbEvaluationManagers=5 nbSharedEvaluationManagers=113 maxDegree=10 maxArity=10
0.59 => wckTime=0.267 cpuTime=0.2 mem=9M893
0.63
0.63 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.509 cpuTime=0.35 mem=15M523
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=135 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0060 cpuTime=0.01 mem=15M523
0.91
0.91 search
0.91 run=0 nbConstraintChecks=800 nbValidityChecks=148 nbPropagations=274 nbRevisions=267 nbUselessRevisions=124
0.91 nbAssignments=110 nbFailedAssignments=1 nbBacktracks=69 nbVisitedNodes=113 nbRestartNogoods=0 mapSize=1
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.069 cpuTime=0.04 mem=16M515
0.93
0.93 search
0.93 run=1 nbConstraintChecks=2464 nbValidityChecks=453 nbPropagations=724 nbRevisions=868 nbUselessRevisions=396
0.93 nbAssignments=231 nbFailedAssignments=3 nbBacktracks=87 nbVisitedNodes=238 nbRestartNogoods=1 mapSize=4
0.93 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.098 cpuTime=0.06 mem=16M515
0.95
0.95 search
0.95 run=2 nbConstraintChecks=3616 nbValidityChecks=786 nbPropagations=1332 nbRevisions=1833 nbUselessRevisions=868
0.95 nbAssignments=297 nbFailedAssignments=4 nbBacktracks=111 nbVisitedNodes=307 nbRestartNogoods=2 mapSize=6
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.112 cpuTime=0.08 mem=16M515
0.98
0.98 search
0.98 run=3 nbConstraintChecks=7634 nbValidityChecks=1645 nbPropagations=2239 nbRevisions=3581
0.98 nbUselessRevisions=1786 nbAssignments=403 nbFailedAssignments=8 nbBacktracks=152 nbVisitedNodes=425
0.98 nbRestartNogoods=3 mapSize=16 nbInferences=2 nbTooLargeKeys=0
0.98 => wckTime=0.143 cpuTime=0.1 mem=16M515
1.00
1.00 search
1.00 run=4 nbConstraintChecks=9710 nbValidityChecks=2126 nbPropagations=3345 nbRevisions=5775
1.00 nbUselessRevisions=2940 nbAssignments=494 nbFailedAssignments=10 nbBacktracks=204 nbVisitedNodes=523
1.00 nbRestartNogoods=5 mapSize=22 nbInferences=4 nbTooLargeKeys=0
1.00 => wckTime=0.162 cpuTime=0.12 mem=16M515
1.04
1.04 search
1.04 run=5 nbConstraintChecks=14230 nbValidityChecks=3233 nbPropagations=4884 nbRevisions=8856
1.04 nbUselessRevisions=4530 nbAssignments=656 nbFailedAssignments=17 nbBacktracks=281 nbVisitedNodes=706
1.04 nbRestartNogoods=6 mapSize=40 nbInferences=11 nbTooLargeKeys=0
1.04 => wckTime=0.2 cpuTime=0.14 mem=16M515
1.08
1.08 search
1.08 run=6 nbConstraintChecks=25222 nbValidityChecks=5120 nbPropagations=7051 nbRevisions=13324
1.08 nbUselessRevisions=6794 nbAssignments=846 nbFailedAssignments=34 nbBacktracks=394 nbVisitedNodes=933
1.08 nbRestartNogoods=9 mapSize=75 nbInferences=12 nbTooLargeKeys=0
1.08 => wckTime=0.241 cpuTime=0.18 mem=16M515
1.12
1.12 search
1.12 run=7 nbConstraintChecks=36530 nbValidityChecks=8385 nbPropagations=10143 nbRevisions=20565
1.12 nbUselessRevisions=10691 nbAssignments=1111 nbFailedAssignments=61 nbBacktracks=565 nbVisitedNodes=1252
1.12 nbRestartNogoods=11 mapSize=126 nbInferences=12 nbTooLargeKeys=0
1.12 => wckTime=0.281 cpuTime=0.22 mem=16M515
1.18
1.18 search
1.18 run=8 nbConstraintChecks=54972 nbValidityChecks=12054 nbPropagations=14397 nbRevisions=29965
1.18 nbUselessRevisions=15424 nbAssignments=1472 nbFailedAssignments=101 nbBacktracks=825 nbVisitedNodes=1696
1.18 nbRestartNogoods=14 mapSize=199 nbInferences=12 nbTooLargeKeys=0
1.18 => wckTime=0.344 cpuTime=0.27 mem=16M515
1.28
1.29 search
1.29 run=9 nbConstraintChecks=96880 nbValidityChecks=18604 nbPropagations=20720 nbRevisions=43178
1.29 nbUselessRevisions=21589 nbAssignments=1982 nbFailedAssignments=165 nbBacktracks=1216 nbVisitedNodes=2345
1.29 nbRestartNogoods=17 mapSize=335 nbInferences=12 nbTooLargeKeys=0
1.29 => wckTime=0.447 cpuTime=0.36 mem=16M515
1.42
1.42 search
1.42 run=10 nbConstraintChecks=162553 nbValidityChecks=28504 nbPropagations=30126 nbRevisions=62247
1.42 nbUselessRevisions=29943 nbAssignments=2721 nbFailedAssignments=267 nbBacktracks=1792 nbVisitedNodes=3308
1.42 nbRestartNogoods=20 mapSize=556 nbInferences=12 nbTooLargeKeys=0
1.42 => wckTime=0.584 cpuTime=0.48 mem=16M515
1.60
1.60 search
1.60 run=11 nbConstraintChecks=256226 nbValidityChecks=42297 nbPropagations=43954 nbRevisions=89405
1.60 nbUselessRevisions=41214 nbAssignments=3776 nbFailedAssignments=399 nbBacktracks=2656 nbVisitedNodes=4670
1.60 nbRestartNogoods=23 mapSize=860 nbInferences=12 nbTooLargeKeys=0
1.60 => wckTime=0.765 cpuTime=0.66 mem=16M515
1.82
1.82 search
1.82 run=12 nbConstraintChecks=363528 nbValidityChecks=58957 nbPropagations=63178 nbRevisions=126356
1.82 nbUselessRevisions=56017 nbAssignments=5293 nbFailedAssignments=561 nbBacktracks=3969 nbVisitedNodes=6558
1.82 nbRestartNogoods=26 mapSize=1230 nbInferences=12 nbTooLargeKeys=0
1.82 => wckTime=0.985 cpuTime=0.88 mem=17M490
2.20
2.20 search
2.20 run=13 nbConstraintChecks=563613 nbValidityChecks=87043 nbPropagations=91776 nbRevisions=179710
2.20 nbUselessRevisions=76747 nbAssignments=7542 nbFailedAssignments=814 nbBacktracks=5921 nbVisitedNodes=9447
2.20 nbRestartNogoods=27 mapSize=1868 nbInferences=12 nbTooLargeKeys=0
2.20 => wckTime=1.365 cpuTime=1.26 mem=17M490
2.51
2.51 INFO : Stopping hyperNogood (mapSize=2408, nbTooLargekeys=0, mem=17M490)
2.71
2.71 search
2.71 run=14 nbConstraintChecks=850427 nbValidityChecks=130210 nbPropagations=134295 nbRevisions=258828
2.71 nbUselessRevisions=106933 nbAssignments=10953 nbFailedAssignments=1244 nbBacktracks=8845 nbVisitedNodes=13896
2.71 nbRestartNogoods=29
2.71 => wckTime=1.874 cpuTime=1.76 mem=17M490
3.45
3.45 search
3.45 run=15 nbConstraintChecks=1316611 nbValidityChecks=201541 nbPropagations=200404 nbRevisions=379658
3.45 nbUselessRevisions=152353 nbAssignments=15962 nbFailedAssignments=1830 nbBacktracks=13223 nbVisitedNodes=20546
3.45 nbRestartNogoods=33
3.45 => wckTime=2.612 cpuTime=2.49 mem=17M490
4.34
4.34 search
4.34 run=16 nbConstraintChecks=1864976 nbValidityChecks=285489 nbPropagations=294543 nbRevisions=549131
4.34 nbUselessRevisions=215174 nbAssignments=23384 nbFailedAssignments=2630 nbBacktracks=19791 nbVisitedNodes=29957
4.34 nbRestartNogoods=35
4.34 => wckTime=3.5 cpuTime=3.37 mem=17M490
5.83
5.83 search
5.83 run=17 nbConstraintChecks=2817614 nbValidityChecks=423034 nbPropagations=435126 nbRevisions=797948
5.83 nbUselessRevisions=307095 nbAssignments=34591 nbFailedAssignments=3931 nbBacktracks=29646 nbVisitedNodes=44485
5.83 nbRestartNogoods=38
5.83 => wckTime=4.994 cpuTime=4.85 mem=17M490
7.82
7.82 search
7.82 run=18 nbConstraintChecks=4036580 nbValidityChecks=615892 nbPropagations=640792 nbRevisions=1159384
7.82 nbUselessRevisions=440545 nbAssignments=51215 nbFailedAssignments=5714 nbBacktracks=44431 nbVisitedNodes=65688
7.82 nbRestartNogoods=41
7.82 => wckTime=6.986 cpuTime=6.82 mem=17M490
9.65
9.65 search
9.65 run=19 nbConstraintChecks=5217264 nbValidityChecks=784297 nbPropagations=901348 nbRevisions=1620465
9.65 nbUselessRevisions=613756 nbAssignments=64160 nbFailedAssignments=7168 nbBacktracks=55787 nbVisitedNodes=82537
9.65 nbRestartNogoods=45
9.65 => wckTime=8.817 cpuTime=8.64 mem=17M490
9.65
9.65 global
9.65 nbConstraintChecks=5217264 nbValidityChecks=784297 nbPropagations=901483 nbRevisions=1620465
9.66 nbUselessRevisions=613756 nbRestartNogoods=45 solvingWckTime=8.818 solvingCpuTime=8.64 expiredTime=no
9.66 totalExploration=no nbFoundSolutions=1 globalCpuTime=9.03
9.66 => wckTime=9.329 cpuTime=8.99 mem=17M490
9.66
9.66 s SATISFIABLE
9.66 v 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0
9.66 d NODES 64160
9.66 d CHECKS 5217264
9.66
9.66 totalWckTime=9.414 totalCpuTime=9.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-210483-1168075074 -o ROOT/results/node7/solver-210483-1168075074 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210483-1168075074/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.26 1.72 1.86 4/93 18170
/proc/meminfo: memFree=1264928/2055920 swapFree=4192812/4192956
[pid=18169] ppid=18167 vsize=18540 CPUtime=0
/proc/18169/stat : 18169 (runsolver) R 18167 18169 18102 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155903698 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18169/statm: 4635 279 244 17 0 2626 0
[startup+0.108898 s]
/proc/loadavg: 1.26 1.72 1.86 4/93 18170
/proc/meminfo: memFree=1264928/2055920 swapFree=4192812/4192956
[pid=18169] ppid=18167 vsize=914988 CPUtime=0.09
/proc/18169/stat : 18169 (java) S 18167 18169 18102 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 155903698 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18169/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516941 s]
/proc/loadavg: 1.26 1.72 1.86 4/93 18170
/proc/meminfo: memFree=1264928/2055920 swapFree=4192812/4192956
[pid=18169] ppid=18167 vsize=915328 CPUtime=0.5
/proc/18169/stat : 18169 (java) R 18167 18169 18102 0 -1 0 6552 0 1 0 45 5 0 0 17 0 8 0 155903698 937295872 6291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153607241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18169/statm: 228832 6291 2152 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34002 s]
/proc/loadavg: 1.26 1.72 1.86 4/100 18177
/proc/meminfo: memFree=1239784/2055920 swapFree=4192812/4192956
[pid=18169] ppid=18167 vsize=915452 CPUtime=1.3
/proc/18169/stat : 18169 (java) R 18167 18169 18102 0 -1 0 9076 0 1 0 122 8 0 0 19 0 8 0 155903698 937422848 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18169/statm: 228863 8814 2532 14 0 215333 0
[pid=18169/tid=18171] ppid=18167 vsize=915452 CPUtime=0.02
/proc/18169/task/18171/stat : 18171 (java) S 18167 18169 18102 0 -1 64 166 0 0 0 2 0 0 0 16 0 8 0 155903702 937422848 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18172] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18172/stat : 18172 (java) S 18167 18169 18102 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155903702 937422848 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18173] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18173/stat : 18173 (java) S 18167 18169 18102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903703 937422848 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18174] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18174/stat : 18174 (java) S 18167 18169 18102 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155903706 937422848 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18175] ppid=18167 vsize=915452 CPUtime=0.25
/proc/18169/task/18175/stat : 18175 (java) R 18167 18169 18102 0 -1 64 384 0 0 0 24 1 0 0 20 0 8 0 155903706 937422848 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18176] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18176/stat : 18176 (java) S 18167 18169 18102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155903706 937422848 8814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18177] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18177/stat : 18177 (java) S 18167 18169 18102 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903706 937422848 8814 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) 915452
[startup+2.99319 s]
/proc/loadavg: 1.26 1.72 1.86 3/100 18177
/proc/meminfo: memFree=1238632/2055920 swapFree=4192812/4192956
[pid=18169] ppid=18167 vsize=915452 CPUtime=2.94
/proc/18169/stat : 18169 (java) R 18167 18169 18102 0 -1 0 9357 0 1 0 286 8 0 0 25 0 8 0 155903698 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073612258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18169/statm: 228863 9093 2532 14 0 215333 0
[pid=18169/tid=18171] ppid=18167 vsize=915452 CPUtime=0.02
/proc/18169/task/18171/stat : 18171 (java) S 18167 18169 18102 0 -1 64 166 0 0 0 2 0 0 0 17 0 8 0 155903702 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18172] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18172/stat : 18172 (java) S 18167 18169 18102 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155903702 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18173] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18173/stat : 18173 (java) S 18167 18169 18102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903703 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18174] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18174/stat : 18174 (java) S 18167 18169 18102 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155903706 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18175] ppid=18167 vsize=915452 CPUtime=0.27
/proc/18169/task/18175/stat : 18175 (java) S 18167 18169 18102 0 -1 64 390 0 0 0 26 1 0 0 16 0 8 0 155903706 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18176] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18176/stat : 18176 (java) S 18167 18169 18102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155903706 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18177] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18177/stat : 18177 (java) S 18167 18169 18102 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903706 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.28854 s]
/proc/loadavg: 1.31 1.72 1.86 3/100 18177
/proc/meminfo: memFree=1238440/2055920 swapFree=4192812/4192956
[pid=18169] ppid=18167 vsize=915452 CPUtime=6.21
/proc/18169/stat : 18169 (java) R 18167 18169 18102 0 -1 0 9367 0 1 0 613 8 0 0 25 0 8 0 155903698 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073617312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18169/statm: 228863 9103 2532 14 0 215333 0
[pid=18169/tid=18171] ppid=18167 vsize=915452 CPUtime=0.02
/proc/18169/task/18171/stat : 18171 (java) S 18167 18169 18102 0 -1 64 166 0 0 0 2 0 0 0 16 0 8 0 155903702 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18172] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18172/stat : 18172 (java) S 18167 18169 18102 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155903702 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18173] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18173/stat : 18173 (java) S 18167 18169 18102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903703 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18174] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18174/stat : 18174 (java) S 18167 18169 18102 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155903706 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18175] ppid=18167 vsize=915452 CPUtime=0.27
/proc/18169/task/18175/stat : 18175 (java) S 18167 18169 18102 0 -1 64 392 0 0 0 26 1 0 0 16 0 8 0 155903706 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18176] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18176/stat : 18176 (java) S 18167 18169 18102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155903706 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18169/tid=18177] ppid=18167 vsize=915452 CPUtime=0
/proc/18169/task/18177/stat : 18177 (java) S 18167 18169 18102 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903706 937422848 9103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 9.68174
CPU time (s): 9.56055
CPU user time (s): 9.46956
CPU system time (s): 0.090986
CPU usage (%): 98.7482
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.46956
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9465
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= 1014
involuntary context switches= 1489
runsolver used 0.016997 s user time and 0.043993 s system time
The end
Begin job on node7 on Sat Jan 6 09:17:56 UTC 2007
IDJOB= 210483
IDBENCH= 4623
FILE ID= node7/210483-1168075074
PBS_JOBID= 3475798
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-10-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210483-1168075074/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-210483-1168075074 -o ROOT/results/node7/solver-210483-1168075074 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210483-1168075074/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 590a368ec1185d402d7ffca4b5cdadea
RANDOM SEED= 49941852
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: 1265472 kB
Buffers: 78700 kB
Cached: 428580 kB
SwapCached: 0 kB
Active: 439204 kB
Inactive: 247996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1265472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 208032 kB
Slab: 87504 kB
Committed_AS: 5050440 kB
PageTables: 2636 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= 66541 MiB
End job on node7 on Sat Jan 6 09:18:13 UTC 2007